4099 search results - page 32 / 820 » A Framework for Interactive Proof |
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
104
click to vote
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
TCS
2008
14 years 9 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...