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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 12. EMCL Workshop +
- 17. WLP - Workshop Logische Programmierung +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 38th German Conference on Artificial Intelligence +
- 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) +
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic +
- A Dichotomy for Evaluating Simple Regular Path Queries +
- A Distributed Blockchain Model of Selfish Mining +
- A Glimpse into Propositional Model Counting +
- A Logic-based Reasoning Framework for Graph Databases +
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment +
- A SHACL primer for KR researchers +
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics +
- A Single Approach to Decide Chase Termination on Linear Existential Rules +
- A diamond in the rough: Theorizing column stores +
- A gentle introduction to partition width +
- A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation +
- A proof of CSP Dichotomy conjecture +
- A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications +
- ASNP: a tame fragment of existential second-order logic +
- ASPARTIX-D Ready for the Competition +
- 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 Domains for Database Manipulating Processes +
- Adaptive Language Interaction +
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster +
- Adding Threshold Concepts to the Description Logic EL +
- Admissibility in Probabilistic Argumentation +
- Advances in Abstract Argumentation - Expressiveness and Dynamics +
- Adventures in Computer Science -- Grades 1 & 2 +
- Agile Project Management - An overview on techniques and the agile mindset +
- Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning +
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation +
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog +
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics +
- An Introduction to Proof Theory I: Sequent Calculus +
- An Introduction to Proof Theory II: More on the Sequent Calculus +
- An Introduction to Wikidata +
- An importance value for temporal logics +
- An overview of Datalog boundedness +
- Answer Set Navigation alongside Quantitative Reasoning +
- Answering Queries with Negation over Existential Rules +
- Answering Temporal Conjunctive Queries over DL Ontologies +
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics +
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 +
- Attributed Description Logics: Ontologies for Knowledge Graphs +
- Augmenting human cognition in collaborative knowledge collections +
