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 +
- 17. WLP - Workshop Logische Programmierung +
- 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 +
- Automata, Logic, Algebra... What do they have in common? +
- Automatic Extraction of Compositional Matrix-Space Models of Language +
- Automatic translation of clinical trial eligibility criteria into formal queries +
- Beyond NP Revolution +
- Big Data Variety: On-Demand Data Integration +
- Blockmodelling Knowledge Graphs +
