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