MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Fluents Framework

Download:
pdf | ps
by Silvia Coradeschi
http://vir.liu.se/~rtslab/publications/1995/r-95-44.ps.gz
Add To MetaCart

Abstract:

Reasoning with unreliable observations in the Features and

Citations

448 Knowledge In Flux: modeling the dynamics of epistemic states – Gardenfors - 1988
145 Features and Fluents – Sandewall - 1994
33 How to infer from inconsistent beliefs without revising – Benferhat, Prade - 1995
20 Notes on PMON circumscription – Doherty - 1994
10 On inference from inconsistent premises – Rescher, Manor - 1970
8 Specification and Synthesis of Plans Using the Features and Fluents Framework. Licentiate thesis – Karlsson - 1995
6 Towards the assessment of logics for concurrent actions – Yi - 1995