630 search results - page 101 / 126 » Combining Two Formalism for Reasoning about Concepts |
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
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...
AI
2007
Springer
13 years 9 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
ECEASST
2010
13 years 3 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Sun-synchronous exploration is accomplished by reasoning about sunlight: where the Sun is in the sky, where and when shadows will fall, and how much power can be obtained through ...