307 search results - page 12 / 62 » On Hierarchical Reasoning in Combinations of Theories |
116
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
108
click to vote
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
LOGCOM
2006
15 years 1 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
129
click to vote
IJAR
2008
15 years 1 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...