the proceedings contain 44 papers. the special focus in this conference is on logicprogramming. the topics include: Representing arithmetic constraints with finite automata;logic databases on the semantic web;an abdu...
ISBN:
(纸本)3540439307
the proceedings contain 44 papers. the special focus in this conference is on logicprogramming. the topics include: Representing arithmetic constraints with finite automata;logic databases on the semantic web;an abductive approach for analysing event-based requirements specifications;trailing analysis for HAL;access control for deductive databases by logicprogramming;reasoning about actions with CHRs and finite domain constraints;using hybrid concurrent constraint programming to model dynamic biological systems;efficient real-time model checking using tabled logicprogramming and constraints;constraint-based infinite model checking and tabulation for stratified CLP;a model theoretic semantics for multi-level secure deductive databases;propagation completeness of reactive constraints;on enabling the WAM with region support;a different look at garbage collection for the WAM;logical algorithms;learning in logic with richprolog;towards a declarative query and transformation language for XML and semistructured data;a proof-theoretic foundation for tabled higher-order logicprogramming;proving the equivalence of CLP programs;a purely logical account of sequentiality in proof search;disjunctive explanations;computing stable models;towards local search for answer sets;a rewriting method for well-founded semantics with explicit negation;embedding defeasible logic into logic programs;a polynomial translation of logic programs with nested expressions into disjunctive logic programs;using logicprogramming to detect activities in pervasive healthcare;logicprogramming for software engineering;a logic-based system for application integration;the limits of horn logic programs and multi-adjoint logicprogramming.
the proceedings contain 41 papers. the topics discussed include: representing arithmetic constraints with finite automata: an overview;logic databases on the semantic web: challenges and opportunities;an abductive app...
ISBN:
(纸本)3540439307
the proceedings contain 41 papers. the topics discussed include: representing arithmetic constraints with finite automata: an overview;logic databases on the semantic web: challenges and opportunities;an abductive approach for analyzing event-based requirements specifications;access control for deductive databases by logicprogramming;using hybrid concurrent constraint programming to model dynamic biological systems;efficient real-time model checking using tabled logicprogramming and constraints;a model theoretic semantics for multi-level secure deductive databases;propagation completeness of reactive constraints;towards a declarative query and transformation language for XML and semistructured data: simulation unification;a proof-theoretic foundation for tabled higher-order logicprogramming;and a purely logical account of sequentiality in proof search.
the main track of the thirty Second internationalconference on logicprogramming (iclp) took place in New York City, USA, from the 18th to the 21st October 2016. It seems fitting to hold a significant, power of two, ...
the main track of the thirty Second internationalconference on logicprogramming (iclp) took place in New York City, USA, from the 18th to the 21st October 2016. It seems fitting to hold a significant, power of two, iclp in New York because the city has a long and distinguished association withlogicprogramming: XSB was developed at Stony Brook, as was HiLog before that, and SB-Prolog before that. Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logicprogramming-based systems, such as Ergo. New York has also been (and is) the cradle of several start-ups based on logicprogramming.
the proceedings contain 34 papers. the topics discussed include: automatic inference of resource consumption bounds;matrix interpretations for polynomial derivational complexity of rewrite systems;parameterized comple...
ISBN:
(纸本)9783642287169
the proceedings contain 34 papers. the topics discussed include: automatic inference of resource consumption bounds;matrix interpretations for polynomial derivational complexity of rewrite systems;parameterized complexity and fixed-parameter tractability of description logic reasoning;enfragmo: a system for modeling and solving search problems withlogic;automated and human proofs in general mathematics: an initial comparison;lazy abstraction with interpolants for arrays;backward trace slicing for conditional rewrite theories;forgetting for defeasible logic;solving language equations and disequations with applications to disunification in description logics and monadic set constraints;dual-priced modal transition systems with time durations;finding finite herbrand models;and monitor-based statistical model checking for weighted metric temporal logic.
the proceedings contain 19 pages. the topics discussed include: declaratively querying and visualizing knowledge bases in XML;incremental learning of transfer rules for customized machine translation;an evaluation of ...
详细信息
ISBN:
(纸本)3540255605
the proceedings contain 19 pages. the topics discussed include: declaratively querying and visualizing knowledge bases in XML;incremental learning of transfer rules for customized machine translation;an evaluation of a rule based language for classification queries;mining semantic structures in movies;solving alternating boolean equation systems in answer set programming;effective modeling with constraints;a local search system for solving constraint problems of declarative graph based global constraints;realizing the alternative resources constraint;distributed constraint-based railway simulation;concurrent engineering to wisdom engineering;and a pragmatic approach to pre-testing Prolog programs.
the proceedings contain 20 papers. the topics discussed include: building theories of the world: human and machine learning perspectives;SRL without tears: an ILP perspective;semantic web meets ILP: unconsumated love,...
ISBN:
(纸本)3540859276
the proceedings contain 20 papers. the topics discussed include: building theories of the world: human and machine learning perspectives;SRL without tears: an ILP perspective;semantic web meets ILP: unconsumated love, or no love lost?;learning expressive models of gene regulation;information overload and FP7 funding opportunities in 2009-10;a model to study phase transition and plateaus in relational learning;top-down induction of relational model trees in multi-instance learning;challenges in relational learning for real-time systems applications;discriminative structure learning of Markov logic networks;an experiment in robot discovery with ILP;using the bottom clause and mode declarations on FOL theory revision from examples;DL-FOIL: concept learning in description logics;feature discovery with type extension trees;and feature construction using theory-guided sampling and randomised search.
the proceedings contain 17 papers. the topics discussed include: model checking BDI logics over finite-state worlds;in silico clinical trials through AI and statistical model checking;automated verification of noisy n...
the proceedings contain 17 papers. the topics discussed include: model checking BDI logics over finite-state worlds;in silico clinical trials through AI and statistical model checking;automated verification of noisy nonlinear cyber-physical systems with Ariadne;towards the automated verification of publish/subscribe networks;verification with answer set programming, reasoning about actions and change, constraints and ontologies;pushing runtime verification to the limit: may process semantics be with us;robustness verification of decision tree ensembles;pairing monitoring with machine learning for smart system verification and predictive maintenance;and a prototype for the robust execution of flexible plans.
暂无评论