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 Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence +
- A Language for Default Reasoning about Actions +
- A New Equational Foundation for the Fluent Calculus +
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
- A Rule-Based Language for Complex Event Processing and Reasoning +
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A rule based data manipulation language for OLAP systems +
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog +
- Approximate OWL-Reasoning with Screech +
- Attributed Description Logics: Ontologies for Knowledge Graphs +
- Complexity in Union-Free Regular Languages +
- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks +
- Conceptual Structures: Leveraging Semantic Technologies +
- Concurrent Classification of EL Ontologies +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Consequence Operators for Characterization Logics – The Case of Abstract Argumentation +
- Deciding Universality of ptNFAs is PSpace-Complete +
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog +
- Discovering Implicational Knowledge in Wikidata +
- ELP: Tractable Rules for OWL 2 +
- Efficient Dependency Analysis for Rule-Based Ontologies +
- Efficient Model Construction for Horn Logic with VLog +
- Efficient Separability of Regular Languages by Subsequences and Suffixes +
- Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School +
- Explaining Data with Formal Concept Analysis +
- Exploring Relational Structures via FLE +
- Finite Lattices Do Not Make Reasoning in ALCOI Harder +
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation +
- Formal Concept Analysis Methods for Dynamic Conceptual Graphs +
- Formal Properties of Modularisation +
- Foundations of Description Logics +
- Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph +
- Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017 +
- Improving Resource-Unaware SAT Solvers +
- Instantiating Knowledge Bases in Abstract Dialectical Frameworks +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- Intensional Question Answering using ILP: What does an answer mean? +
- Introducing Wikidata to the Linked Data Web +
- Logic Programs under Three-Valued Łukasiewicz's Semantics +
- Logics and Networks for Human Reasoning +
- Modal Logics and the two-variable fragment +
- Modal Schema Graphs for Graph Databases +
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic +
- On Properties and State Complexity of Deterministic State-Partition Automata +
- On Upper and Lower Bounds on the Length of Alternating Towers +
- On the Complexity of Graded Modal Logics with Converse. +
- On the Complexity of k-Piecewise Testability and the Depth of Automata +
