Membership Details (University/College)
Contact: Marie Duzi
Member node: AM020
17. listopadu 15,
708 33 Ostrava Poruba
The Czech Republic
>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details
In February 2004 a group of logicians in the Department of Computer Science, Faculty of Electrical Engineering and Informatics founded the Research Laboratory of Intelligent Systems (LabIS) in order to integrate research in the area of Logic and Artificial Intelligence. We investigate current methods as well as develope new ones, namely methods and systems based on a rigorous logical framework, which lay emphasis on the integration of syntax as well as correct fine-grained semantics. As a result, major research activities covered by LabIS can be summarised as follows:
logical analysis of natural language, logical specification of a multi-agent system, epistemic, doxastic and dynamic logics, knowledge representation, inference machines, non-monotonic reasoning, belief revision, process management, simulation and prediction. This research is supported by the grant project "Logic and Artificial Intelligence for multi-agent systems" within the "Information Society" program of the Czech Academy of Sciences.
For more details on LabIS see: http://www.cs.vsb.cz/labis/index_eng.html
For the web-page of Transparent Intensional Logic, see: http://til.phil.muni.cz/
[Project] Duzi, Marie and Vondrak, Ivo and Rapant, Petr
Logic and artificial intelligence for multi-agent systems.
This list was generated on Mon Sep 10 16:38:16 BST 2007.