1614 search results - page 101 / 323 » Planning as Temporal Reasoning |
139
click to vote
IEAAIE
2009
Springer
16 years 27 days 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...
149
click to vote
AAAI
2007
15 years 8 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
178
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
160
click to vote
IJCAI
1989
15 years 7 months ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...
183
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...