Search Sciweavers | Sciweavers

4224 search results - page 78 / 845

» Reasoning about Choice

168

click to vote

CI
2004

125views more CI 2004»

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

15 years 5 months ago

Download www.cs.nmsu.edu

This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

150

Voted

AI
2000
Springer

84views Artificial Intelligence» more AI 2000»

Model-based reasoning about learner behaviour

15 years 5 months ago

Download staff.science.uva.nl

Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...

Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...

claim paper

Read More »

141

click to vote

AI
2000
Springer

113views Artificial Intelligence» more AI 2000»

On the decidability and complexity of reasoning about only knowing

15 years 5 months ago