the proceedings contain 7 papers. the topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics...
the proceedings contain 7 papers. the topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics and machine learning for the semantic web;a semantic stateless service description language;large scale reasoning on the semantic web;and reasoning on the web with open and closed predicates.
the proceedings contain 90 papers. the special focus in this conference is on Foundations, Developments, and Applications in the Area of logicprogramming. the topics include: the life of a logicprogramming system;un...
ISBN:
(纸本)9783540899815
the proceedings contain 90 papers. the special focus in this conference is on Foundations, Developments, and Applications in the Area of logicprogramming. the topics include: the life of a logicprogramming system;uniting the prolog community;constraint handling rules;authorization and obligation policies in dynamic systems;a tour from theory and research to applications and market;using answer set programming for knowledge representation and reasoning;building a knowledge base system for an integration of logicprogramming and classical logic;answer set programming without unstratified negation;equivalences in answer-set programming by countermodels in the logic of here-and-there;dynamic programming algorithms as products of weighted logic programs;detecting inconsistencies in large biological networks with answer set programming;a logicprogramming approach to home monitoring for risk prevention in assisted living;automatic composition of melodic and harmonic music by answer set programming;on the continuity of gelfond-lifschitz operator and other applications of proof-theory in asp;a declarative theorem prover for first-order classical logic;towards ludics programming: interactive proof search;a folding algorithm for eliminating existential variables from constraint logic programs;dynamic analysis of bounds versus domain propagation;compiling fuzzy answer set programs to fuzzy propositional theories;partial functions and equality in answer set programming;composing normal programs with function symbols;verification from declarative specifications using logicprogramming;transactions in constraint handling rules;an implementation of ACD term rewriting and quantified equilibrium logic and foundations for answer set programs.
the proceedings contain 69 papers. the topics discussed include: the life of a logicprogramming system;uniting the Prolog community;constraint handling rules: a tutorial for (Prolog) programmers;back to interval temp...
ISBN:
(纸本)3540899812
the proceedings contain 69 papers. the topics discussed include: the life of a logicprogramming system;uniting the Prolog community;constraint handling rules: a tutorial for (Prolog) programmers;back to interval temporal logics;systems biology: models and logics;separation logic tutorial;authorization and obligation policies in dynamic systems;twelve definitions of a stable model;sixty years of stable models;the DLV project: a tour from theory and research to applications and market;detecting inconsistencies in large biological networks with answer set programming;a logicprogramming approach to home monitoring for risk prevention in assisted living;automatic composition of Melodic and harmonic music by answer set programming;and Lparse programs revisited: semantics and representation of aggregates.
the iclp series of conferences provides a technical forum for presenting and disseminating innovative research in the field of logicprogramming. the 24th international conference on logic programming took place from ...
the iclp series of conferences provides a technical forum for presenting and disseminating innovative research in the field of logicprogramming. the 24th international conference on logic programming took place from December 9???13, 2008 in the city of Udine, Italy. the conference attracted 177 submissions and featured a high-quality program focused on the foundations, developments, and applications of logicprogramming. Of particular significance was the special session celebrating the 20th anniversary of the seminal paper on the stable model semantics. [PUBLICATION ABSTRACT]
We are proud to introduce this special issue of the Journal of theory and Practice of logicprogramming (TPLP), dedicated to the full papers accepted for the 28thinternationalconference on logicprogramming (iclp). ...
详细信息
We are proud to introduce this special issue of the Journal of theory and Practice of logicprogramming (TPLP), dedicated to the full papers accepted for the 28thinternationalconference on logicprogramming (iclp). the iclp meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logicprogramming.
the proceedings contain 24 papers. the topics discussed include: epistemic logic programs with world view constraints;cumulative scoring-based induction of default theories;introspecting preferences in answer set prog...
ISBN:
(纸本)9783959770903
the proceedings contain 24 papers. the topics discussed include: epistemic logic programs with world view constraints;cumulative scoring-based induction of default theories;introspecting preferences in answer set programming;improving candidate quality of probabilistic logic models;towards incremental and modular context-sensitive analysis;declarative algorithms in datalog with extrema: their formal semantics simplified;towards static performance guarantees for programs with run-time checks;learning commonsense knowledge through interactive dialogue;application of logic-based methods to machine component design;and explanations generation for web service workflow.
this book constitutes the thoroughly refereed post-conference proceedings of the 24thinternationalconference on Inductive logicprogramming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers ...
ISBN:
(纸本)9783319237077
this book constitutes the thoroughly refereed post-conference proceedings of the 24thinternationalconference on Inductive logicprogramming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers presented were carefully reviewed and selected from 41 submissions. the papers focus on topics such as the inducing of logic programs, learning from data represented withlogic, multi-relational machine learning, learning from graphs, and applications of these techniques to important problems in fields like bioinformatics, medicine, and text mining.
the proceedings contain 14 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Reframing on relational data;inductive learning using constraint-driven bias;nonmonotonic ...
ISBN:
(纸本)9783319237077
the proceedings contain 14 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Reframing on relational data;inductive learning using constraint-driven bias;nonmonotonic learning in large biological networks;construction of complex aggregates with random restart hill-climbing;logical minimisation of meta-rules within meta-interpretive learning;goal and plan recognition via parse trees using prefix and infix probability computation;effectively creating weakly labeled training examples via approximate domain knowledge;learning prime implicant conditions from interpretation transition;statistical relational learning for handwriting recognition;the most probable explanation for probabilistic logic programs with annotated disjunctions;towards machine learning of predictive models from ecological data;pagerank, proPPR, and stochastic logic programs;complex aggregates over clusters of elements and on the complexity of frequent subtree mining in very simple structures.
暂无评论