Autonomous Agents

Roman Barták


The group performs basic and applied research in the areas of satisfiability and discrete optimisation problems by applying techniques such as constraint and Boolean satisfiability, (constraint) logic programming, and knowledge reasoning. We do research on general problem solving techniques including search and consistency algorithms (motivated by artificial intelligence), on algorithms for solving particular combinatorial optimisation problems such as scheduling, and on formal properties of problems such as problem complexity. Currently the main application areas of our research are planning and scheduling. We are working on generally applicable planning and scheduling engines, on formal specification of problems (problem modelling), and on automated extraction of knowledge from models that is useful for problem solving. Our current focus is on techniques integrating temporal, resource, and logical reasoning.

Last change: September 11, 2017 13:48 
Share on:  

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323


Petra Novotná

Web administrator

(Jindřich Vodrážka)

Server administrator

(Milan Fučík)


Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University

Malostranské náměstí 25

Prague 1, 118 00

Czech Republic