143 search results - page 14 / 29 » On Some Differences Between Semantics of Logic Program Updat... |
119
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
121
Voted
JAIR
2010
14 years 11 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
108
Voted
SUM
2010
Springer
14 years 10 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
127
Voted
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
135
Voted
AAMAS
2011
Springer
14 years 7 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...