the proceedings contain 50 papers. the special focus in this conference is on logicprogramming. the topics include: Achieving type safety for low-level code;logic information systems for logic programmers;a logic pro...
ISBN:
(纸本)3540206426
the proceedings contain 50 papers. the special focus in this conference is on logicprogramming. the topics include: Achieving type safety for low-level code;logic information systems for logic programmers;a logicprogramming view of authorization in distributed systems;compositional verification of infinite state systems;a constraint-based approach to structure prediction for simplified protein models that outperforms other existing methods;concurrency, time, and constraints;symbolic model-checking for biochemical systems;component-based software development and logicprogramming;a tutorial on proof theoretic foundations of logicprogramming;handling existential derived predicates in view updating;efficient evaluation of logic programs for querying data integration systems;argumentation databases;order and negation as failure;computing minimal models, stable models, and answer sets;uniform equivalence of logic programs under the stable model semantics;answer set programming phase transition;termination analysis with types is more accurate;a propagation tracer for gnu-prolog;implementing constraint propagation by composition of reductions;forward versus backward verification of logic programs;native preemptive threads in SWI-prolog;declarative concurrency for java and on the complexity of dependent and-parallelism in logicprogramming.
the proceedings contain 47 papers. the topics discussed include: achieving type safety for low-level code;logic information systems for logic programmers;a logicprogramming view of authorization in distributed system...
the proceedings contain 47 papers. the topics discussed include: achieving type safety for low-level code;logic information systems for logic programmers;a logicprogramming view of authorization in distributed systems;a constraint-based approach to structure prediction for simplified protein models that outperforms other existing methods;concurrency, time, and constraints;a tutorial on proof theoretic foundations of logicprogramming;handling existential derived predicates in view updating;efficient evaluation of logic programs for querying data integration systems;argumentation databases;order and negation as failure;computing minimal models, stable models, and answer sets;uniform equivalence of logic programs under the stable model semantics;and answer set programming phase transition: a study on randomly generated programs.
the proceedings contain 15 papers. the topics discussed include: encoding choice logics in ASP;determining action reversibility in STRIPS using answer set programming;solving assembly line workload smoothing problem v...
the proceedings contain 15 papers. the topics discussed include: encoding choice logics in ASP;determining action reversibility in STRIPS using answer set programming;solving assembly line workload smoothing problem via answer set programming;a multi-shot ASP encoding for the aircraft routing and maintenance planning problem;action languages and COVID-19: lessons learned;causal analysis of events occurring in trajectories of dynamic domains;operationalizing declarative and procedural knowledge: a benchmark on logicprogramming Petri Nets (LPPNs);actual causality in contextual abduction;and dynamic epistemic logic with ASP updates: application to conditional planning.
the proceedings contain 21 papers. the special focus in this conference is on Invited Talks, Languages, Answer-Set programming and Abductive Reasoning, Semantics, Constraints and logicprogramming, Answer-Set Programm...
ISBN:
(纸本)9783642415234
the proceedings contain 21 papers. the special focus in this conference is on Invited Talks, Languages, Answer-Set programming and Abductive Reasoning, Semantics, Constraints and logicprogramming, Answer-Set programming and Model Expansion and WLP System Descriptions. the topics include: the IMPL policy language for managing inconsistency in multi-context systems;the parameterized complexity of constraint satisfaction and reasoning;translating nondeterministic functional language based on attribute grammars into java;sensitivity analysis for declarative relational query languages with ordinal ranks;a uniform fixpoint approach to the implementation of inference methods for deductive databases;translating answer-set programs into bit-vector logic;making use of advances in answer-set programming for abstract argumentation systems;confidentiality-preserving publishing of EDPs for credulous and skeptical users;every formula-based logic program has a least infinite-valued model;descriptive approach to preferred answer sets;solving modular model expansion: case studies;a constraint-based interactive product configurator;HEX-programs with nested program calls;a prototype of a knowledge-based programming environment;an IDE for answer-set programming-preliminary report;a system for visualising and visual editing of interpretations for answer-set programsa and unit testing in ASPIDE.
the proceedings contain 24 papers. the topics discussed include: knowledge-directed theory revision;towards clausal discovery for stream mining;on the relationship between logical Bayesian networks and probabilistic l...
ISBN:
(纸本)364213839X
the proceedings contain 24 papers. the topics discussed include: knowledge-directed theory revision;towards clausal discovery for stream mining;on the relationship between logical Bayesian networks and probabilistic logicprogramming based on the distribution semantics;induction of relational algebra expressions;a logic-based approach to relation extraction from texts;discovering rules by meta-level abduction;inductive generalization of analytically learned goal hierarchies;nonmonotonic onto-relational learning;cp-logictheory inference with contextual variable elimination and comparison to BDD based inference methods;speeding up inference in statistical relational learning by clustering similar query literals;an inductive logicprogramming approach to validate hexose binding biochemical knowledge;boosting first-order clauses for large, skewed data sets;and transfer learning via relational templates.
the proceedings contain 52 papers. the topics discussed include: an algorithm for enumerating maximal models of horn theories with an application to modal logics;may-happen-in-parallel analysis for priority-based sche...
ISBN:
(纸本)9783642452208
the proceedings contain 52 papers. the topics discussed include: an algorithm for enumerating maximal models of horn theories with an application to modal logics;may-happen-in-parallel analysis for priority-based scheduling;a semantic basis for proof queries and transformations;expressive path queries on graphs with data;dynamic and static symmetry breaking in answer set programming;resourceful reachability as HORN-LA;comparison of LTL to deterministic Rabin automata translators;towards rational closure for fuzzy logic: the case of propositional Gödel logic;multi-objective discounted reward verification in graphs and MDPs;complexity analysis in presence of control operators and higher-order functions;Zenon Modulo: when Achilles outruns the tortoise using deduction modulo;long-distance resolution: proof generation and strategy extraction in search-based QBF solving;and a proof of strong normalisation of the typed atomic lambda-calculus.
the semantics of logics is based on valuations that map variables to values, while programming languages cannot store complex values atomically. they have a pointer semantics where complex data is stored on the heap, ...
详细信息
ISBN:
(纸本)9783031765537;9783031765544
the semantics of logics is based on valuations that map variables to values, while programming languages cannot store complex values atomically. they have a pointer semantics where complex data is stored on the heap, linked with pointers. the standard approach to bridge the semantic gap between algebraic specifications and executable programs is to translate algebraic data types, recursive definitions and programs to functional code with immutable data types. Since functional programs are often less efficient than C programs due to the lack (or limited use) of mutation and the requirement of using garbage collection, we develop a different approach in this paper that is based on always mutating data structures but keeping different ones disjoint. the approach generates efficient C programs from the specifications, which have a pointer semantics and explicitly allocate and free memory on the heap. Formal specifications are given for the semantics of a core source and target language that allow to demonstrate the main transformations necessary and prove their correctness. the approach has been implemented for the full language and produces working C code.
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, ...
ISBN:
(数字)9783642415241
ISBN:
(纸本)9783642415234;9783642415241
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, held in Vienna, Austria, in September 2011. the 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. the book also contains the papers of two invited talks. the papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logicprogramming; answer-set programming and model expansion; application papers; and system descriptions.
暂无评论