Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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)
