Suche mittels Attribut
Aus International Center for Computational Logic
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
- Abstract Argumentation + (Abstract Argumentation)
- Abstract Dialectical Frameworks + (Abstract Dialectical Frameworks)
- Abstract Dialectical Frameworks Revisited + (Abstract Dialectical Frameworks Revisited)
- Abstract Dialectical Frameworks Revisited + (Abstract Dialectical Frameworks Revisited)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Overview + (Abstract Dialectical Frameworks. An Overview)
- Abstract Dialectical Frameworks. An Overview + (Abstract Dialectical Frameworks. An Overview)
- Abstract Dialectical Frameworks: Properties, Complexity, and Implementation + (Abstract Dialectical Frameworks: Properties, Complexity, and Implementation)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Accenture Award for the Best Student’s Project 2005 + (Accenture Award for the Best Student’s Project 2005)
- Access Policy Design Supported by FCA Methods + (Access Policy Design Supported by FCA Methods)
- Access restriction inside ontologies + (Access restriction inside ontologies)
- Access rights and collaborative ontology integration for reuse across security domains + (Access rights and collaborative ontology integration for reuse across security domains)
- Accessibility Statement + (Accessibility Statement)
- Achim Jung + (Achim Jung)
- Achim Jung + (Achim Jung)
- Acquiring Generalized Domain-Range Restrictions + (Acquiring Generalized Domain-Range Restrictions)
- Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies + (Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies)
- Actions and Specificity + (Actions and Specificity)
- Acyclicity Conditions and their Application to Query Answering in Description Logics + (Acyclicity Conditions and their Application to Query Answering in Description Logics)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies)
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics + (Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics)
- Adapting Methods to Novel Tasks in Proof Planning + (Adapting Methods to Novel Tasks in Proof Planning)
- Adaptive Language Interaction + (Adaptive Language Interaction)
- Adaptive Language Interaction + (Adaptive Language Interaction)
- Adding Causal Relationships to DL-based Action Formalisms + (Adding Causal Relationships to DL-based Action Formalisms)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster)
- Adding Context to Tableaux for DLs + (Adding Context to Tableaux for DLs)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification)
- Adding Numbers to the SHIQ Description Logic—First Results + (Adding Numbers to the SHIQ Description Logic—First Results)
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results + (Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results)
- Adding Threshold Concepts to the Description Logic EL + (Adding Threshold Concepts to the Description Logic EL)
- Adding Threshold Concepts to the Description Logic EL + (Adding Threshold Concepts to the Description Logic EL)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)