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

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)
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions + (Talk at Description Logics Seminar)
Formalizing Possibly Infinite Trees of Finite Degree + (Talk at Workshop: Leaning In!)
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))
Semantic Technologies (Swap and Transfer Workshops) + (University of Minho, Braga, Portugal)
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers + (Vienna Austria - Pragmatics of SAT 2014)
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (Vienna Austria - Pragmatics of SAT 2014)
Second-Order Characterizations of Definientia in Formula Classes + (Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014))
Application Patterns of Projection/Forgetting + (Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014))
Experimental Evaluation of General Concept Inclusions Learned from Textual Data + (Vortrag)
Extracting Confident General Concept Inclusions from Finite Interpretations + (Vortrag)
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj + (Vortrag)
General Concept Inclusions with High Confidence in Finite Interpretations + (Vortrag)
Beam Me Up! - LaTeX-Beamer For Those Who Already Know + (Vortrag)
Learning Terminological Knowledge with High Confidence from Erroneous Data + (Vortrag)
Exploring Implications and General Concept Inclusions with High Confidence + (Vortrag)
Extended Resolution in Modern SAT Solving + (Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany)