Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Computational Logic Approach to Human Reasoning +
- A New Computational Model for Human Reasoning +
- A New Computational Model for Human Reasoning +
- A Simple Model for the Wason Selection Task +
- ASPARTIX Conquers the Web +
- ASPARTIX-D Ready for the Competition +
- ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming +
- Abstract Dialectical Frameworks: Properties, Complexity, and Implementation +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- An Abductive Model for Human Reasoning +
- Anforderungen an die FABEL-Sprache +
- Answer Set Navigation: Probleme Besser Verstehen +
- Answer Set Programming and Clasp (INFOCOM-6) +
- Application Patterns of Projection/Forgetting +
- Architekturkonzept für FABEL +
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- Chase-Based Computation of Cores for Existential Rules +
- Computational Logic and Human Reasoning +
- Computational Logic and Human Reasoning Episodes +
- Connectionist Model Generation +
- Context Orbifolds +
- Coprocessor 2.0 - A flexible CNF Simplifier +
- Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +
- Data, Ontologies, Rules, and the Return of the Blank Node +
- Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems +
- Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co. +
- Discovering Implicational Knowledge in Wikidata +
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules +
- EU-Drittlandprogramme 2007-2013 +
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data +
- Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj +
- Exploring Implications and General Concept Inclusions with High Confidence +
- Extended Resolution in Modern SAT Solving +
- Extracting Confident General Concept Inclusions from Finite Interpretations +
- FABEL im Überblick +
- FABEL: Projektstatus, Perspektiven, Potentiale +
- FAENSY: Fabel Development System +
- Fallverwaltung und Fallretrieval: Implementierungen und Tests +
- Formula Simplifications as DRAT Derivations +
- From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) +
- General Concept Inclusions with High Confidence in Finite Interpretations +
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers +
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers +
- Getting the most out of Wikidata +
- Human Reasoning and Computational Logic +
- Human Reasoning and Computational Logic +
- Indexing for Datalog Materialisation with Leapfrog Triejoin +
