Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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))