1588 search results - page 173 / 318 » Modular action language |
119
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
133
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
112
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
126
click to vote
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
110
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...