Suche mittels Attribut
Aus International Center for Computational Logic
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
- 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)