Autonomous Agents












            ******************************************************************************************

            *
            ******************************************************************************************
            contact: prof. RNDr. Roman Barták, Ph.D. [ MAIL "bartak(zavinac)ktiml.mff.cuni.cz"]


            The group performs basic and applied research in the areas of satisfiability and discrete 
            problems by applying techniques such as constraint and Boolean satisfiability, (constraint

            programming, and knowledge reasoning. We do research on general problem solving techniques
            and consistency algorithms (motivated by artificial intelligence), on algorithms for solvi
            combinatorial optimisation problems such as scheduling, and on formal properties of proble

            problem complexity. Currently the main application areas of our research are planning and 
            are working on generally applicable planning and scheduling engines, on formal specificati

            (problem modelling), and on automated extraction of knowledge from models that is useful f
            solving. Our current focus is on techniques integrating temporal, resource, and logical re