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
- Default Reasoning about Actions via Abstract Argumentation + (245)
- Automated Performance and Dependability Evaluation Using Model Checking + (2459)
- Incremental Fuzzy Decision Trees + (2479)
- The Well-Founded Semantics is a Stratified Fitting Semantics + (2479)
- Preface: Concept Lattices and Applications: Recent Advances and New Opportunities + (249)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (25)
- Coordination control of discrete-event systems revisited + (25)
- Conjunctive Queries for EL with Role Composition + (250)
- A Non-commutative Extension of MELL + (2514)
- A Local System for Linear Logic + (2514)
- Minimised Residue Hypotheses in Relevant Logic + (2533)
- Metric semantics for true concurrent real time + (254)
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (255)
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (255)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (256)
- LTL to Deterministic Emerson-Lei Automata + (256)
- Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination + (256)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis + (258)
- Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach + (26)
- Stage semantics and the SCC-recursive schema for argumentation semantics + (26)
- Description Logics as Ontology Languages for the Semantic Web + (2605)
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic + (261)
- The Logical Difference for ELHr-Terminologies using Hypergraphs + (263)
- Multi-context systems for reactive reasoning in dynamic environments + (263)
- Defining Relations: a general incremental approach with spatial temporal case studies + (263)
- Decomposing Abstract Dialectical Frameworks + (266)
- The DIAMOND System for Computing with Abstract Dialectical Frameworks + (266)
- Implementing Instantiation of Knowledge Bases in Argumentation Frameworks + (266)
- A Benchmark Framework for a Computational Argumentation Competition + (266)
- The DIAMOND System for Computing with Abstract Dialectical Frameworks + (266)
- Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo + (266)
- Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) + (2663)
- Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20) + (2672)
- Weighted automata with storage + (269)
- Linear context-free tree languages and inverse homomorphisms + (269)
- A Note on Unification Type Zero + (27)
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (27)
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (27)
- FLUCAP: A Heuristic Search Planner for First-Order MDPs + (27)
- New CNF Features and Formula Classification + (27)
- Fast Compression of Large Semantic Web Data using X10 + (27)
- Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication + (27)
- On the Number of Bipolar Boolean Functions + (27)
- A Resource–Oriented Deductive Approach towards Hierarchical Planning + (270)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination + (272)
- Entropic Risk for Turn-Based Stochastic Games + (272)
- The Complexity of Finite Model Reasoning in Description Logics + (2741)
- A Translation of Looping Alternating Automata to Description Logics + (2741)
- Proceedings of the 19th International Conference on Automated Deduction CADE-19 + (2741)
- Description Logics for Ontologies + (2746)
