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

• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies)
• Evaluation of Extraction Techniques for Ontology Excerpts  + (Evaluation of Extraction Techniques for Ontology Excerpts)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator)
• Evolution of Self-Definition  + (Evolution of Self-Definition)
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization  + (EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization)
• Exact Learning Description Logic Ontologies from Data Retrieval Examples  + (Exact Learning Description Logic Ontologies from Data Retrieval Examples)
• Exact Learning of Lightweight Description Logic Ontologies  + (Exact Learning of Lightweight Description Logic Ontologies)
• Exact Learning of Lightweight Description Logic Ontologies  + (Exact Learning of Lightweight Description Logic Ontologies)
• Exact Learning of Multivalued Dependencies  + (Exact Learning of Multivalued Dependencies)
• Exact Learning of Multivalued Dependency Formulas  + (Exact Learning of Multivalued Dependency Formulas)
• Exclusivity-based allocation of knowledge  + (Exclusivity-based allocation of knowledge)
• Existential Notation3 Logic  + (Existential Notation3 Logic)
• Existential Rules  + (Existential Rules)
• Existential Rules  + (Existential Rules)
• Existential Rules  + (Existential Rules)
• ExpExpExplosion: Uniform Interpolation in General EL Terminologies  + (ExpExpExplosion: Uniform Interpolation in General EL Terminologies)
• Experience Based Nonmonotonic Reasoning  + (Experience Based Nonmonotonic Reasoning)
• Experimental Evaluation of General Concept Inclusions Learned from Textual Data  + (Experimental Evaluation of General Concept Inclusions Learned from Textual Data)
• Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics  + (Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics)
• Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic  + (Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Experiments with deterministic $ømega$-automata for formulas of linear temporal logic)
• Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School  + (Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School)

• Explaining Answer Sets using Argumentation Theory  + (Explaining Answer Sets using Argumentation Theory)
• Explaining Answer Sets using Argumentation Theory  + (Explaining Answer Sets using Argumentation Theory)

• Explaining Data with Formal Concept Analysis  + (Explaining Data with Formal Concept Analysis)
• Explaining Description Logic Entailments with Evee and Evonne  + (Explaining Description Logic Entailments with Evee and Evonne)
• Explaining Reasoning Results for OWL Ontologies with Evee  + (Explaining Reasoning Results for OWL Ontologies with Evee)
• Explaining User Errors in Description Logic Knowledge Base Completion  + (Explaining User Errors in Description Logic Knowledge Base Completion)
• Explaining User Errors in Knowledge Base Completion  + (Explaining User Errors in Knowledge Base Completion)
• Explaining neural network reasoning  + (Explaining neural network reasoning)
• Explaining neural network reasoning  + (Explaining neural network reasoning)
• Explicit and Implicit Indeterminism  + (Explicit and Implicit Indeterminism)
• Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems  + (Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems)
• Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics  + (Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics)
• Exploiting SAT Technology for Axiom Pinpointing  + (Exploiting SAT Technology for Axiom Pinpointing)
• Exploiting Treewidth for Counting in Abstract Argumentation  + (Exploiting Treewidth for Counting in Abstract Argumentation)
• Exploiting Treewidth for Counting in Abstract Argumentation  + (Exploiting Treewidth for Counting in Abstract Argumentation)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment)
• Exploration by Confidence  + (Exploration by Confidence)
• Explorations into Belief State Compression  + (Explorations into Belief State Compression)
• Explorations into Belief State Compression  + (Explorations into Belief State Compression)
• Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj  + (Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj)
• Exploring Faulty Data  + (Exploring Faulty Data)
• Exploring Finite Models in the Description Logic ELgfp  + (Exploring Finite Models in the Description Logic ELgfp)
• Exploring Implications and General Concept Inclusions with High Confidence  + (Exploring Implications and General Concept Inclusions with High Confidence)
• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.  + (Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.)