A proof-system for the safe execution of tasks in multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 14-26

  Ciampolini, A ^a   Lamma, E ^b   Mello, P ^a   Torroni, P ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; SEMANTICS;

ABSTRACT SPECIFICATIONS; MULTI-AGENT SETTING; OPERATIONAL SEMANTICS; PROOF SYSTEM; SOUNDNESS AND COMPLETENESS;

MULTI AGENT SYSTEMS;

EID: 23144450140     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (9)

1. Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117 (2000) 277-296
2. Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: A language for coordinating abductive reasoning among logic agents. Computer Languages 27 (2002)
3. Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. In: Computational Logic and Multi-Agency. Special Issue of the Annals of Mathematics and Artificial Intelligence, Baltzer Science Pub. (to appear)
4. Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming 5 (1998) 235-324
5. Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proc. 9th ECAI, Pitman Pub. (1990)
6. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming (1997)
7. Lesprance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.B.: Foundations of a logical approach to agent programming. In: Intelligent Agents II-Proc. ATAL'95. LNCS, Springer-Verlag (1996)
8. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away, Proc. MAAMAW'97. LNCS 1038, Springer (1996) 42-55
9. Hindriks, K., Boer, F.D., van der Hoek, W., Meyer, J.J.: Formal semantics for an abstract agent programming language. In: Intelligent Agents IV, Proc. ATAL'97. LNCS 1365, Springer-Verlag (1998) 215-229