Results 261 to 270 of about 24,578 (296)
Some of the next articles are maybe not open access.
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wiebe van der Hoek +2 more
openaire +5 more sources
ACM Computing Surveys, 1999
Default logic is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical and legal reasoning.
openaire +1 more source
Default logic is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical and legal reasoning.
openaire +1 more source
Using default logic to enhance default logic: preliminary report
2008 IEEE International Conference on Information Reuse and Integration, 2008This paper is about the fusion of multiple knowledge sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, several candidate policies are discussed.
openaire +2 more sources
1991
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple and can be implemented using standard theorem provers. By expressing default logic as a relation from theories to extensions we are able to formalise Brewka's prioritized default logic as a composite relation.
openaire +1 more source
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple and can be implemented using standard theorem provers. By expressing default logic as a relation from theories to extensions we are able to formalise Brewka's prioritized default logic as a composite relation.
openaire +1 more source
Default Logic as Dynamic Doxastic Logic
Erkenntnis, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A fuzzy version of default logic
International Journal of Intelligent Computing and Cybernetics, 2011PurposeThe importance of fuzzy logic (FL) in approximate reasoning, and that of default logic (DL) in reasoning with incomplete information, is well established. Also, the need for a commonsense reasoning framework that handles both these aspects has been widely anticipated.
Kumar S. Ray 0001, Arpan Chakraborty
openaire +2 more sources
Similarity preservation in default logic
Annals of Mathematics and Artificial Intelligence, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rachel Ben-Eliyahu-Zohary +2 more
openaire +2 more sources
Embedding Modal Nonmonotonic Logics into Default Logic
Studia Logica, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A logical framework for default reasoning
Artificial Intelligence, 1988zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources