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 Journey to the Frontiers of Query Rewritability +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- ADF - BDD : An ADF Solver Based on Binary Decision Diagrams +
- AGM Revision in Description Logics under Fixed-Domain Semantics +
- Admissibility in Probabilistic Argumentation +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms +
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog +
- Answer Set Navigation: Probleme Besser Verstehen +
- Answering Queries with Negation over Existential Rules +
- Automating Reasoning with Standpoint Logic via Nested Sequents +
- CPrAA -- A Checker for Probabilistic Abstract Argumentation +
- Chasing Streams with Existential Rules +
- Comonadic Semantics for Description Logics Games +
- Complexity Theory +
- Data, Ontologies, Rules, and the Return of the Blank Node +
- Database Theory +
- Deciding Hyperproperties Combined with Functional Specifications +
- Description Logic +
- Determinacy of Real Conjunctive Queries. The Boolean Case +
- Efficient Dependency Analysis for Rule-Based Ontologies +
- Einführung in die (theoretische) Informatik +
- Expressivity of Planning with Horn Description Logic Ontologies +
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) +
- Finite Entailment of Local Queries in the Z family of Description Logics +
- Finite and algorithmic model theory (22/23) +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata +
- Fuzzy Description Logic +
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning +
- Introduction to Formal Concept Analysis +
- KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge +
- Knowledge Graphs +
- Logic-Based Ontology Engineering +
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) +
- Models of Concurrent Systems +
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces +
- On probability-raising causality in Markov decision processes +
- On the Foundations of Cycles in Bayesian Networks +
- Operational Causality - Necessarily Sufficient and Sufficiently Necessary +
- Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting +
- Probabilistic Causes in Markov Chains +
- Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden. +