Reasoning with inconsistencies in hybrid MKNF knowledge bases

, &
Logic Journal of the IGPL 21 (2):263-290 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzs043

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
On the emergence of reasons in inductive logic.J. Paris & M. Wafy - 2001 - Logic Journal of the IGPL 9 (2):207-216.
Handling locally stratified inconsistent knowledge bases.Salem Benferhat & Laurent Garcia - 2002 - Studia Logica 70 (1):77-104.
A hybrid belief system for doubtful agents.Alessandro Saffiotti - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 393--402.
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
Moral Reasoning on the Ground.Richmond Campbell & Victor Kumar - 2012 - Ethics 122 (2):273-312.
Representation, reasoning, and relational structures: a hybrid logic manifesto.P. Blackburn - 2000 - Logic Journal of the IGPL 8 (3):339-365.
The hybrid method of knowledge representation in a CAPP knowledge based system.Cezary Grabowik, Damian Krenczyk & Krzysztof Kalinowski - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 284--295.
Hasty generalizers and hybrid abducers. External semiotic anchors and multimodal representations.L. Magnani - 2006 - In P. A. Flach, A. C. Kakas, L. Magnani & O. Ray (eds.), ECAI WORKSHOP 2006 - P. A. Flach, A. C. Kakas, L. Magnani, O. Ray (eds.), Workshop Abduction and Induction in AI and Scientific Modeling, University of Trento, Italy, pp. 1-8. pp. 1--8.
Probabilistic default reasoning.Gerhard Paass - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 75--85.
Ethical and methodological aspects of medical computer data bases and knowledge bases.Jan Doroszewski - 1988 - Theoretical Medicine and Bioethics 9 (2).
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
Towards a general theory of evidential reasoning.James F. Baldwin - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 359--369.
Knowledge Bases and Neural Network Synthesis.Todd R. Davies - 1991 - In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722.
Non-monotonic reasoning in a semantic network.Marcel Cori - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 239--248.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,224,450)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references