Ambient Intelligence Using KGP Agents

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

Volumn 3295, Issue , 2004, Pages 351-362

  Stathis, Kostas ^a,b   Toni, Francesca ^a,b  

^a CITY UNIVERSITY   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MULTI AGENT SYSTEMS;

AMBIENT INTELLIGENCE; LOGICAL FORMALISM; LOGICAL MODELING;

INTELLIGENT AGENTS;

EID: 33644644300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30473-9_33     Document Type: Article

References (11)

1. In P. Spirakis, A. Kameas, and S. Nikoletseas, editors, Proc. International Workshop on Ambient Intelligence, Santorini, Greece, June 2003. CTI Press.
2. th International Symposium "From Agent Theory to Agent Implementation", Vienna, Austria, April 13-16 2004.
3. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. In Proc. of the 9th European Conference on Logics in Artificial Intelligence(Jelia04), 2004. To appear.
4. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In Proc. of the European Conference on Artificial Intelligence (ECAI04), 2004. To appear.
5. R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
6. P. Mancarella, F. Sadri, G. Terreni, and F. Toni. Partial planning for situated agents. In Proc. of 5th Workshop on Computational Logic in Multi-agent Systems (CLIMA V), 2004. To appear.
7. B. Raducanu and P. Markopoulos. Applications of vision-based attention-guided perceptive devices to aware environments. In Proc. of the 1st European Symposium on Ambient Intelligence, pages 410-418. Springer-Verlag, 2003.
8. M. Shanahan. Event calculus planning revisited. In Proc. 4th European Conference on Planning, volume 1348 of LNAI, pages 390-402. Springer Verlag, 1997.
9. K. Stathis, A. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: a platform for programming software agents in computational logic. In J. Müller and P. Petta, editors, Proc. of the Fourth International Symposium "From Agent Theory to Agent Implementation", Vienna, Austria, April 13-16 2004.
10. F. Toni and K. Stathis. Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In Proc. of the Third International Workshop on Engineering Societies in the Agents World (ESAW'02), LNAI. Springer Verlag, 2002.
11. B. Traversat, M. Abdelaziz, D. Doolin, M. Duigou, J. C. Hugly, and E. Pouyoul. Project JXTA-C:Enabling a Web of Things. In Proc. of the 36th Hawaii International Conference on System Sciences (HICSS'03). IEEE Press, 2003.