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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com