Sciweavers

3573 search results - page 68 / 715

» Reasoning about Codata

62

AIM
2004

68views Software Engineering» more AIM 2004»

Qualitative Reasoning about Population and Community Ecology

14 years 11 months ago

Qualitative Reasoning about Population and Community Ecology

Download staff.science.uva.nl

Paulo Salles, Bert Bredeweg

claim paper

Read More »

111

CI
2004

125views more CI 2004»

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

14 years 11 months ago

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

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 »

88

AI
2000
Springer

84views Artificial Intelligence» more AI 2000»

Model-based reasoning about learner behaviour

14 years 11 months ago

Model-based reasoning about learner behaviour

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 »

82

AI
2000
Springer

113views Artificial Intelligence» more AI 2000»

On the decidability and complexity of reasoning about only knowing

14 years 11 months ago

On the decidability and complexity of reasoning about only knowing

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

72

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

14 years 6 months ago

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

« Prev « First page 68 / 715 Last » Next »