Filtern
Erscheinungsjahr
- 2012 (36) (entfernen)
Dokumenttyp
- Dissertation (11)
- Diplomarbeit (8)
- Ausgabe (Heft) zu einer Zeitschrift (8)
- Bachelorarbeit (4)
- Masterarbeit (4)
- Konferenzveröffentlichung (1)
Sprache
- Englisch (36) (entfernen)
Schlagworte
- Petri-Netze (2)
- probability propagation nets (2)
- 101companies (1)
- API Analysis (1)
- API Migratiom (1)
- Africa (1)
- Afrika (1)
- Archivierung (1)
- Auditing (1)
- Ausbreitung (1)
- Automatisches Beweisverfahren (1)
- Benutzerverhalten (1)
- Beschreibungslogik (1)
- Bewertungskriterien (1)
- Bioassay (1)
- Bärlappe (1)
- Cloud Computing (1)
- Computerspiel (1)
- Content Management (1)
- Core Ontology on Multimedia (COMM) (1)
- Criteria Matrix (1)
- Daphnia longispina (1)
- Daphnia longispina complex (1)
- Daphnia longispina-Komplex (1)
- Design Pattern (1)
- Destiny (1)
- Distributed Environments (1)
- E-Hyper Tableau (1)
- E-KRHyper (1)
- ECMS 2012 (1)
- Einstellung (1)
- Einstellungen gegenüber bestimmten Filmeigenschaften (1)
- Ekel (1)
- Enterprise 2.0 (1)
- Enterprise Information Management (1)
- Entwurfsmuster (1)
- European Conference on Modelling and Simulation (1)
- Farnpflanzen (1)
- Ferns (1)
- Filmbewertung (1)
- GPGPU (1)
- Galerucinae (1)
- Genetische Variabilität (1)
- Genetischer Fingerabdruck (1)
- Germany (1)
- Hedonic (1)
- Hedonisch (1)
- Hypertableaux (1)
- IAT (1)
- Implicit Association Test (1)
- Java <Programmiersprache> (1)
- Justification (1)
- Konsistenz. Psychologie (1)
- Kriterium (1)
- Linked Open Data (1)
- Logik (1)
- Lycophytes (1)
- Maschinelles Sehen (1)
- Mikrosatelliten-DNA (1)
- Monolepta (1)
- Movie evaluation criteria (1)
- Natural Feature Tracking (1)
- Nutzererleben (1)
- ODRL (1)
- Ontology alignment (1)
- Oriental region (1)
- Petrinetz (1)
- Pharmakokinetik (1)
- Policy Language (1)
- Populationsgenetik (1)
- Pragmatic (1)
- Pragmatisch (1)
- Proceedings (1)
- Product choice (1)
- Produktbewertung (1)
- Produktentscheidung (1)
- Produktwahl (1)
- Provenance (1)
- Prozedurale Synthese (1)
- Pteris (1)
- Rechtfertigung (1)
- Rechtfertigung <Philosophie> (1)
- Registratur (1)
- Revision (1)
- Rezeptionsforschung (1)
- Satelliten-DNS (1)
- Schema Information (1)
- Schlussfolgern (1)
- Selbstbeobachtung (1)
- Selbsteinschaetzung (1)
- Skalenkonstruktion (1)
- Skalenvalidierung (1)
- Softwareentwicklung (1)
- Softwarewartung (1)
- Systematik (1)
- Taxonomy (1)
- Tokens (1)
- Tool Evaluation (1)
- Toxikologische Bewertung (1)
- University (1)
- User experience (1)
- Web Analytics (1)
- Web Analytics Framework (1)
- Web Mining (1)
- Web-application framework (1)
- Web-programming technologies (1)
- Wikipedia (1)
- Wildtiere (1)
- aquatic ecotoxicology (1)
- archiving (1)
- attitudes towards specific movie features (1)
- automatic behavioral cues (1)
- clonal diversity (1)
- description logic (1)
- design thinking (1)
- deutsche Hochschulen (1)
- disgust sensitivity (1)
- distinct object identifiers (1)
- effect assessment (1)
- entrepreneurial design thinking (1)
- entrepreneurial thinking (1)
- entrepreneurship education (1)
- expansion (1)
- faceted search (1)
- genotyping error (1)
- hazard prediction (1)
- hypertableaux (1)
- implicit-explicit consistency (1)
- klonale Diversität (1)
- leaf beetles (1)
- metadata formats (1)
- metadata standards (1)
- microsatellite DNA (1)
- microsatellite analysis (1)
- mobile devices (1)
- multimedia metadata (1)
- population genetics (1)
- priority effects (1)
- priority-Effekte (1)
- procedural content generation (1)
- scale construction (1)
- scale validation (1)
- shiq (1)
- social media data (1)
- systematics (1)
- teams (1)
- tool-integration (1)
- toxicokinetics (1)
- unique name assumption (1)
- video games (1)
- virtual goods (1)
- wildlife management (1)
Institut
- Fachbereich 4 (25)
- Institut für Informatik (4)
- Fachbereich 7 (3)
- Fachbereich 8 (3)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (3)
- Institute for Web Science and Technologies (3)
- Institut für Management (1)
- Institut für Wirtschafts- und Verwaltungsinformatik (1)
- Mathematisches Institut (1)
In einigen Bereichen des automatischen Theorembeweisens benötigt man das Wissen, dass Konstanten paarweise ungleich sind. Um dieses zu erreichen, fügt man Fakten, die dieses Wissen explizit angeben, zu den Wissensbasen hinzu. Wenn man diese Eigenschaft für viele Konstanten definieren muss, wird die Klauselmenge der Wissensbasen schnell sehr umfangreich und wegen der vielen - eigentlich irrelevanten - Ungleichheiten kann man den Blick auf das eigentlich formalisierte Problem verlieren. Da die Größe der Wissensbasis in vielen Fällen Einfluss auf die Geschwindigkeit hat, ist es auch aus diesem Grund sinnvoll, die Anzahl dieser Fakten gering zu halten. Die unique name assumption erlaubt auf die Einführung der Ungleichheits-Fakten zu verzichten, da sie festlegt, dass zwei Konstanten genau dann gleich sind, wenn ihre Interpretationen identisch sind. Auf diesem Wege lässt sich das Aufblähen von Wissensbasen mit Ungleichheits-Fakten verhinde. In dieser Arbeit wird der E-Hyper-Tableau-Kalkül erweitert um die unique name assumption nutzen zu können. Der in dieser Arbeit entwickelte Kalkül ist vollständig und korrekt, was durch formale Beweise in dieser Arbeit belegt wird. Um zu zeigen, dass die native Behandlung von Ungleichheiten dem Einführen von Ungleichheits-Fakten überlegen ist, wird der Kalkül in den Theorembeweiser E-KRHyper implementieren. Der Theorembeweiser E-KRHyper ist ein etabliertes System und basiert in seiner ursprünglichen Version auf dem E-Hyper-Tableau. Mit systematischen Tests wird dann gezeigt, dass die entwickelte Implementierung des erweiterten Kalküls nie schlechter ist, als der original E-KRHyper, diesen aber in einigen Fällen in der Ausführungsgeschwindigkeit deutlich übertrifft.