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 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 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)
Models of Concurrent Systems + (A Primer in Semantics of Programming Languages)
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)
LATPub404 + (A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes)
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 Rule-Based Language for Complex Event Processing and Reasoning + (A Rule-Based Language for Complex Event Processing and Reasoning)
A Rule-Based Language for Ordered Multidimensional Databases + (A Rule-Based Language for Ordered Multidimensional Databases)
A Scalable Analysis Framework for Large-scale RDF Data + (A Scalable Analysis Framework for Large-scale RDF Data)
A Scheme for Integrating Concrete Domains into Concept Languages + (A Scheme for Integrating Concrete Domains into Concept Languages)
A Scheme for Integrating Concrete Domains into Concept Languages + (A Scheme for Integrating Concrete Domains into Concept Languages)
A Semantic Modeling Approach for Video Retrieval by Content + (A Semantic Modeling Approach for Video Retrieval by Content)
A Semantics for Open Normal Defaults via a Modified Preferential Approach + (A Semantics for Open Normal Defaults via a Modified Preferential Approach)
A Semantics for Open Normal Defaults via a Modified Preferential Approach + (A Semantics for Open Normal Defaults via a Modified Preferential Approach)
A Short Overview on Modern Parallel SAT-Solvers + (A Short Overview on Modern Parallel SAT-Solvers)
A Simple Model for the Wason Selection Task + (A Simple Model for the Wason Selection Task)
A Simple Model for the Wason Selection Task + (A Simple Model for the Wason Selection Task)
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic)
A Sound and Complete Backward Chaining Algorithm for Existential Rules + (A Sound and Complete Backward Chaining Algorithm for Existential Rules)
A Spectrum of Approximate Probabilistic Bisimulations + (A Spectrum of Approximate Probabilistic Bisimulations)
A Suggestion for an n-ary Description Logic + (A Suggestion for an n-ary Description Logic)
A System of Interaction and Structure + (A System of Interaction and Structure)
A Systematic Proof Theory for Several Modal Logics + (A Systematic Proof Theory for Several Modal Logics)
A Tableau Algorithm for DLs with Concrete Domains and GCIs + (A Tableau Algorithm for DLs with Concrete Domains and GCIs)
A Tableau Algorithm for DLs with Concrete Domains and GCIs + (A Tableau Algorithm for DLs with Concrete Domains and GCIs)
A Tableau Algorithm for DLs with Concrete Domains and GCIs + (A Tableau Algorithm for DLs with Concrete Domains and GCIs)
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs + (A Tableau Algorithm for Description Logics with Concrete Domains and GCIs)
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes + (A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes)
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices + (A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices)
A Tableau Algorithm for the Clique Guarded Fragment + (A Tableau Algorithm for the Clique Guarded Fragment)