Three-valued semantics for hybrid MKNF knowledge bases revisited

&
Artificial Intelligence 252 (C):123-138 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.08.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

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

Reasoning with inconsistencies in hybrid MKNF knowledge bases.S. Huang, Q. Li & P. Hitzler - 2013 - Logic Journal of the IGPL 21 (2):263-290.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
Four-Valued Diagnoses for Stratified Knowledge-Bases.Arnon Avron & Arieli Ofer - 1997 - In Dirk van Dalen & Marc Bezem (eds.), Computer Science Logic. Springer. pp. 1-17.
Non-deterministic Semantics for Logics with a Consistency Operator.Arnon Avron - unknown
Factor semantics forn-valued logics.A. S. Karpenko - 1983 - Studia Logica 42 (2-3):179 - 185.
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
Stratified, Weak Stratified, and Three-valued Semantics.Melvin Fitting & Marion Ben-Jacob - unknown
Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.
Issues in Knowledge Representation: Semantics and Knowledge Combination.Chitta Ranjan Baral - 1991 - Dissertation, University of Maryland, College Park
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscript
Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,404,153)

6 months
6 (#574,647)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references