4617 search results - page 425 / 924 » Automation of Diagrammatic Reasoning |
160
click to vote
FLOPS
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
183
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
We describe a case-based approach to the keyhole plan-recognition task where the observed agent is a state-space planner whose world states can be monitored. Case-based approach pr...
193
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
174
Voted
ILP
2001
Springer
15 years 11 months ago
2001
Springer
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
210
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...