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
- Deduction Systems + (Deduction Systems)
- Deduction Systems + (Deduction Systems)
- Deduction Systems + (Deduction Systems)
- Deduction Systems + (Deduction Systems)
- Deduction Systems + (Deduction Systems)
- Deduction Systems + (Deduction Systems)
- Deductive Joint Support for Rational Unrestricted Rebuttal + (Deductive Joint Support for Rational Unrestricted Rebuttal)
- Deduktion: von der Theorie zur Anwendung + (Deduktion: von der Theorie zur Anwendung)
- Deduktives Planen + (Deduktives Planen)
- Deep Inference Christmas Meeting 2007 + (Deep Inference Christmas Meeting 2007)
- Deep Inference Christmas Meeting 2007 + (Deep Inference Christmas Meeting 2007)
- Deep Inference and Symmetry in Classical Proofs + (Deep Inference and Symmetry in Classical Proofs)
- Default Reasoning about Actions + (Default Reasoning about Actions)
- Default Reasoning about Actions via Abstract Argumentation + (Default Reasoning about Actions via Abstract Argumentation)
- Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions + (Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions)
- Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions + (Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions)
- Default reasoning over domains and concept hierarchies + (Default reasoning over domains and concept hierarchies)
- Default reasoning over domains and concept hierarchies + (Default reasoning over domains and concept hierarchies)
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi + (Defaults in Action: Non-monotonic Reasoning About States in Action Calculi)
- Defeasible AceRules: A Prototype + (Defeasible AceRules: A Prototype)
- Defeasible AceRules: A prototype + (Defeasible AceRules: A prototype)
- Defining Relations: a general incremental approach with spatial temporal case studies + (Defining Relations: a general incremental approach with spatial temporal case studies)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs)
- Demag Cranes & Components GmbH + (Demag Cranes & Components GmbH)
- Demag Cranes & Components GmbH + (Demag Cranes & Components GmbH)
- Denotational Linear Time Semantics and Sequential Composition + (Denotational Linear Time Semantics and Sequential Composition)
- Denotational Semantics in the CPO and Metric Approach + (Denotational Semantics in the CPO and Metric Approach)
- Deontic Explanations via Logical Argumentation. + (Deontic Explanations via Logical Argumentation.)
- Deontic Explanations via Logical Argumentation. + (Deontic Explanations via Logical Argumentation.)
- Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems + (Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems)
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets + (Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic + (Description Logic)
- Description Logic Actions with general TBoxes: a Pragmatic Approach + (Description Logic Actions with general TBoxes: a Pragmatic Approach)
- Description Logic Actions with general TBoxes: a Pragmatic Approach + (Description Logic Actions with general TBoxes: a Pragmatic Approach)
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog)
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog)
- Description Logic Rules + (Description Logic Rules)
- Description Logic Rules + (Description Logic Rules)
- Description Logic Terminology + (Description Logic Terminology)
- Description Logic reasoning for Semantic Web Ontologies – Extended abstract + (Description Logic reasoning for Semantic Web Ontologies – Extended abstract)
- Description Logic with Abstraction and Refinement + (Description Logic with Abstraction and Refinement)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property + (Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property)
- Description Logics That Count, and What They Can and Cannot Count + (Description Logics That Count, and What They Can and Cannot Count)
- Description Logics and the Two-Variable Fragment + (Description Logics and the Two-Variable Fragment)
- Description Logics as Ontology Languages for the Semantic Web + (Description Logics as Ontology Languages for the Semantic Web)
- Description Logics for Ontologies + (Description Logics for Ontologies)