Coherence Approach to Logic Program Revision.

@article{DBLP:journals/tkde/YuanY98,
  author    = {Li-Yan Yuan and
               Jia-Huai You},
  title     = {Coherence Approach to Logic Program Revision},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {1},
  year      = {1998},
  pages     = {108-119},
  ee        = {db/journals/tkde/YuanY98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1998 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Online Edition: IEEE Computer Society DL

References

[1]

José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348 BibTeX

[2]

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144 BibTeX

[3]

Jürgen Dix: A Framework for Representing and Characterizing Semantics of Logic Programs. KR 1992: 591-602 BibTeX

[4]

Jürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundam. Inform. 22(3): 257-288(1995) BibTeX

[5]

Phan Minh Dung: Negations as Hypotheses: An Abductive Foundation for Logic Programming. ICLP 1991: 3-17 BibTeX

[6]

Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. ICLP 1993: 616-630 BibTeX

[7]

...

[8]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 BibTeX

[9]

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597 BibTeX

[10]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[11]

Yong Hu, Li-Yan Yuan: Extended Well-Founded Model Semantics for General Logic Programs. ICLP 1991: 412-425 BibTeX

[12]

Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov: Uniform Proofs as a Foundation for Logic Programming. Ann. Pure Appl. Logic 51(1-2): 125-157(1991) BibTeX

[13]

Luís Moniz Pereira, José Júlio Alferes: Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106 BibTeX

[14]

Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119 BibTeX

[15]

Teodor C. Przymusinski: The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics. Fundam. Inform. 13(4): 445-463(1990) BibTeX

[16]

Domenico Saccà, Carlo Zaniolo: Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990: 205-217 BibTeX

[17]

Mark Wallace: Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? ECAI 1990: 682-687 BibTeX

[18]

Cees Witteveen, Gerhard Brewka: Skeptical Reason Maintenance and Belief Revision. Artif. Intell. 61(1): 1-36(1993) BibTeX

[19]

...

[20]

Jia-Huai You, Li-Yan Yuan: A Three-Valued Semantics for Deductive Databases and Logic Programs. J. Comput. Syst. Sci. 49(2): 334-361(1994) BibTeX

[21]

Jia-Huai You, Li-Yan Yuan: On the Equivalence of Semantics for Normal Logic Programs. J. Log. Program. 22(3): 211-222(1995) BibTeX

[22]

Jia-Huai You, Robert Cartwright, Ming Li: Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170(1-2): 383-406(1996) BibTeX

[23]

Jia-Huai You, Li-Yan Yuan: Logic Programming with Assumption Denials. NMELP 1994: 85-100 BibTeX

[24]

Li-Yan Yuan: Autoepistemic Logic of First Order and Its Expressive Power. J. Autom. Reasoning 13(1): 69-82(1994) BibTeX

[25]

...

[26]

Li-Yan Yuan, Jia-Huai You: Autoepistemic Circumscription and Logic Programming. J. Autom. Reasoning 10(2): 143-160(1993) BibTeX