Algebraic sematics for cumulative inference operations

Authors:
Zbigniew Stachniak
Affiliations:
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada
Venue:
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Year:
1993

Citing 9
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
General theory of cumulative inference

Proceedings of the 2nd international workshop on Non-monotonic reasoning
New results on semantical non-monotonic reasoning

Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems

Logics and models of concurrent systems
Extending resolution to resolution logics

Journal of Experimental & Theoretical Artificial Intelligence
Default logic and constructive logic

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Resolution approximation of first-order logics

Information and Computation
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we propose preferential matrix semantics for nonmonotonic inference systems and show how this algebraic framework can be used in methodological studies of cumulative inference operations.