the proceedings contain 42 papers. the special focus in this conference is on Descriptive Complexity, Semantics, Higher-Order Programs and Modal logics. the topics include: Local reasoning about programs that alter da...
ISBN:
(纸本)3540425543
the proceedings contain 42 papers. the special focus in this conference is on Descriptive Complexity, Semantics, Higher-Order Programs and Modal logics. the topics include: Local reasoning about programs that alter data structures;from the rules of logic to the logic of rules;the expressive power of horn monadic linear logic;quadratic correctness criterion for non-commutative logic;an algebraic foundation for Higraphs;semantic characterisations of second-order computability over the real numbers;an improved extensionality criterion for higher-order logic programs;a logic for abstract state machines;modal logic and the two-variable fragment;a logic for approximate first-order reasoning;categorical and kripke semantics for constructive s4 modal logic;labelled natural deduction for interval logics;decidable navigation logics for object structures;the decidability of model checking mobile ambients;an effective extension of the Wagner hierarchy to blind counter automata;decision procedure for an extension of ws1s;limiting partial combinatory algebras towards infinitary lambda-calculi and classical logic;well-founded recursive relations;uniform derivation of decision procedures by superposition;equational tree automata for associative and commutative theories;recursion for higher-order encodings and monotone inductive and coinductive constructors of rank 2.
作者：
Otero, Ramon P.AI Lab.
Dept. of Computer Science University of Corunna 15071 Corunna Galicia Spain
the characterization of stable models using the monotonic logic of pertinence helps identifying program transformations leading to a new normal form of programs. this provides an alternative view on automated reasonin...
详细信息
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the rules and rather general connectives in...
详细信息
Unification of concept descriptions was introduced by Baader and Narendran as a tool for detecting redundancies in knowledge bases. It was shown that unification in the small description logic FL0, which allows for co...
详细信息
We present a simple method for eliminating redundant searches in model generation. the method employs Boolean Constraints which are conjunctions of ground instances of clauses having participated in proofs. Boolean Co...
详细信息
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reached about which semantics is the most...
详细信息
We introduce a logic for sequential, non distributed Abstract State Machines. Unlike other logics for ASMs which are based on dynamic logic, our logic is based on atomic propositions for the function updates of transi...
详细信息
I report about a particular approach to heterogenous agent systems, IMPACT, which is strongly related to computational logic. the underlying methods and techniques stem from both non-monotonic reasoning and logic prog...
详细信息
We describe an extension of Hoare’s logic for reasoning about programs that alter data structures. We consider a low-level storage model based on a heap with associated lookup, update, allocation and deallocation ope...
详细信息
Finite failure of computations plays an important role as programming construct in the logicprogramming paradigm, and it has been shown that this also extends to the case of the functional logicprogramming paradigm....
详细信息
暂无评论