the proceedings contain 45 papers. the topics discussed include: symmetry breaking for distributed multi-context systems;splitting an argumentation framework;reactive answer set programming;communicating ASP and the p...
ISBN:
(纸本)9783642208942
the proceedings contain 45 papers. the topics discussed include: symmetry breaking for distributed multi-context systems;splitting an argumentation framework;reactive answer set programming;communicating ASP and the polynomial hierarchy;loop formulas for splitable temporal logic programs;pushing efficient evaluation of HEX programs by modular decomposition;approximations for explanations of inconsistency in partially known multi-context systems;relational information exchange and aggregation in multi-context systems;stepping through an answer-set program;dynamic magic sets for programs with monotone recursive aggregates;strong equivalence of logic programs with abstract constraint atoms;partial preferences and ambiguity resolution in contextual defeasible logic;on influence and contractions in defeasible logicprogramming;termination of grounding is not preserved by strongly equivalent transformations;and aggregates in answer set optimization.
the proceedings contain 39 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming:...
ISBN:
(纸本)9783031157066
the proceedings contain 39 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming: A Case Study of Graph Coloring;a Qualitative Temporal Extension of Here-and-there logic;representing Abstract Dialectical Frameworks with Binary Decision Diagrams;Arguing Correctness of ASP Programs with Aggregates;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination;IASCAR: Incremental Answer Set Counting by Anytime Refinement;reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL;inference to the Stable Explanations;modal logic S5 in Answer Set programming with Lazy Creation of Worlds;Semantics for Conditional Literals via the SM Operator;state Transition in Multi-agent Epistemic Domains Using Answer Set programming;towards Provenance in Heterogeneous Knowledge Bases;Computing Smallest MUSes of Quantified Boolean Formulas;Pinpointing Axioms in Ontologies via ASP;interlinking logic Programs and Argumentation Frameworks;gradient-Based Supported Model Computation in Vector Spaces;towards Causality-Based Conflict Resolution in Answer Set Programs;xASP: An Explanation Generation System for Answer Set programming;Solving Problems in the Polynomial Hierarchy with ASP(Q);Enumeration of Minimal Models and MUSes in WASP;a Practical Account into Counting Dung’s Extensions by Dynamic programming;Clingraph: ASP-Based Visualization;A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection;QMaxSATpb: A Certified MaxSAT Solver;knowledge-Based Support for Adhesive Selection;ASP for Flexible Payroll Management;Analysis of Cyclic Fault Propagation via ASP;learning to Rank the Distinctiveness of Behaviour in Serial Offending;optimising Business Process Discovery Using Answer Set programming;DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models;statis
the proceedings contain 55 papers. the topics discussed include: integrating temporal extensions of answer set programming;the fourth answer set programming competition: preliminary report;WASP: a native ASP solver ba...
ISBN:
(纸本)9783642405631
the proceedings contain 55 papers. the topics discussed include: integrating temporal extensions of answer set programming;the fourth answer set programming competition: preliminary report;WASP: a native ASP solver based on constraint learning;symbolic system synthesis using answer set programming;accurate computation of sensitizable paths using answer set programming;encoding higher level extensions of Petri nets in answer set programming;Cplus2ASP: computing action language C+ in answer set programming;event-object reasoning with curated knowledge bases: deriving missing information;towards query answering in relational multi-context systems;spectra in abstract argumentation: an analysis of minimal change;an ASP application in integrative biology: identification of functional gene units;extending the metabolic network of ectocarpus siliculosus using answer set programming;and efficient approximation of well-founded justification and well-founded domination.
the proceedings contain 33 papers. the topics discussed include: logicprogramming and nonmonotic reasoning: from theory to systems and applications;policy based computing: from systems and applications to theory;the ...
详细信息
ISBN:
(纸本)9783540721994
the proceedings contain 33 papers. the topics discussed include: logicprogramming and nonmonotic reasoning: from theory to systems and applications;policy based computing: from systems and applications to theory;the first answer set programming system competition;CR-models: an inference engine for CR-prolog;debugging ASP programs by means of ASP;conflict-driven answer set enumeration;head-elementary-set-free logic programs;a deductive system for PC(ID);modularity aspects of disjunctive stable models;a unified semantics for constraint handling rules in transaction;conditional planning with external functions;general default logic;the LP-OD system logicprogramming meets outlier detection;a conflict-driven answer set solver;programming applications in CIFF;an application of defeasible logicprogramming to decision making in a robotic environment;on the effectiveness of looking ahead in search for answer sets;and modularity in SMODELS programs.
the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a hi...
the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a higher-order DBSP program;a tool for reasoning over CNL sentences with temporal constructs;experiencing hypothetical datalog in SQL puzzles;LLM-based DatalogMTL modelling of MiCAR-compliant crypto-assets markets;an exploration of datalog applications to language documentation and reclamation;and Nemo: a scalable and versatile datalog engine.
Recently forms of abstraction have been proposed for bothlogic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms ...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Recently forms of abstraction have been proposed for bothlogic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, withthe aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Proces...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Process Mining, thanks to their formal semantics that enables automated analysis techniques. In this context, model repair is the task of aligning a process model with actual executions of the process. Current solutions to model repair do not allow for embedding domain knowledge, providing guarantees of rigor, and enforcing structural requirements at the same time. In this paper, we fill this gap by proposing an approach based on the Inductive logicprogramming system ILASP. We then implement our approach and perform an experimental evaluation, showing both its expressiveness and feasibility.
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported deductive evidence. Different from other approaches, we emphasize th...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported deductive evidence. Different from other approaches, we emphasize the role of investigating general frameworks that can also provide a consistent and well-defined justification for a conclusion that cannot be inferred and there is certainty about it, which we call here NAF-arguments, which have been less explored in the formal argumentation theory, despite its potential use in practical applications for building nuanced well-structured explanations and justifications. this article introduces the so-called semantic argumentation guaranteeing well-known principles for quality in structured argumentation, and withthe ability to generate two types of arguments, those where the conclusion atoms are semantically interpreted as true, and those where the conclusion is assumed to be false, we call them here semantic and NAF-arguments respectively. this framework is defined on the set of all logic programs in terms of rewriting systems based on a confluent set of transformation rules, the so-called Confluent logicprogramming Systems, making this approach a general framework. Additionally, we introduce a method for building such arguments using the program's strata through partial interpretations. We implement our framework named semantic argumentation solver available open source.
Connections of intuitionistic and intermediate logics withlogicprogramming have been extensively studied in the literature. Among the different results in the literature we find equilibrium logic (Pearce, 1996) and ...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Connections of intuitionistic and intermediate logics withlogicprogramming have been extensively studied in the literature. Among the different results in the literature we find equilibrium logic (Pearce, 1996) and Safe beliefs (Osorio et al., 2005). Pearce's approach admits a characterisation in terms of a fixpoint (consequence) operator on the here-and-there intermediate logic (Heyting, 1930), which is similar to the notion of theory completion in default and autoepistemic logics. Osorio's safe beliefs are also given in terms of a fixpoint operator under intuitionistic logic semantics. In this latter case, intuitionistic logic can be replaced by any intermediate logic without altering the result. In this paper we consider temporal equilibrium logic, an combination of equilibrium logic and linear-time temporal logic. In this context we extend Pearce's and Osorio's approach to temporal case and we discuss the relation of intuitionistic temporal logic and temporal logicprogramming.
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 ...
ISBN:
(数字)9783642405648
ISBN:
(纸本)9783642405631;9783642405648
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logicprogramming, nonmonotonicreasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonicreasoning.
暂无评论