713 search results - page 62 / 143 » Reasoning with Projected Contours |
CADE
1990
Springer
14 years 1 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
ILP
2000
Springer
14 years 16 days ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
FLAIRS
2007
13 years 11 months ago
2007
POMDPs are a popular framework for representing decision making problems that contain uncertainty. The high computational complexity of finding exact solutions to POMDPs has spaw...
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
13 years 10 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
GIS
2000
ACM
13 years 8 months ago
2000
ACM
The GIS literature abounds with strategies to guide the development of a corporate GIS as a single project but lacks discussion on the long term management of the GIS. This paper d...