1117 search results - page 85 / 224 » Partial Models of Extended Generalized Logic Programs |
112
click to vote
PEPM
2004
ACM
15 years 6 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
111
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
154
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
CLIMA
2007
15 years 2 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
127
click to vote
ENTCS
2008
15 years 1 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...