83
Voted
WOA
2000
14 years 11 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
76
Voted
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...