Suche mittels Attribut

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))

• 38th German Conference on Artificial Intelligence  + (38th German Conference on Artificial Intelligence)
• 38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden  + (38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden)
• 8. Internationale Sommerschule über KI und Big Data  + (8th International Summer School on AI and Big Data)
• 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  + (9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA))
• A Camera Sensor Model for Sensor Fusion  + (A Camera Sensor Model for Sensor Fusion)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (A Computational Logic Approach for Spatial Reasoning)
• A Constructive Connectionist Approach Towards Continual Robot Learning  + (A Constructive Connectionist Approach Towards Continual Robot Learning)
• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic  + (A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic)
• A Dichotomy for Evaluating Simple Regular Path Queries  + (A Dichotomy for Evaluating Simple Regular Path Queries)
• A Distributed Blockchain Model of Selfish Mining  + (A Distributed Blockchain Model of Selfish Mining)
• A Glimpse into Propositional Model Counting  + (A Glimpse into Propositional Model Counting)
• A Layered Architecture for Robot Control Using the Fluent Calculus  + (A Layered Architecture for Robot Control Using the Fluent Calculus)
• A Logic-based Reasoning Framework for Graph Databases  + (A Logic-based Reasoning Framework for Graph Databases)
• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (A Resource-Oriented Deductive Approach Towards Hierarchical Planning)
• A SHACL primer for KR researchers  + (A SHACL primer for KR researchers)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics)
• A Simplified Tableau Calculus for Standpoint LTL  + (A Simplified Tableau Calculus for Standpoint LTL)
• A Single Approach to Decide Chase Termination on Linear Existential Rules  + (A Single Approach to Decide Chase Termination on Linear Existential Rules)
• A diamond in the rough: Theorizing column stores  + (A diamond in the rough: Theorizing column stores)
• A gentle introduction to partition width  + (A gentle introduction to partition width)
• 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 proof of CSP Dichotomy conjecture  + (A proof of CSP Dichotomy conjecture)
• 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.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)
• KI Nachwuchsgruppe für Sarah Gaggl  + (AI Young Investigator Group for Sarah Gaggl)
• Award1005  + (AI's Ten to Watch)
• ASNP: a tame fragment of existential second-order logic  + (ASNP: a tame fragment of existential second-order logic)
• ASPARTIX-D Ready for the Competition  + (ASPARTIX-D Ready for the Competition)
• ASYDE: An Argumentation-based System for classifYing Driving bEhaviors  + (ASYDE: An Argumentation-based System for classifYing Driving bEhaviors)
• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
• Abstract Domains for Database Manipulating Processes  + (Abstract Domains for Database Manipulating Processes)
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: (Cancelled) (Lecture))
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: Advanced LaTeX (Exercise))
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: Advanced LaTeX (Exercise))
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: Finding Literature (Exercise))
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: Finding Literature (Exercise))
• Academic Skills in Computer Science  + (Academic Skills in Computer Science: Format, Layout, and Punctuation (Lecture))