Suche mittels Attribut

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

Wikidata as a Cultural Heritage Information Hub + (Invited talk at the Europeana Network Association AGM 2016)
Practical Reasoning with OWL and Rules + (Invited talk at the Semantic Web Technology Showcase 2007, Vienna, Austria)
Künstliche Intelligenz, quo vadis? + (Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM))
Computational Logic and Human Reasoning Episodes + (Jilin University, Changchun, China)
Connectionist Model Generation + (Jilin University, Changchun, China)
SAT Solving - Scheduling, Generic CDCL, Partitioning + (Jilin University, Changchun, China)
TU Dresden and Computer Science + (Jilin University, Changchun, China)
A Compact Encoding of Pseudo-Boolean Constraints into SAT + (KI 2012, Saarbrücken, Germany)
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract) + (KR Recently Published Research Track (KR 2022))
Data, Ontologies, Rules, and the Return of the Blank Node + (Keynote at the 21st International Semantic Web Conference)
Computational Logic and Human Reasoning + (King Mogul's Institute for Technology, Bangkok, Thailand)
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques + (Master's Thesis)
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation + (Master's Thesis, Technische Universität Wien, Institut für Informationssysteme)
Morphisms in Logic, Topology, and Formal Concept Analysis + (Master's thesis, Technische Universität Dresden)
A New Computational Model for Human Reasoning + (National ICT Australia, Sydney, Australia)
Satisfiability Testing and its Applications + (North Caucasus Federal University, Stavropol)
Human Reasoning and Computational Logic + (North Caucasus State Technical University, Stavropol)
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6) + (North-Caucasus Federal University, Stawropol, Russland)
Answer Set Programming and Clasp (INFOCOM-6) + (North-Caucasus Federal University, Stawropol, Russland)
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) + (North-Caucasus Federal University, Stawropol, Russland)
Semantic Wikipedia (ESWC2006 demo) + (Poster and Demo at the ESWC2006)
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming + (Poster at Advanced Course on Artificial Intelligence Summer School (ACAI 2009))
SQID 2.0 — A Data Browser for Wikidata + (Poster at Wikimania 2019)
The Exploration Game + (Poster at Wikimania 2019)
Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods + (Poster presentation at Jahrestreffen der GI Fachgruppe Deduktionssysteme, associated with CADE 25)

Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux + (Poster presentation at TABLEAUX 2017, Brasilia)

npSolver - a SAT based Solver for Optimization Problems + (Pragmatics of SAT 2012, Trento, Italy)
The SAT Solver Framework priss + (Pragmatics of SAT 2012, Trento, Italy)
Interactively Discovering Implicational Knowledge in Wikidata + (Presentation at 36th Chaos Communication Congress 2019)
ASPARTIX-D Ready for the Competition + (Presentation at Argumentation Spring Meeting 2015, Leipzig)
The New SQID: Improving Wikidata Made Easy + (Presentation at WikidataCon 2017)
Discovering Implicational Knowledge in Wikidata + (Presentation at Wikimania 2019)
Recent Advances in Reasoning with Existential Rules + (Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL))
Wikipedia 3.0: MediaWiki meets the Semantic Web + (Presentation at the 3rd International Wikimedia Conference (Wikimania 2007), Taipei, Taiwan)
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Project Thesis, TU Dresden)
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Project Thesis, TU Dresden)
Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging + (Project Thesis, TU Dresden)
Coprocessor 2.0 - A flexible CNF Simplifier + (SAT 2012, Trento, Italy)
A New Computational Model for Human Reasoning + (SPP1516 Workshop on Belief-Revision and Non-Monotonic Reasoning, Gießen, Germany)
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) + (Schloss Dagstuhl - Leibniz Center for Informatics, Dagstuhl, Deutschland)
A Computational Logic Approach to Human Reasoning + (Simon Fraser University, Vancouver, Canada)
Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co. + (Slides available online)
ASPARTIX Conquers the Web + (Software demonstration at the 3rd International Conference on Computational Models of Argument (COMMA 2010))
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers + (Stavropol, Russian Federation - Young Scientists' International Workshop on Trends in Information Processing)
Formula Simplifications as DRAT Derivations + (Stuttgart, Deutschland - German Conference on Artificial Intelligence)
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (Stuttgart, Deutschland - German Conference on Artificial Intelligence)
flexABle – System Description for ICCMA 2023 + (System description for ICCMA 2023)
Study Programs on Computational Logic at TUD + (TUD, Dresden, Germany)
What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation? + (Tutorial at SSA)
Practical Uses of Existential Rules in Knowledge Representation + (Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020))
Practical Uses of Existential Rules in Knowledge Representation + (Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020))