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

Towards the Complexity of Recognizing Pseudo-intents + (Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009))
Access Policy Design Supported by FCA Methods + (Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009))
SAT Encoding of Unification in EL + (Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17))
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics + (Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17))
Computing Cores for Existential Rules with the Standard Chase and ASP + (Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020))
Reasoning with Individuals for the Description Logic SHIQ + (Proceedings of the 17th International Conference on Automated Deduction (CADE-17))
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (Proceedings of the 17th International Semantic Web Conference (ISWC'18))
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features + (Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023))
Description Logic Rules + (Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08))
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets + (Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023))
Semantic Modularity and Module Extraction in Description Logics + (Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08))
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes + (Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08))
Finding Finite Herbrand Models + (Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12))
A Novel Architecture for Situation Awareness Systems + (Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009))
Admissibility in Probabilistic Argumentation + (Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021))
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints + (Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12))
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks + (Proceedings of the 18th International Conference on Conceptual Structures)
Computing First-Order Logic Programs by Fibring Artificial Neural Networks + (Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005)
A Resolution Theorem for Algebraic Domains + (Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003)
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles + (Proceedings of the 18th International Joint Conference on Artificial Intelligence)
Terminological Cycles in a Description Logic with Existential Restrictions + (Proceedings of the 18th International Joint Conference on Artificial Intelligence)
VLog: A Rule Engine for Knowledge Graphs + (Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II)
A Generic Model for Video Content Based Retrieval + (Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear))
Least common subsumer computation w.r.t. cyclic ALN-terminologies + (Proceedings of the 1998 International Workshop on Description Logics (DL'98))
Structural Subsumption Considered from an Automata Theoretic Point of View + (Proceedings of the 1998 International Workshop on Description Logics DL'98)

Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies + (Proceedings of the 1999 Workshop Methods for Modalities (M4M-1))

Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics + (Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010))
Verifying Properties of Infinite Sequences of Description Logic Actions + (Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10))
Automating Reasoning with Standpoint Logic via Nested Sequents + (Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22))
Chasing Streams with Existential Rules + (Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022))
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning)
System BV without the Equalities for Unit + (Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04)
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL + (Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004))
Level mapping characterizations of selector generated models for logic programs + (Proceedings of the 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005)
On the Relationship of Modularity Notions in Abstract Argumentation + (Proceedings of the 19th edition of the International Workshop on Non-Monotonic Reasoning (NMR'21))
A Behavioral Characterization of Computational Systems + (Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy)
Encoding monotonic multiset preferences using CI-nets + (Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik)
Many-Valued Horn Logic is Hard + (Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14))
The Logical Difference for EL: from Terminologies towards TBoxes + (Proceedings of the 1st International Workshop on Semantic Technologies (IWOST))
Spinoza's Ontology + (Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004))
Mary likes all Cats + (Proceedings of the 2000 International Workshop in Description Logics (DL2000))
Description Logics and the Two-Variable Fragment + (Proceedings of the 2001 International Workshop in Description Logics (DL-2001))
A Proposal for Describing Services with DLs + (Proceedings of the 2002 International Workshop on Description Logics)
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (Proceedings of the 2002 International Workshop on Description Logics)
Approximating ALCN-Concept Descriptions + (Proceedings of the 2002 International Workshop on Description Logics)
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles + (Proceedings of the 2002 International Workshop on Description Logics)
Implementation and evaluation of a tableau algorithm for the Guarded Fragment + (Proceedings of the 2002 international workshop on description Logics (DL 2002))
Finite Model reasoning in ALCQI is ExpTime-complete + (Proceedings of the 2003 International Workshop on Description Logics (DL2003))
Reasoning about concepts and similarity + (Proceedings of the 2003 International Workshop on Description Logics (DL2003))
E-connections of Description Logics + (Proceedings of the 2003 International Workshop on Description Logics (DL2003))
Reasoning about Nominals with FaCT and RACER + (Proceedings of the 2003 International Workshop on Description Logics (DL2003))