Logic and artificial intelligence for multi-agent systems

Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Project

[Project] Duzi, Marie and Vondrak, Ivo and Rapant, Petr (2004) Logic and artificial intelligence for multi-agent systems.

Full text not available from this archive.
Official URL: http://labis.vsb.cz/


"Research Laboratory of Intelligent Systems" (LabIS) has been founded in February 2004. Our research has been pursued in particular in the area of multi-agent systems within the project No. 1ET101940420 "Logic and Artificial Intelligence for multi-agent systems" supported by the program "Information Society" of the Czech Academy of Sciences. Research activities of LabIS cover the area of Artificial intelligence, Knowledge and Process management, in particular from the logical point of view. We deal with investigating current methods as well as developing new ones, namely methods and systems based on a rigorous logical framework, which lay emphasis on the integration of syntax as well as an adequate fine-grained semantics. As a result, major research activities covered by LabIS can be summarised as follows: Multi-agent systems; Logical analysis of natural language; Specification languages based on natural language; Knowledge representation; Inference machines; Non-monotonic reasoning and Belief revision; Belief revision; Process management, control and coordination; Process simulation and prediction.

Deposited by Doc. RNDr. Marie Duzi on 04 April 2006

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.