4555 search results - page 35 / 911 » Deductive Algorithmic Knowledge |
EKAW
2004
Springer
14 years 3 months ago
2004
Springer
A new incremental knowledge acquisition approach for the effective development of efficient problem solvers for combinatorial problems based on probabilistic search algorithms is ...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Many approaches have been proposed for reasoning based on conflicting information in general and in particular on stratified knowledge bases, i.e. bases in which all pieces of i...
AUSAI
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
This paper discusses two problems that arise in the Generation of Referring Expressions: (a) numeric-valued attributes, such as size or location; (b) perspective-taking in referen...
AIEDAM
1999
13 years 9 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...