VSB-Technical University of Ostrava

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 (2004) Logic and artificial intelligence for multi-agent systems.

This list was generated on Mon Sep 10 16:38:16 BST 2007.


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.