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

Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) + (Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97))
Description Logics with Symbolic Number Restrictions + (Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96))
A tableau algorithm for reasoning about concepts and similarity + (Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003)
Defeasible AceRules: A Prototype + (Proceedings of the Twelfth International Conference on Computational Semantics (IWCS), Long Papers)
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics + (Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010))
State Defaults and Ramifications in the Unifying Action Calculus + (Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR))
Quantitative Temporal Logics: PSpace and below + (Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning)
Implementing Belief Change in the Situation Calculus and an Application + (Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR))
Completing Description Logic Knowledge Bases using Formal Concept Analysis + (Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07))
Conservative Extensions in Expressive Description Logics + (Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07))
Answering conjunctive queries in the SHIQ description logic + (Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07))
A Description Logic of Change + (Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07))
A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07))
Integrating Description Logics and Action Formalisms: First Results + (Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05))
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs + (Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI'14))
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019))
Compact Argumentation Frameworks + (Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI))
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK + (Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI))
The Combined Approach to Query Answering Beyond the OWL 2 Profiles + (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina.)
The Relative Expressiveness of Abstract Argumentation and Logic Programming + (Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI))
A Uniform Account of Realizability in Abstract Argumentation + (Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI))
Description Logics over Lattices with Multi-valued Ontologies + (Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11))
Prime Implicate Normal Form for ALC Concepts + (Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08))
Abstract Dialectical Frameworks Revisited + (Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI))

A Description Logic Based Approach to Reasoning about Web Services + (Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005))

OWL: Yet to arrive on the Web of Data? + (Proceedings of the WWW2012 Workshop on Linked Data on the Web (LDOW-12))
Practical Linked Data Access via SPARQL: The Case of Wikidata + (Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18))
A Tableau Algorithm for the Clique Guarded Fragment + (Proceedings of the Workshop Advances in Modal Logic AiML 2000)
DLP isn't so bad after all + (Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland)
RDF syntax normalization using XML validation + (Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009)
Efficient Symbolic Reasoning for First-Order MDPs + (Proceedings of the Workshop on "Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds" at the 17th European Conference on Artificial Intelligence (ECAI'2006))
Relational Exploration - Reconciling Plato and Aristotle + (Proceedings of the Workshop on Artificial Intelligence (FAInt-07))
How to Plan When Being Deliberately Misled + (Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR))
A Computational Logic Approach to Syllogisms in Human Reasoning + (Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31.)
Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies + (Proceedings of the Workshop on Challenges to Knowledge Representation in Multilingual Contexts)
Pushing Doors for Modeling Contexts with OWL DL –a Case Study + (Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06))
Knowledge Representation in Process Engineering + (Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96))
Hybrid Knowledge Organization within an Object Framework + (Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96))
Refining Ontologies by Pattern-Based Completion + (Proceedings of the Workshop on Ontology Patterns (WOP 2009))
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas + (Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017))
Stream Packing for Asynchronous Multi-Context Systems using ASP + (Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016))
Porting the xEBR taxonomies to a LOD compliant format + (Proceedings of the XBRL Academic Track co-located with Eurofiling XBRL week in Frankfurt and 19th XBRL Europe day (XBRL 2017))
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (Proceedings of the Young Scientists' International Workshop on Trends in Information Processing)
Description Logic reasoning for Semantic Web Ontologies – Extended abstract + (Proceedings of the first International Conference on Web Intelligence, Mining and Semantics)
Concrete Domains and Nominals United. + (Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02))
Implementing completion-based inferences for the el-family + (Proceedings of the international Description Logics workshop)
Semantic Operators and Fixed-Point Theory in Logic Programming + (Proceedings of the joint IIIS and IEEE mee … Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001AS2001), Orlando, Florida, USA, July, 2001)
An Abductive Model for Human Reasoning + (Proceedingth Tenth International Symposium on Logical Formalizations of Commonsense Reasoning)
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,)
A Theory of Hypothesis Finding in Clausal Logic + (Progress in Discovery Science)