3573 search results - page 96 / 715 » Reasoning about Codata |
126
click to vote
VMCAI
2010
Springer
16 years 14 days ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
116
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
126
click to vote
ICCBR
2010
Springer
15 years 7 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
131
click to vote
AAAI
1998
15 years 4 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
118
click to vote
ECOI
2008
15 years 3 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...