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
- Multi-context systems for reactive reasoning in dynamic environments + (Brewka)
- Abstract Dialectical Frameworks Revisited + (Brewka)
- Abstract Dialectical Frameworks. An Overview + (Brewka)
- Abstract Dialectical Frameworks Revisited + (Brewka)
- Weighted Abstract Dialectical Frameworks + (Brewka)
- Declarative Strategies for Agents with Incomplete Knowledge + (Brewka)
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (Bromberger)
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (Bromberger)
- A purely logical account of sequentiality in proof search – extended abstract + (Bruscoli)
- On Structuring Proof Search for First Order Linear Logic + (Bruscoli)
- Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005) + (Bruscoli)
- A Tutorial on Proof Theoretic Foundations of Logic Programming + (Bruscoli)
- On Structuring Proof Search for First Order Linear Logic + (Bruscoli)
- A Purely Logical Account of Sequentiality in Proof Search + (Bruscoli)
- Disjunction in Resource-Oriented Deductive Planning + (Brüning)
- A Local System for Classical Logic + (Brünnler)
- A Finitary System for First Order Logic + (Brünnler)
- Two Restrictions on Contraction + (Brünnler)
- A First Order System with Finite Choice of Premises + (Brünnler)
- Locality for Classical Logic + (Brünnler)
- Consistency Without Cut Elimination + (Brünnler)
- Atomic Cut Elimination for Classical Logic + (Brünnler)
- Two Restrictions on Contraction + (Brünnler)
- Atomic Cut Elimination for Classical Logic + (Brünnler)
- Deep Inference and Symmetry in Classical Proofs + (Brünnler)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Böhl)
- Representative Answer Sets: Collecting Something of Everything + (Böhl)
- Winning Snake: Design Choices in Multi-Shot ASP + (Böhl)
- Winning Snake: Design Choices in Multi-Shot ASP + (Böhl)
- Description Logics of Context with Rigid Roles Revisited + (Böhme)
- Decidable Contextualized DLs with Rigid Roles + (Böhme)
- Decidable Description Logics of Context with Rigid Roles + (Böhme)
- Verification of Context-Sensitive Knowledge and Action Bases + (Calvanese)
- Satisfiability of CTL* with Constraints + (Carapelle)
- Satisfiability for MTL and TPTL over non-monotonic data words + (Carapelle)
- On the Satisfiability of Temporal Logics with Concrete Domains + (Carapelle)
- On the expressiveness of MTL and TPTL over omega-data words + (Carapelle)
- Satisfiability of ECTL* with tree constraints + (Carapelle)
- Temporal Logics with Local Constraints + (Carapelle)
- Satisfiability of ECTL* with Constraints + (Carapelle)
- Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property + (Carapelle)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (Carr)
- Extending Description Logic Rules + (Carral)
- A Logical Geo-Ontology Design Pattern for Quantifying over Types + (Carral)
- Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas + (Carral)
- Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (Carral)
- An Ontology Design Pattern for Cartographic Map Scaling + (Carral)
- Pushing the Boundaries of Tractable Ontology Reasoning. + (Carral)
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles + (Carral)
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Carral)
