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.
Highlights the Fourthinternationalconference on logicprogramming and Nonmonotic reasoning in Dagstuhl, Germany. Participants of the conference; Presentation of several systems descriptions; Implementation of logic ...
详细信息
Highlights the Fourthinternationalconference on logicprogramming and Nonmonotic reasoning in Dagstuhl, Germany. Participants of the conference; Presentation of several systems descriptions; Implementation of logicprogramming systems during the conference.
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 LPNMR conferences 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.
the proceedings contain 33 papers from logicprogramming and nonmonotonicreasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logicprogramming;probabilistic reason...
详细信息
the proceedings contain 33 papers from logicprogramming and nonmonotonicreasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logicprogramming;probabilistic reasoning with answer sets;answer sets: from constraint programming towards qualitative optimization;a logic of non-monotonic inductive definitions and its modularity properties, and reasoning about actions and change in answer set programming.
logicprogramming and nonmonotonicreasoning : 7thinternationalconference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings by Lpnmr 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Nie...
详细信息
logicprogramming and nonmonotonicreasoning : 7thinternationalconference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings by Lpnmr 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Niemelä, Ilkka, 1961-; published by Berlin ; New York : Springer
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Fixed parameter complexity in AI and nonmonotonicreasoning;classifying s...
ISBN:
(纸本)3540667490
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Fixed parameter complexity in AI and nonmonotonicreasoning;classifying semi-normal default logic on the basis of its expressive power;locally determined logic programs;annotated revision programs;belief, knowledge, revisions, and a semantics of non-monotonic reasoning;an argumentation framework for reasoning about actions and changes;representing transition systems by logic programs;transformations of logic programs related to causality and planning;from causal theories to logic programs;monotone expansion of updates in logical databases;updating extended logic programs through abduction;pushing goal derivation in DLP computations;linear tabulated resolution for well founded semantics;minimal founded semantics for disjunctive logicprogramming;on the role of negation in choice logic programs;approximating reiter’s default logic;coherent well-founded annotated logic programs;many-valued disjunctive logic programs with probabilistic semantics;extending disjunctive logicprogramming by T-norms;extending the stable model semantics with more expressive rules;stable model semantics for weight constraint rules;towards first-order nonmonotonicreasoning;comparison of sceptical NAF-free logicprogramming approaches;characterizations of classes of programs by three-valued operators;using LPNMR for problem specification and code generation;answer set planning;world-modeling vs. world-axiomatizing and extended inheritance techniques to solve real-world problems.
the proceedings contain 39 papers. the topics discussed include: nonmonotonicreasoning in FLORA-2;data integration and answer set programming;unfounded sets for disjunctive logic programs with arbitrary aggregates;on...
详细信息
ISBN:
(纸本)3540285385
the proceedings contain 39 papers. the topics discussed include: nonmonotonicreasoning in FLORA-2;data integration and answer set programming;unfounded sets for disjunctive logic programs with arbitrary aggregates;on modular translations and strong equivalence;guarded open answer set programming;external sources of computation for answer set solvers;answer sets for propositional theories;on the local closed-world assumption of data-sources;game-theoretic reasoning about actions in nonmonotic causal theories;some logical properties of nonmonotic causal theories;solving hard ASP programs efficiently;mode-directed fixed point computation;nested epistemic logic programs;and a social semantics for multi-agent systems.
暂无评论