the proceedings contain 6 papers. the topics discussed include: on building a competitive comformant planner;a preference meta-model for logic programs with possibilistic ordered disjunction;a framework for programmin...
the proceedings contain 6 papers. the topics discussed include: on building a competitive comformant planner;a preference meta-model for logic programs with possibilistic ordered disjunction;a framework for programming with module consequences;a pragmatic programmer's guide for answer set programming;yet another modular action language;and a visual tracer for DLV.
the proceedings contain 65 papers. the topics discussed include: logic-based modeling in systems biology;integrating answer set programming and satisfiability modulo theories;splitting a CR-prolog pro;contextual argum...
ISBN:
(纸本)3642042376
the proceedings contain 65 papers. the topics discussed include: logic-based modeling in systems biology;integrating answer set programming and satisfiability modulo theories;splitting a CR-prolog pro;contextual argumentation in ambient intelligence;argumentation context systems: a framework for abstract group argumentation;a revised concept of safety for general answer set programs;magic sets for the bottom-up evaluation of finitely recursive programs;relevance-driven evaluation of modular nonmonotoniclogic programs;complexity of the stable model semantics for queries on incomplete databases;manifold answer-set programs for meta-reasoning;computing stable models through reductions to difference logic;module-based framework for multi-language constraint modeling;and induction on failure: learning connected horn theories.
ErgoAI (abbr. Ergo) is a high level, multi-paradigm logicprogramming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular Flora-2 system. Ergo is oriented to...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
ErgoAI (abbr. Ergo) is a high level, multi-paradigm logicprogramming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular Flora-2 system. Ergo is oriented towards scalable knowledge representation and reasoning, and can exploit both structured knowledge as well as knowledge derived from external sources such as vector embeddings. From the start, Ergo (and Flora-2 before it) were designed to exploit the well-founded semantics for reasoning in a multi-paradigm environment, including object-based logic (F-logic) with non-monotonic inheritance;higher order syntax in the style of HiLog;defeasibility of rules;semantically clean transactional updates;and extensive use of subgoal delay for better logical behavior and performance. Although Ergo programs are compiled into XSB and adopt many Prolog features, Ergo is altogether a different language with functionality equivalent to major Prologs.
this paper reports oil the Second Answer Set programming Competition. the competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be...
详细信息
ISBN:
(纸本)9783642042379
this paper reports oil the Second Answer Set programming Competition. the competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be a strong driving force for a community to develop better performing systems. Following this experience, the Answer Set programming competition series was set up in 2007, and ran as part of the internationalconference oil logicprogramming and nonmonotonicreasoning (lpnmr). this second competition, held in conjunction with lpnmr 2009, differed from the first one in two important ways. First, while the original competition was restricted to systems designed for the answer set programming language, the sequel was open to systems designed for other modeling languages, as well. Consequently, among the contestants of the second competition were a CLP(FD) team and three model generation systems for (extensions of) classical logic. Second, this latest competition covered not only satisfiability problems but also optimization ones. We present and discuss the set-up and the results of the competition.
this volume contains the proceedings of the 10th international conference on logic programming and nonmonotonic reasoning (lpnmr2009), held during September 14–18, 2009 in Potsdam, Germany. lpnmr is a forum for exch...
详细信息
ISBN:
(数字)9783642042386
ISBN:
(纸本)9783642042379
this volume contains the proceedings of the 10th international conference on logic programming and nonmonotonic reasoning (lpnmr2009), held during September 14–18, 2009 in Potsdam, Germany. lpnmr is a forum for exchanging ideas on declarative logicprogramming, nonmonotonicreasoning and knowledge representation. the aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonicreasoning. lpnmr strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. the special theme of lpnmr 2009 was “Applications of logic Progr- ming and nonmonotonicreasoning” in general and “Answer Set programming (ASP)” in particular. lpnmr 2009 aimed at providing a comprehensive survey of the state of the art of ASP/lpnmr applications. the special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/lpnmr applications, we solicited contributions providing an overview of existing successful applications of ASP/lpnmr systems. the presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/lpnmr.
this paper introduces a novel monotonic modal logic, able to characterise reflexive autoepistemic reasoning of the nonmonotonic variant of modal logic SW5: we add a second new modal operator into the original language...
详细信息
ISBN:
(纸本)9783319616605;9783319616599
this paper introduces a novel monotonic modal logic, able to characterise reflexive autoepistemic reasoning of the nonmonotonic variant of modal logic SW5: we add a second new modal operator into the original language of SW5, and show that the resulting formalism called MRAE* is strong enough to capture the minimal model notion underlying some major forms of nonmonotoniclogic among which are autoepistemic logic, default logic, and nonmonotoniclogicprogramming. the paper ends with a discussion of a general strategy, naturally embedding several nonmonotoniclogics of similar kinds.
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement-the Layer Supported Models semantics-which, besides keeping all of LMs' properties, furthermore respects the Well-...
详细信息
We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction.
ISBN:
(纸本)9783642405648
We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction.
this note summarizes the use of Answer Set programming to solve various computational problems to inter phylogenetic trees and phylogenetic networks, and discusses its applicability and effectiveness on some real taxa.
ISBN:
(纸本)9783642042379
this note summarizes the use of Answer Set programming to solve various computational problems to inter phylogenetic trees and phylogenetic networks, and discusses its applicability and effectiveness on some real taxa.
We present the first version of our ASP solver ASPeRiX that implements a new approach of answer set computation. the main specifity of our system is to realize a forward chaining of first order rules that are grounded...
详细信息
暂无评论