Groups in RKLLAB
Non-Monotonic Reasoning
Efficient Algorithms for Planning and Prediction
Logic of Uncertainty
Formal methods in autonomous real-time systems
Development of modelling, analysis, and design techniques for reactive systems in physical environments. Group leader: Jacek Malec.
Activities
Features & Fluents
Last modified: 13-Sep-95 11:34
Non-Monotonic Reasoning Efficient Algorithms for Planning and Prediction Logic of Uncertainty Formal methods in autonomous real-time systems
Features & Fluents