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 Tutorial on Proof Theoretic Foundations of Logic Programming + (A Tutorial on Proof Theoretic Foundations of Logic Programming)
A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory + (A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory)
A Uniform Account of Realizability in Abstract Argumentation + (A Uniform Account of Realizability in Abstract Argumentation)
A Visual-Sensor Model for Mobile Robot Localisation + (A Visual-Sensor Model for Mobile Robot Localisation)
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem + (A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem)
A bridge between decentralized and coordination control + (A bridge between decentralized and coordination control)
A cartesian closed category of approximable concept structures + (A cartesian closed category of approximable concept structures)
A categorical view on algebraic lattices in formal concept analysis + (A categorical view on algebraic lattices in formal concept analysis)
A compact fuzzy extension of the Naive Bayesian classification algorithm + (A compact fuzzy extension of the Naive Bayesian classification algorithm)
A computational logic approach to human spatial reasoning + (A computational logic approach to human spatial reasoning)
A computational logic approach to human syllogistic reasoning + (A computational logic approach to human syllogistic reasoning)
A computational logic approach to the belief bias in human syllogistic reasoning + (A computational logic approach to the belief bias in human syllogistic reasoning)
A cross-lingual correcting and completive method for multilingual ontology labels + (A cross-lingual correcting and completive method for multilingual ontology labels)
A finite basis for the set of EL-implications holding in a finite model + (A finite basis for the set of EL-implications holding in a finite model)
A formal assessment result for fluent calculus using the action description language A_k + (A formal assessment result for fluent calculus using the action description language A_k)
A framework for connection calculi + (A framework for connection calculi)
A fuzzy extension of explanatory relations based on mathematical morphology + (A fuzzy extension of explanatory relations based on mathematical morphology)
A general first-order solution to the ramification problem with cycles + (A general first-order solution to the ramification problem with cycles)
A generalized resolution theorem + (A generalized resolution theorem)
A generalized resolution theorem + (A generalized resolution theorem)
A hybrid approach for learning concept definitions from text + (A hybrid approach for learning concept definitions from text)
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 context-based -subsumption algorithm + (A new context-based -subsumption algorithm)
A nice Cycle Rule for Goal-Directed E-Unification + (A nice Cycle Rule for Goal-Directed E-Unification)
A note on C2 interpreted over finite data-words + (A note on C2 interpreted over finite data-words)

A note on controllability of deterministic context-free systems + (A note on controllability of deterministic context-free systems)

A note on the attractor-property of infinite-state Markov chains + (A note on the attractor-property of infinite-state Markov chains)
A probabilistic visual sensor model for mobile robot localisation in structured environments + (A probabilistic visual sensor model for mobile robot localisation in structured environments)
A purely logical account of sequentiality in proof search – extended abstract + (A purely logical account of sequentiality in proof search – extended abstract)
A robot control system integrating reactive control, reasoning, and execution monitoring + (A robot control system integrating reactive control, reasoning, and execution monitoring)
A rule based data manipulation language for OLAP systems + (A rule based data manipulation language for OLAP systems)
A rule based data manipulation language for OLAP systems + (A rule based data manipulation language for OLAP systems)
A rule-based ontological framework for the classification of molecules + (A rule-based ontological framework for the classification of molecules)
A semi-supervised method for learning the structure of robot-environment interaction + (A semi-supervised method for learning the structure of robot-environment interaction)
A systematic proof theory for several modal logics + (A systematic proof theory for several modal logics)
A tableau algorithm for reasoning about concepts and similarity + (A tableau algorithm for reasoning about concepts and similarity)
A uniform approach to logic programming semantics + (A uniform approach to logic programming semantics)
A uniform framework for modeling and verifying components and connectors + (A uniform framework for modeling and verifying components and connectors)
A uniform framework for weighted decision diagrams and its implementation + (A uniform framework for weighted decision diagrams and its implementation)
A1-Unification + (A1-Unification)
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams + (ADF - BDD : An ADF Solver Based on Binary Decision Diagrams)
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams + (ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams)
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks + (ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks)
Seminar Abstract Argumentation + (ADFs and Topics Selection)
Seminar Abstract Argumentation + (ADFs and Topics Selection)
AGM Revision in Description Logics under Fixed-Domain Semantics + (AGM Revision in Description Logics under Fixed-Domain Semantics)
Practical Planning for Angry Birds + (AIB Software Setup)
Problem Solving and Search in Artificial Intelligence + (ASP 1)
Problem Solving and Search in Artificial Intelligence + (ASP 1)
Problem Solving and Search in Artificial Intelligence + (ASP 1)
Problem Solving and Search in Artificial Intelligence + (ASP 1)