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.
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.
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs...
ISBN:
(纸本)3540425934
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs reasoning;nonmonotonic inductive logicprogramming;on the effect of default negation on the expressiveness of disjunctive rules;on the expressibility of stable logicprogramming;on the relationship between defeasible logic and well-founded semantics;a comparative study of well-founded semantics for disjunctive logic programs;reasoning with open logic programs;representation of incomplete knowledge by induction of default theories;explicitly using default knowledge in concept learning: an extended description logics plus strict and default rules;declarative specification and solution of combinatorial auctions using logicprogramming;and planning with different forms of domain-dependent control knowledge - an answer set programming approach.
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.
暂无评论