Linked e-resources
Details
Table of Contents
Applications
Train scheduling with hybrid ASP
Telco Network Inventory Validation with NoHR
An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots
C-ASP: Continuous ASP-based Reasoning over RDF Streams
Internet Routing and Non-Monotonic Reasoning
Argumentation
Assessing arguments with schemes and fallacies
Simple Contrapositive Assumption-Based Frameworks
Argumentation-based Explanations for Answer Sets using ADF
Foundations and Complexity
Treewidth and Counting Projected Answer Sets
Splitting Epistemic Logic Programs
Founded World Views with Autoepistemic Equilibrium Logic
Towards Dynamic Answer Set Programming over finite traces
A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur
Knowledge Representation and Reasoning
Diagnosing Data Pipeline Failures Using Action Languages
Repair-Based Degrees of Database Inconsistency
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+
Systems
Evaluation of disjunctive programs in WASP
telinge = ASP + Time
Verifying Strong Equivalence of Programs in the Input Language of GRINGO
The return of XORRO
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Enhancing DLV for Large-Scale Reasoning
Pruning External Minimality Checking for ASP Using Semantic Dependencies
Declarative local search for predicate logic.
Train scheduling with hybrid ASP
Telco Network Inventory Validation with NoHR
An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots
C-ASP: Continuous ASP-based Reasoning over RDF Streams
Internet Routing and Non-Monotonic Reasoning
Argumentation
Assessing arguments with schemes and fallacies
Simple Contrapositive Assumption-Based Frameworks
Argumentation-based Explanations for Answer Sets using ADF
Foundations and Complexity
Treewidth and Counting Projected Answer Sets
Splitting Epistemic Logic Programs
Founded World Views with Autoepistemic Equilibrium Logic
Towards Dynamic Answer Set Programming over finite traces
A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur
Knowledge Representation and Reasoning
Diagnosing Data Pipeline Failures Using Action Languages
Repair-Based Degrees of Database Inconsistency
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+
Systems
Evaluation of disjunctive programs in WASP
telinge = ASP + Time
Verifying Strong Equivalence of Programs in the Input Language of GRINGO
The return of XORRO
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Enhancing DLV for Large-Scale Reasoning
Pruning External Minimality Checking for ASP Using Semantic Dependencies
Declarative local search for predicate logic.