252 search results - page 22 / 51 » Knowledge, Time, and Logical Omniscience |
AGP
2003
IEEE
14 years 28 days ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
AIIA
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
DLOG
2007
13 years 10 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
CSL
2011
Springer
13 years 2 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...