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

29th Workshop on (Constraint) Logic Programming (WLP 2015) + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
29th Workshop on (Constraint) Logic Programming (WLP 2015) + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden + (38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden)
38th German Conference on Artificial Intelligence + (38th German Conference on Artificial Intelligence)
38th German Conference on Artificial Intelligence + (38th German Conference on Artificial Intelligence)
38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden + (38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden)
6th Workshop on Unification + (6th Workshop on Unification)
8. Internationale Sommerschule über KI und Big Data + (8. Internationale Sommerschule über KI und Big Data)
8th International Summer School on AI and Big Data + (8th International Summer School on AI and Big Data)
8th South-East Asian Summer School on Computational Logic + (8th South-East Asian Summer School on Computational Logic)
9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) + (9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA))
9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) + (9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA))
9th South-East Asian Summer School on Computational Logic + (9th South-East Asian Summer School on Computational Logic)
: Completed Theses + ( : Completed Theses )
: Completed Theses + ( : Completed Theses )
??? + (???)
A "Converse" of the Banach Contraction Mapping Theorem + (A "Converse" of the Banach Contraction Mapping Theorem)
A Behavioral Characterization of Computational Systems + (A Behavioral Characterization of Computational Systems)
A Benchmark Framework for a Computational Argumentation Competition + (A Benchmark Framework for a Computational Argumentation Competition)
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies + (A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies)
A Brief Introduction to Formal Concept Analysis + (A Brief Introduction to Formal Concept Analysis)

A Calculus of Order and Interaction + (A Calculus of Order and Interaction)
A Calculus of Order and Interaction + (A Calculus of Order and Interaction)

A Camera Sensor Model for Sensor Fusion + (A Camera Sensor Model for Sensor Fusion)
A Camera Sensor Model for Sensor Fusion + (A Camera Sensor Model for Sensor Fusion)
A Categorical Characterization of Consistency Results + (A Categorical Characterization of Consistency Results)
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (A Chomsky-Schützenberger Theorem for Weighted Automata with Storage)
A Closer Look at the Semantic Relationship between Datalog and Description Logics + (A Closer Look at the Semantic Relationship between Datalog and Description Logics)
A Compact Encoding of Pseudo-Boolean Constraints into SAT + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)
A Compact Encoding of Pseudo-Boolean Constraints into SAT + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)
A Compositional Framework for Controller Synthesis + (A Compositional Framework for Controller Synthesis)
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation + (A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation)
A Computational Logic Approach for Spatial Reasoning + (A Computational Logic Approach for Spatial Reasoning)
A Computational Logic Approach to Human Reasoning + (A Computational Logic Approach to Human Reasoning)
A Computational Logic Approach to Syllogisms in Human Reasoning + (A Computational Logic Approach to Syllogisms in Human Reasoning)
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task + (A Computational Logic Approach to the Abstract and the Social Case of the Selection Task)
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task + (A Computational Logic Approach to the Abstract and the Social Case of the Selection Task)
A Computational Logic Approach to the Belief Bias Effect + (A Computational Logic Approach to the Belief Bias Effect)
A Computational Logic Approach to the Suppression Task + (A Computational Logic Approach to the Suppression Task)
A Computational Logic Approach to the Suppression Task + (A Computational Logic Approach to the Suppression Task)
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning + (A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning)
A Concept Language Extended with Different Kinds of Transitive Roles + (A Concept Language Extended with Different Kinds of Transitive Roles)
A Concept Language for an engeneering application with part-whole relations + (A Concept Language for an engeneering application with part-whole relations)
A Conceptual Foundation for Autonomous Learning in Unforeseen Situations + (A Conceptual Foundation for Autonomous Learning in Unforeseen Situations)
A Constructive Connectionist Approach Towards Continual Robot Learning + (A Constructive Connectionist Approach Towards Continual Robot Learning)
A Constructive Connectionist Approach Towards Continual Robot Learning + (A Constructive Connectionist Approach Towards Continual Robot Learning)
A Core Method for the Weak Completion Semantics with Skeptical Abduction + (A Core Method for the Weak Completion Semantics with Skeptical Abduction)