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

A More Efficient Parallel Unit Propagation + (A More Efficient Parallel Unit Propagation)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (A NEXPTIME-complete Description Logic Strictly Contained in C^2)
A NExpTime-complete Description Logic Strictly Contained in C^2 + (A NExpTime-complete Description Logic Strictly Contained in C^2)
A Neutral Temporal Deontic STIT Logic + (A Neutral Temporal Deontic STIT Logic)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
A New Computational Logic Approach to Reason with Conditionals + (A New Computational Logic Approach to Reason with Conditionals)
A New Computational Model for Human Reasoning + (A New Computational Model for Human Reasoning)
A New Computational Model for Human Reasoning + (A New Computational Model for Human Reasoning)
A New Equational Foundation for the Fluent Calculus + (A New Equational Foundation for the Fluent Calculus)
A New Method for Image Segmentation Based on Fuzzy Knowledge + (A New Method for Image Segmentation Based on Fuzzy Knowledge)
A New n-ary Existential Quantifier in Description Logics + (A New n-ary Existential Quantifier in Description Logics)
A New n-ary Existential Quantifier in Description Logics + (A New n-ary Existential Quantifier in Description Logics)
A New n-ary Existential Quantifier in Description Logics + (A New n-ary Existential Quantifier in Description Logics)
A Non-commutative Extension of MELL + (A Non-commutative Extension of MELL)
A Normalization Algorithm for Automated First-Order Value Iteration + (A Normalization Algorithm for Automated First-Order Value Iteration)
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata + (A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata)
A Note on Relative Observability in Coordination Control + (A Note on Relative Observability in Coordination Control)
A Note on Undecidability of Observation Consistency for Non-Regular Languages + (A Note on Undecidability of Observation Consistency for Non-Regular Languages)

A Note on Unification Type Zero + (A Note on Unification Type Zero)

A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking + (A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking)
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions + (A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions)
A Novel Architecture for Situation Awareness Systems + (A Novel Architecture for Situation Awareness Systems)
A PSpace Algorithm for Graded Modal Logic + (A PSpace Algorithm for Graded Modal Logic)
A PSpace-algorithm for ALCQI-satisfiability + (A PSpace-algorithm for ALCQI-satisfiability)
A PSpace-algorithm for deciding ALCNI_R^+-satisfiability + (A PSpace-algorithm for deciding ALCNI_R^+-satisfiability)
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints + (A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints)
A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment)
A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment)
A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository + (A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository)
A Practical Account into Counting Dung’s Extensions by Dynamic Programming + (A Practical Account into Counting Dung’s Extensions by Dynamic Programming)
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies + (A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies)
A Practical Approach for Computing Generalization Inferences in EL + (A Practical Approach for Computing Generalization Inferences in EL)
A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation + (A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation)
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select + (A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select)
A Probability Theoretic Analysis of Score Systems + (A Probability Theoretic Analysis of Score Systems)
A Proposal for Describing Services with DLs + (A Proposal for Describing Services with DLs)
A Purely Logical Account of Sequentiality in Proof Search + (A Purely Logical Account of Sequentiality in Proof Search)
A Recursive Neural Network for Reflexive Reasoning + (A Recursive Neural Network for Reflexive Reasoning)
A Resolution Theorem for Algebraic Domains + (A Resolution Theorem for Algebraic Domains)
A Resource-Oriented Deductive Approach Towards Hierarchical Planning + (A Resource-Oriented Deductive Approach Towards Hierarchical Planning)
A Resource-Oriented Deductive Approach Towards Hierarchical Planning + (A Resource-Oriented Deductive Approach Towards Hierarchical Planning)
A Resource–Oriented Deductive Approach towards Hierarchical Planning + (A Resource–Oriented Deductive Approach towards Hierarchical Planning)
A Resource–Oriented Deductive Approach towards Hierarchical Planning + (A Resource–Oriented Deductive Approach towards Hierarchical Planning)
A Rule-Based Language for Complex Event Processing and Reasoning + (A Rule-Based Language for Complex Event Processing and Reasoning)