858 search results - page 16 / 172 » Planning and defeasible reasoning |
AAAI
2012
11 years 10 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
PRIMA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
KR
1991
Springer
13 years 12 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
LPNMR
1999
Springer
14 years 21 days ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...