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
- 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)
