2291 search results - page 394 / 459 » Logic Programming and Model Checking |
113
Voted
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
131
Voted
DAGSTUHL
1998
15 years 3 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
102
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
85
Voted
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
132
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...