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 #101 to #150.

On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$: Label: en
Infinitary Equilibrium Logic and Strong Equivalence: Label: en
Combining Heuristics for Configuration Problems Using Answer Set Programming: Label: en
Progress in clasp Series 3: Label: en
ASP Solving for Expanding Universes: Label: en
Reasoning with Forest Logic Programs Using Fully Enriched Automata: Label: en
Diagnostic Reasoning for Robotics Using Action Languages: Label: en
ASP, Amalgamation, and the Conceptual Blending Workflow: Label: en
Linking Open-World Knowledge Bases Using Nonmonotonic Rules: Label: en
Interactive Debugging of Non-ground ASP Programs: Label: en
A New Computational Logic Approach to Reason with Conditionals: Label: en
A Formal Theory of Justifications: Label: en
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses: Label: en
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments: Label: en
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams: Label: en
Performance Tuning in Answer Set Programming: Label: en
Implementing Preferences with asprin: Label: en
A Framework for Goal-Directed Query Evaluation with Negation: Label: en
Answer Set Programming Modulo Acyclicity: Label: en
A Theory of Intentions for Intelligent Agents: Label: en
“Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis: Label: en
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming: Label: en
Online Action Language $$o\mathcal {BC}$$+: Label: en
Automated Inference of Rules with Exception from Past Legal Cases Using ASP: Label: en
Integrating ASP into ROS for Reasoning in Robots: Label: en
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics: Label: en
Advances in WASP: Label: en
Shift Design with Answer Set Programming: Label: en
Relational and Semantic Data Mining: Label: en
Algorithmic Decision Theory Meets Logic: Label: en
Stable Models for Temporal Theories: Label: en
Industrial-Size Scheduling with ASP+CP: Label: en
An Application of Clasp in the Study of Logics: Label: en
Transaction Logic with External Actions: Label: en
New Semantics for Epistemic Specifications: Label: en
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence: Label: en
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report): Label: en
Parametrized Equilibrium Logic: Label: en
Weight Constraints with Preferences in ASP: Label: en
Contingency-Based Equilibrium Logic: Label: en
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis: Label: en
Aggregates in Answer Set Optimization: Label: en
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations: Label: en
On Influence and Contractions in Defeasible Logic Programming: Label: en
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic: Label: en
What Are the Necessity Rules in Defeasible Reasoning?: Label: en
Back and Forth between Rules and SE-Models: Label: en
Strong Equivalence of Logic Programs with Abstract Constraint Atoms: Label: en
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates: Label: en
Stepping through an Answer-Set Program: Label: en