Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Enablers and Inhibitors in Causal Justifications of Logic Programs: Label: en
Social Default Theories: Label: en
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach: Label: en
Layer Supported Models of Logic Programs: Label: en
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs: Label: en
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results: Label: en
Representing Multi-agent Planning in CLP: Label: en
Computing Weighted Solutions in Answer Set Programming: Label: en
CR-Prolog as a Specification Language for Constraint Satisfaction Problems: Label: en
Translating Preferred Answer Set Programs to Propositional Logic: Label: en
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming: Label: en
Weight Constraint Programs with Functions: Label: en
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence: Label: en
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs: Label: en
The Complexity of Circumscriptive Inference in Post’s Lattice: Label: en
A Default Approach to Semantics of Logic Programs with Constraint Atoms: Label: en
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection: Label: en
Belief Revision with Bounded Treewidth: Label: en
Max-ASP: Maximum Satisfiability of Answer Set Programs: Label: en
Simple Random Logic Programs: Label: en
Knowledge Qualification through Argumentation: Label: en
A First Order Forward Chaining Approach for Answer Set Computing: Label: en
On Reductive Semantics of Aggregates in Answer Set Programming: Label: en
Induction on Failure: Learning Connected Horn Theories: Label: en
A Module-Based Framework for Multi-language Constraint Modeling: Label: en
Computing Stable Models via Reductions to Difference Logic: Label: en
A Deductive System for FO(ID) Based on Least Fixpoint Logic: Label: en
Manifold Answer-Set Programs for Meta-reasoning: Label: en
Complexity of the Stable Model Semantics for Queries on Incomplete Databases: Label: en
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs: Label: en
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs: Label: en
A Revised Concept of Safety for General Answer Set Programs: Label: en
Argumentation Context Systems: A Framework for Abstract Group Argumentation: Label: en
Contextual Argumentation in Ambient Intelligence: Label: en
Splitting a CR-Prolog Program: Label: en
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP: Label: en
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning: Label: en
Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access: Label: en
Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences: Label: en
Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic: Label: en
The Design of the Sixth Answer Set Programming Competition: Label: en
Logic Programming with Graded Modality: Label: en
Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy: Label: en
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories: Label: en
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP: Label: en
Characterising and Explaining Inconsistency in Logic Programs: Label: en
Solving Disjunctive Fuzzy Answer Set Programs: Label: en
Clause-Learning for Modular Systems: Label: en
Multi-level Algorithm Selection for ASP: Label: en
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming: Label: en