713 search results - page 43 / 143 » Reasoning with Projected Contours |
DLOG
2007
14 years 8 days ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
EACL
2003
ACL Anthology
13 years 11 months ago
2003
ACL Anthology
The main aim of this project is to explore, develop and evaluate the contribution of language technologies to the development of WEBCOOP, a system that provides intelligent Cooper...
TIME
2000
IEEE
14 years 2 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
AIM
2006
13 years 10 months ago
2006
This paper describes the virtual humans developed as part of the Mission Rehearsal Exercise project, a virtual reality-based training system. This project is an ambitious exercise...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...