the proceedings contain 48 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets log...
ISBN:
(纸本)9783319232638
the proceedings contain 48 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets logic;relational and semantic data mining;shift design with answer set programming;advances in WASP;improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics;integrating ASP into ROS for reasoning in robots;automated inference of rules with exception from past legal cases using ASP;solving constraint satisfaction problems with answer set programming;a theory of intentions for intelligent agents;answer set programming modulo acyclicity;a framework for goal-directed query evaluation with negation;implementing preferences with asprin;diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP;performance tuning in answer set programming;enablers and inhibitors in causal justifications of logic programs;efficient problem solving on tree decompositions using binary decision diagrams;knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments;a formal theory of justifications;a new computational logic approach to reason with conditionals;interactive debugging of non-ground ASP programs;linking open-world knowledge bases using nonmonotonic rules;ASP, amalgamation, and the conceptual blending workflow;diagnostic reasoning for robotics using action languages;connecting object-oriented and logicprogramming;reasoning with forest logic programs using fully enriched automata;ASP solving for expanding universes and combining heuristics for configuration problems using answer set programming;infinitary equilibrium logic and strong equivalence and compacting boolean formulae for inference in probabilistic logicprogramming.
this volume contains the refereed proceedings of the 13th international conference on logic programming and nonmonotonic reasoning, 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 13th international conference on logic programming and nonmonotonic reasoning, 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 13th international conference on logic programming and nonmonotonic reasoning, lpnmr 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
详细信息
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638
this volume contains the refereed proceedings of the 13th international conference on logic programming and nonmonotonic reasoning, 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.
Answer Set programming (ASP) is a well-known paradigm of declarative programming with roots in logicprogramming and non-monotonic reasoning. Similar to other closely-related problemsolving technologies, such as SAT/S...
详细信息
My work on PhD thesis consists in nonmonotonicreasoning about spatial relations and how they change in time. Although there are several approaches concerning this topic, to the best of my knowledge, there is no gener...
详细信息
Sequent-type proof systems constitute an important and widely-used class of calculi well-suited for analysing proof search. In this paper, we introduce a sequent-type calculus for a variant of default logic employing ...
详细信息
ISBN:
(纸本)9783030205287;9783030205270
Sequent-type proof systems constitute an important and widely-used class of calculi well-suited for analysing proof search. In this paper, we introduce a sequent-type calculus for a variant of default logic employing Lukasiewicz's three-valued logic as the underlying base logic. this version of default logic has been introduced by Radzikowska addressing some representational shortcomings of standard default logic. More specifically, our calculus axiomatises brave reasoning for this version of default logic, following the sequent method first introduced in the context of nonmonotonicreasoning by Bonatti, which employs a complementary calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults.
We present a new approach to evaluate conditionals in human reasoning. this approach is based on the weak completion semantics which has been successfully applied to adequately model various other human reasoning task...
详细信息
this work makes an overview on an hybrid formalism that combines the syntax of Linear-time Temporal logic (LTL) with a nonmonotonic selection of models based on Equilibrium logic. the resulting approach, called Tempor...
详细信息
暂无评论