Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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)