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

Logics and Networks for the Suppression Task + (International Computer Science Institute, Berkeley, CA, USA)
Rushing and Strolling among Answer Sets - Navigation Made Easy + (International Workshop on Counting and Sampling in Haifa, Israel at FLoC 2022)
Reasoning with Description Logics Ontologies and Knowledge Graphs + (Invited Talk at Télécom ParisTech)
Reasoning with Horn DL Ontologies and Knowledge Graphs + (Invited Talk at VU University Amsterdam)
Navigating ASP Solution Spaces + (Invited Talk at the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024))
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase + (Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden)
Temporal Logics with Local Constraints + (Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015))
Ontological Modelling in Wikidata + (Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18))
Getting the most out of Wikidata + (Invited presentation at Wiki Workshop 2018)

Answer Set Navigation: Probleme Besser Verstehen + (Invited talk at Security Networks AG Dresden (remotely held))

Scalable Understanding: Navigation Approaches for Answer Sets + (Invited talk at the Artificial Intelligence Group (AIG) at the FernUnversität in Hagen)
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)