We introduce a representation of agents by means of theories, and a cortmaunication among agents based on reflection, within the metalogicprogramming paradigm. The semantics of these features is shown to be the class...
详细信息
作者:
Wiggins, Geraint ADREAM Group
Department of Artificial Intelligence University of Edinburgh 80 South Bridge EdinburghEH1 1HN United Kingdom
I discuss issues of control and floundering during execution of automatically synthesised logic programs. The process of program synthesis can be restricted, without loss of generality, so that the only negated calls ...
详细信息
This paper describes the results of an experiment in the use of the Gödel logicprogramming language for object-oriented programming. An object-oriented program is implemented in Gödel at two levels. First, ...
详细信息
We use metalogic to define a suitable notion of module in logicprogramming. A module is viewed as a pair of logic programs, corresponding to the visible and the hidden part of the module, respectively. The constructi...
详细信息
We study a semantics for untyped, vanilla meta-programs, using the non-ground representation for object level variables. We introduce the notion of language independence for definite programs, which generalises range ...
详细信息
In the logicprogramming community, the concept of interargument relation, that is, the relation that holds between the size of the arguments of a procedure, appears in numerous works on termination proofs for logic p...
详细信息
Most frameworks for abstract interpretation of logic programs provide abstract operations which safely approximate their concrete counterpart. That means, given a concrete state ,.q described by an abstract state AS a...
详细信息
Specifying efficient evaluation strategies by meta-interpreters, and then eliminating the interpretation overhead by partial evaluation with respect to given object programs, is an elegant technique for the transforma...
详细信息
We present a general introduction to termination analysis for logic programs, with focus on universal termination of SLD-derivations and on definite programs. We start by providing a generic definition of the terminat...
详细信息
The proceedings contain 44 papers. The special focus in this conference is on Computer Aided Verification. The topics include: Taming infinite state spaces;branching bisimilarity is decidable for context-free processe...
ISBN:
(纸本)9783540551799
The proceedings contain 44 papers. The special focus in this conference is on Computer Aided Verification. The topics include: Taming infinite state spaces;branching bisimilarity is decidable for context-free processes;computing distinguishing formulas for branching bisimulation;compositional checking of satisfaction;an action based framework for verifying logical and behavioural properties of concurrent systems;a linear-time model-checking algorithm for the alternation-free modal mu-calculus;automatic temporal verification of buffer systems;mechanically checked proofs of kernel specifications;a top down approach to the formal specification of SCI cache coherence;integer programming in the analysis of concurrent systems;the lotos model of a fault protected system and its verification using a petri net based approach;error diagnosis in finite communicating systems;temporal precondition verification of design transformations;a process algebra manipulator;the concurrency workbench with priorities;a proof assistant for PSF;avoiding state explosion by composition of minimal covering graphs;bounded-memory algorithms for verification on-the-fly;generating BDDs for symbolic model checking in CCS;vectorized symbolic model checking of computation tree logic for sequential machine verification;functional extension of symbolic model checking;an automated proof technique for finite-state machine equivalence;from data structure to process structure;checking for language inclusion using simulation preorders;a semantic driven method to check the fineteness of CCS processes and using the HOL prove assistant for proving the correctness of term rewriting rules reducing terms of sequential behaviour.
暂无评论