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 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 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.
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.
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 ...
ISBN:
(数字)9783642405648
ISBN:
(纸本)9783642405631;9783642405648
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logicprogramming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.
In recent years, the advancement of AI has been primarily driven by neural networks, which, despite their success, pose challenges in terms of explainability and high-power consumption. Genetic programming (GP) offers...
详细信息
暂无评论