2638 search results - page 268 / 528 » Frameworks for Reasoning about Agent Based Systems |
204
click to vote
ELP
1991
15 years 10 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
187
click to vote
AAAI
2012
13 years 9 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
194
click to vote
ARGMAS
2005
Springer
15 years 8 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
152
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
160
click to vote
CN
1998
15 years 6 months ago
1998
The MEMOIR project supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with related ...