the proceedings contain 4 papers. the topics discussed include: model streaming for distributed multi-context systems*;lightweight communication platform for heterogeneous multi-context systems: a preliminary report*;...
the proceedings contain 4 papers. the topics discussed include: model streaming for distributed multi-context systems*;lightweight communication platform for heterogeneous multi-context systems: a preliminary report*;towards a policy language for managing inconsistency in multi-context systems*;and privacy preservation using multi-context systems*.
the proceedings contain 46 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Approximations for Explanations of Inconsistency in Partially Known Multi...
ISBN:
(纸本)9783642208942
the proceedings contain 46 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: 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;Back and Forth between Rules and SE-Models;what Are the Necessity Rules in Defeasible reasoning?;partial Preferences and Ambiguity Resolution in Contextual Defeasible logic;on Influence and Contractions in Defeasible logicprogramming;foundations and Extensions of Answer Set programming: the logical Approach;termination of Grounding Is Not Preserved by Strongly Equivalent Transformations;aggregates in Answer Set Optimization;optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis;contingency-Based Equilibrium logic;Weight Constraints with Preferences in ASP;parametrized Equilibrium logic;random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison;integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report);gentzen-Type Refutation Systems for three-Valued logics with an Application to Disproving Strong Equivalence;new Semantics for Epistemic Specifications;lessons from Efforts to Automatically Translate English to Knowledge Representation Languages;cmMUS: A Tool for Circumscription-Based MUS Membership Testing;transaction logic with External Actions;an Application of Clasp in the Study of logics;Industrial-Size Scheduling with ASP+CP;secommunity: A Framework for Distributed Access Control;itemset Mining as a Challenge Application for Answer Set Enumeration;causal reasoning for Planning and Coordination of Multiple Housekeeping Robots;advances in gringo Series 3.
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.
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and nonmonotonicreasoning, lpnmr 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638;9783319232645
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and nonmonotonicreasoning, lpnmr 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by lpnmr student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. lpnmr is a forum for exchanging ideas on declarative logicprogramming, nonmonotonicreasoning, and knowledge representation. the aim of the lpnmrconferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonicreasoning.
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.
Hydraulic engineering analysis of Water Distribution Systems (WDSs) is performed by running simulation softwares. the starting point to setup a simulation is to reconstruct the WDS topology. In many countries, includi...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Hydraulic engineering analysis of Water Distribution Systems (WDSs) is performed by running simulation softwares. the starting point to setup a simulation is to reconstruct the WDS topology. In many countries, including Italy, it often happens that data on the WDS is not readily available and accessible in digital format, and topology-reconstruction has to be carried out manually. this paper describes an application of Answer Set programming to partially automate the task of determining a WDS topology from geospatial data. Also, we report on a real-world use case that shows the feasibility of our approach.
We present an initial exploration into the possibilities of applying current state-of-the-art answer set programming (ASP) tools-esp. conflict-driven answer set enumeration-for mining itemsets in 0-1 data. We evaluate...
详细信息
ISBN:
(纸本)9783642208942
We present an initial exploration into the possibilities of applying current state-of-the-art answer set programming (ASP) tools-esp. conflict-driven answer set enumeration-for mining itemsets in 0-1 data. We evaluate a simple ASP-based approach experimentally and compare it to a recently proposed framework exploiting constraint programming (CP) solvers for itemset mining.
Equilibrium logic provides a logical foundation for the stable model semantics of logic programs. Recently, parametrized logicprogramming was introduced withthe aim of presenting the syntax and natural semantics for...
详细信息
ISBN:
(纸本)9783642208942
Equilibrium logic provides a logical foundation for the stable model semantics of logic programs. Recently, parametrized logicprogramming was introduced withthe aim of presenting the syntax and natural semantics for parametrized logic programs, which are very expressive logic programs, in the sense that complex formulas are allowed to appear in the body and head of rules. Stable model semantics was defined for such parametrized logic programs. the aim of this paper is to introduce a parametrized version of equilibrium logicthat extends parametrized logic programs to general theories, and to show how these can be used to characterize and to study strong equivalence of temporal logic programs.
We describe an approach for distributed access control policies that is based on a nonmonotonic semantics and the use of logicprogramming for policy specification and the evaluation of access requests. Our approach a...
详细信息
ISBN:
(纸本)9783642208942;9783642208959
We describe an approach for distributed access control policies that is based on a nonmonotonic semantics and the use of logicprogramming for policy specification and the evaluation of access requests. Our approach allows assertions of relevance to access control to be made by individual agents or on a community-based level and different strengths of testimonial warrant may be distinguished by using various logical operators. We describe a form of ASP that allows for remote access request evaluation and we discuss a DLV-based implementation of our approach.
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal...
详细信息
ISBN:
(纸本)9783642208942
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. Withthis, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving. Finally, we describe the implementation of a reactive ASP solver, oclingo.
暂无评论