Search Sciweavers | Sciweavers

5243 search results - page 79 / 1049

» Reasoning About Strategies

102

click to vote

AI
2000
Springer

84views Artificial Intelligence» more AI 2000»

Model-based reasoning about learner behaviour

15 years 12 days 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 »

Voted

AI
2000
Springer

113views Artificial Intelligence» more AI 2000»

On the decidability and complexity of reasoning about only knowing

15 years 12 days ago

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

115

Voted

CORR
2002
Springer

133views Education» more CORR 2002»

Complete Axiomatizations for Reasoning About Knowledge and Time

15 years 12 days ago

Download www.cse.unsw.edu.au

Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...

claim paper

Read More »

Voted

IJIS
2000

38views more IJIS 2000»

Reasoning tractably about explicit belief: A model-theoretic approach

15 years 11 days ago