1917 search results - page 33 / 384 » Experimenting with Nonmonotonic Reasoning |
97
Voted
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
142
Voted
ENTCS
2007
15 years 21 days ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
67
Voted
AAAI
1998
15 years 2 months ago
1998
In this paper weexplore the computationalaspects of Propositional PowerDefault Reasoning (PDR),a form of non-monotonicreasoning whichthe underlyinglogic is Kleene's3-valued p...
101
Voted
SWAP
2007
15 years 1 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
113
Voted
KBS
2002
15 years 12 days ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...