Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming

, &
Artificial Intelligence 331 (C):104110 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104110

Links

PhilArchive



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

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

Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning.Toshiko Wakaki - forthcoming - Argument and Computation:1-45.
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown
Foundations of Disjunctive Logic Programming.Jorge Lobo, Jack Minker & Arcot Rajasekar - 1992 - MIT Press.
Linear logic automata.Max I. Kanovich - 1996 - Annals of Pure and Applied Logic 78 (1-3):147-188.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.
Extensions of Logic Programming: 4th International Workshop, Elp '93, St Andrews, U.K., March 29-April 1, 1993 : Proceedings.Roy Dyckhoff - 1994 - Springer.
Logic and Programming in Logic.Ramin Yasdi - 1997 - Psychology Press.
From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Advances in Logic Programming Theory.Giorgio Levi - 1994 - Oxford University Press.
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Logic Programming: Expanding the Horizons.A. Dodd, Richard Owens & S. B. Torrance - 1991 - Intellect Books.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Logic Programming New Frontiers.D. R. Brough - 2012 - Springer.
Logic Programming: Proceedings.John Lloyd - 1995 - MIT Press.

Analytics

Added to PP
2024-03-09

Downloads
16 (#911,799)

6 months
16 (#161,486)

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

Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.

View all 13 references / Add more references