LUPS—A language for updating logic programs

, , &
Artificial Intelligence 138 (1-2):87-116 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00183-2

Links

PhilArchive



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

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

Belief, provability, and logic programs.José Júlio Alferes & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):31-50.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Three-valued nonmonotonic formalisms and semantics of logic programs.Teodor Przymusinski - 1991 - Artificial Intelligence 49 (1-3):309-343.
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers.Jurgen Dix, Louis M. Pereira & Teodor C. Przymusinski - 1995 - Springer Verlag.
Three models of sequential belief updating on uncertain evidence.James Hawthorne - 2004 - Journal of Philosophical Logic 33 (1):89-123.
Reasoning with Logic Programming.José Júlio Alferes & Luís Moniz Pereira - 2001 - Studia Logica 67 (1):118-120.
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers'.J. Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 1997
The Refined Extension Principle for Semantics of Dynamic Logic Programming.Joao Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
An encompassing framework for Paraconsistent Logic Programs.João Alcântara, Carlos Viegas Damásio & Luís Moniz Pereira - 2005 - Journal of Applied Logic 3 (1):67-95.
Equivalence of defeasible normative systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Conditionalization and total knowledge.Ian Pratt-Hartmann - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):247-266.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,351,854)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references