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

Foundations of Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation)
Complexity Theory + (Alternation (continued))
Complexity Theory + (Alternation and the Polynomial Hierarchy)
Complexity Theory + (Alternation and the Polynomial Hierarchy)
Foundations of Complexity Theory + (Alternation and the Polynomial Hierarchy)
Complexity Theory + (Alternation and the Polynomial Hierarchy)
Ambiguity: What is it that needs representing and what needs resolving? + (Ambiguity: What is it that needs representing and what needs resolving?)
An A-Maze-ing SAT Solving Visualization + (An A-Maze-ing SAT Solving Visualization)
An Abductive Model for Human Reasoning + (An Abductive Model for Human Reasoning)
An Abductive Model for Human Reasoning + (An Abductive Model for Human Reasoning)
An Abductive Model for Human Reasoning (Poster Paper) + (An Abductive Model for Human Reasoning (Poster Paper))
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms + (An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms)
An Abstract Machine for Reasoning about Situations, Actions, and Causality + (An Abstract Machine for Reasoning about Situations, Actions, and Causality)
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms + (An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms)
An Adequate Connectionist System for Reflexive Reasoning + (An Adequate Connectionist System for Reflexive Reasoning)
An Approach for Optimized Approximation + (An Approach for Optimized Approximation)
An Approach for Optimizing ALE-Approximation of ALC-Concepts + (An Approach for Optimizing ALE-Approximation of ALC-Concepts)
An Approach to Exploring Description Logic Knowledge Bases + (An Approach to Exploring Description Logic Knowledge Bases)

An Efficient Encoding of the At-Most-One Constraint + (An Efficient Encoding of the At-Most-One Constraint)

An Efficient Encoding of the at-most-one Constraint + (An Efficient Encoding of the at-most-one Constraint)
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on + (An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on)
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on + (An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on)
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems + (An Empirical Analysis of Optimization Techniques for Terminological Representation Systems)
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog)
An Extension-Based Approach to Belief Revision in Abstract Argumentation + (An Extension-Based Approach to Belief Revision in Abstract Argumentation)
An Extension-Based Approach to Belief Revision in Abstract Argumentation + (An Extension-Based Approach to Belief Revision in Abstract Argumentation)
An FCA Method for the Extensional Exploration of Relational Data + (An FCA Method for the Extensional Exploration of Relational Data)
An FCA grounded study of user dynamics through log exploration + (An FCA grounded study of user dynamics through log exploration)
Advanced Topics in Complexity Theory + (An Interactive Protocol for the Permanent)
An Introduction to Ontology-Based Query Answering with Existential Rules + (An Introduction to Ontology-Based Query Answering with Existential Rules)
Concurrency Theory + (An Introduction to Petri Nets)
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification)
An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions + (An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions)
An Ontology Design Pattern for Activity Reasoning + (An Ontology Design Pattern for Activity Reasoning)
An Ontology Design Pattern for Cartographic Map Scaling + (An Ontology Design Pattern for Cartographic Map Scaling)
An Ontology Design Pattern for Data Integration in the Library Domain + (An Ontology Design Pattern for Data Integration in the Library Domain)
An Ontology Design Pattern for Particle Physics Analysis + (An Ontology Design Pattern for Particle Physics Analysis)
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.)
An Overview of Tableau Algorithms for Description Logics + (An Overview of Tableau Algorithms for Description Logics)
An open architecture for multiple case retrieval methods + (An open architecture for multiple case retrieval methods)
Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens + (Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens)
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)