Sciweavers

474 search results - page 33 / 95
» Spatial Agents Implemented in a Logical Expressible Language
Sort
View
DOOD
1991
Springer
107views Database» more  DOOD 1991»
14 years 19 days ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...
COLING
2002
13 years 9 months ago
Answering it with Charts: Dialogue in Natural Language and Charts
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
Tsuneaki Kato, Mitsunori Matsushita, Eisaku Maeda
EKAW
2004
Springer
14 years 2 months ago
Graph-Based Acquisition of Expressive Knowledge
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
Vinay K. Chaudhri, Kenneth S. Murray, John Pacheco...
ICLP
2004
Springer
14 years 2 months ago
MProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
Linh Anh Nguyen
ATAL
1999
Springer
14 years 1 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....