[Project] Duzi, Marie and Vondrak, Ivo and Rapant, Petr
Logic and artificial intelligence for multi-agent systems.
Full text not available from this archive.
"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:
Logical analysis of natural language;
Specification languages based on natural language;
Non-monotonic reasoning and Belief revision;
Process management, control and coordination;
Process simulation and prediction.
Archive Staff Only: edit this record