Current Research in RKLLAB, Linköping University's Laboratory for the. . . (1995)
BibTeX
@MISC{(ed.)95currentresearch,
author = {Erik Sandewall (ed.) and Erik Sandewall},
title = {Current Research in RKLLAB, Linköping University's Laboratory for the. . .},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This memo presents current research in our laboratory. We address the following research topics: 1. Semantics-based assessment of nonmonotonic entailment methods for actions and change. 2. Implementation techniques for nonmonotonic entailment methods. 3. Algorithmic methods for planning and temporal reasoning. 4. Hybrid modelling of physical systems. 5. Design methodology for intelligent autonomous robotic systems. 6. `Fuzzy'-related design principles for intelligent autonomous robotic systems. 7. Several industrial application projects. Current Research in RKLLAB, Linkoping University's Laboratory for the Representation of Knowledge in Logic Editor: Erik Sandewall Email: erisa@ida.liu.se March 11, 1995 1 Topic of Research: Reasoning about Actions and Change The main research topic of RKLLAB is computational methods for reasoning about actions and change. Its purpose is to make possible the following types of automated reasoning about the behavior of a system over time: ...
