When viewed from a strategic perspective, a labeled rule base in a rewriting system can be seen as a restricted form of strategic expression (e.g., a collection of rules strictly composed using the left-biased choice ...
详细信息
This paper motivates and presents a nonmonotonic version of Contextual Intensional logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary t...
详细信息
The proceedings contain 37 papers from the FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Proceedings. The topics discussed include: formal methods and testing: hypotheses, and correctness ...
详细信息
The proceedings contain 37 papers from the FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Proceedings. The topics discussed include: formal methods and testing: hypotheses, and correctness approximations;controlling object allocation using creation guards;compositional specification and analysis of cost-based properties in probabilistic programs;formally defining and verifying master/slave speculative parallelization;automatic verification and conformance testing for validating safety property of reactive systems;formal verification of security properties of smart card embedded source code;and on partitioning and symbolic model cheking.
We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice logic programming, allows decisions that comprise multiple alternatives, which be...
详细信息
ISBN:
(纸本)3540001972
We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice logic programming, allows decisions that comprise multiple alternatives, which become available only when a choice between them is forced. The skeptical semantics is based on answer sets for which we provide a fixpoint characterization and a bottom-up algorithm. OCLPs can be used to represent and extend game theory concepts. We demonstrate that OCLPs allow an elegant translation of finite extensive games with perfect information such that the c-answer sets correspond to the Nash equilibria of the game. These equilibria are not player-deterministic, in the sense that a single player, given the other players' actions, could rationally leave an equilibrium state by changing her action profile. Therefor cautious Nash equilibria are introduced as the answer sets of the transformed game.
Possibilistic logic is a logic of uncertainty where a certainty degree between 0 and 1, interpreted as a lower bound of a necessity measure, is attached to each classical formula. In this paper we present a comparativ...
详细信息
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic building blocks. The abstract syntax is modelled as the fixpoint of a pattern functor which c...
详细信息
This paper describes the use of mobile agent technologies in building a framework for supporting distributed logic programming. The distinctive idea is to replace the distributed unification mechanism in most distribu...
详细信息
The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Si...
详细信息
The proceedings contain 33 papers. The topics discussed include: reflecting proofs in first-order logic with equality;tabling for higher-order logic programming;simulating reachability using first-order logic with app...
详细信息
ISBN:
(纸本)3540280057
The proceedings contain 33 papers. The topics discussed include: reflecting proofs in first-order logic with equality;tabling for higher-order logic programming;simulating reachability using first-order logic with applications to verification of linked data structures;privacy-sensitive information flow with JML;temporal logics over transitive states;hierarchical reasoning in local theory extensions;decision procedures customized for formal verification;connecting many-sorted theories;a proof-producing decision procedure for real arithmetic;the MathSAT 3 system;deduction with XOR constraints in security API modelling;on the complexity of equational horn clauses;and a combination method for generating interpolants.
Mobile Agent system creates a new way for sharing distributed resources and providing multi-located services. With the idea of moving calculations towards resources, it occupies less network traffics than the traditio...
详细信息
ISBN:
(纸本)9728865198
Mobile Agent system creates a new way for sharing distributed resources and providing multi-located services. With the idea of moving calculations towards resources, it occupies less network traffics than the traditional Client/Server model and achieves more flexibilities than the Remote Procedure Call (RPC) architecture. In order to endow agents with the ability of accessing remote data resources, in this paper we present the design strategies of the Database Interface between a logic programming language based Mobile Agent system and a remote DBMS.
暂无评论