Search by property
From International Center for Computational Logic
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)