11436 search results - page 29 / 2288 » Modeling Real Reasoning |
AI
2008
Springer
13 years 11 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real
DLOG
2003
14 years 10 days ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
CAV
2007
Springer
14 years 5 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ASM
2010
ASM
14 years 8 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
IEAAIE
2009
Springer
14 years 5 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...