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 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.
this special issue includes a selection of the artefacts presented at the 18thinternational Federated conference on Distributed Computing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portug...
详细信息
this special issue includes a selection of the artefacts presented at the 18thinternational Federated conference on Distributed Computing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portugal), in June 18-23, 2023. the federated conference included: COORDINATION 2023, the 25thinternationalconference on Coordination Models and Languages);DAIS 2023, the 23rd internationalconference on Distributed Applications and Interoperable Systems;and FORTE 2023, the 43rd internationalconference on Formal Techniques for Distributed Objects, Components, and Systems. All the three conferences welcomed submissions describing technological artefacts, including innovative prototypes supporting the modelling, development, analysis, simulation, or testing of systems in the broad spectrum of distributed computing subjects. the artefact evaluation chairs have selected a subset of high- quality accepted artefacts to be invited for submission to this special issue. Following the revision process, nine artefacts have been accepted to be part of this special issue. the published contributions include different types of artefacts, including programming libraries, frameworks, as well as tools for the analysis, verification, and simulation of distributed systems.
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.
暂无评论