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
- On Composing Finite Forests with Modal Logics + (24)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views + (24)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (24)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (24)
- Winning Snake: Design Choices in Multi-Shot ASP + (24)
- A Purely Logical Account of Sequentiality in Proof Search + (2401)
- On rejected arguments and implicit conflicts: The hidden power of argumentation semantics + (241)
- Towards Model Theory of Ordered Logics: Expressivity and Interpolation + (241)
- Simulation for Continuous-Time Markov Chains + (2421)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (2445)
- Computational Aspects of cf2 and stage2 Argumentation Semantics + (245)
- Evaluating Abstract Dialectical Frameworks with ASP + (245)
- 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)
- LTL to Deterministic Emerson-Lei Automata + (256)
- Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination + (256)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (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)
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (264)
- 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)
