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 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 gentle introduction to partition width + (A gentle introduction to partition width)
A gentle introduction to partition width + (A gentle introduction to partition width)
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 pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation + (A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation)
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation + (A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation)
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 proof of CSP Dichotomy conjecture + (A proof of CSP Dichotomy conjecture)
A proof of CSP Dichotomy conjecture + (A proof of CSP Dichotomy conjecture)
A purely logical account of sequentiality in proof search – extended abstract + (A purely logical account of sequentiality in proof search – extended abstract)
A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
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)
A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications + (A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications)
A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications + (A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications)
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)
AGM Revision in Description Logics under Fixed-Domain Semantics + (AGM Revision in Description Logics under Fixed-Domain Semantics)
AI Young Investigator Group for Sarah Gaggl + (AI Young Investigator Group for Sarah Gaggl)
ASNP: a tame fragment of existential second-order logic + (ASNP: a tame fragment of existential second-order logic)
ASNP: a tame fragment of existential second-order logic + (ASNP: a tame fragment of existential second-order logic)
ASPARTIX Conquers the Web + (ASPARTIX Conquers the Web)
ASPARTIX-D + (ASPARTIX-D)
ASPARTIX-D Ready for the Competition + (ASPARTIX-D Ready for the Competition)
ASPARTIX-D Ready for the Competition + (ASPARTIX-D Ready for the Competition)
ASPARTIX-D Ready for the Competition + (ASPARTIX-D Ready for the Competition)
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming + (ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming)
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming + (ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming)
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors + (ASYDE: An Argumentation-based System for classifYing Driving bEhaviors)
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors + (ASYDE: An Argumentation-based System for classifYing Driving bEhaviors)