Non-omniscient belief as context-based reasoning

Authors:
Fausto Giunchiglia;Luciano Serafini;Enrico Giunchiglia;Marcello Frixione
Affiliations:
Mechanized Reasoning Group, RST, Povo, Trento, Italy and DIST, University of Genoa, Genova, Italy;Mechanized Reasoning Group, RST, Povo, Trento, Italy;Mechanized Reasoning Group, DIST, University of Genoa, Genova, Italy;Mechanized Reasoning Group, DIST, University of Genoa, Genova, Italy
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 4
Cited 10

Belief, awareness, and limited reasoning

Artificial Intelligence
Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics

META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
A deduction model of belief and its logics

A deduction model of belief and its logics

First-Order Contextual Reasoning

SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Objective and Cognitive Context

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Modelling (Un)Bounded Beliefs

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective

CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Modeling Context Effect in Perceptual Domains

CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Deciding to remind during collaborative problem solving: empirical evidence for agent strategies

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
METATEM: the story so far

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Papers On Context: Theory And Practice

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...