Updates plus preferences

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1919, Issue , 2000, Pages 345-360

  Alferes, Jose Julio ^a   Pereira, Luis Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; SEMANTICS;

DECLARATIVE SEMANTICS; LOGIC PROGRAMS;

LOGIC PROGRAMMING;

EID: 84943178056     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-40006-0_24     Document Type: Conference Paper

References (15)

1. J.J.Alferes, J.A.Leite, L.M.Pereira, H.Przymusinska, and T.Przymusinski.Dynamic updates of non-monotonic knowledge bases.Journal of Logic Programming, 2000.To appear.A short version titled Dynamic Logic Programming appeared in A.Cohn and L.Schubert (eds.), KR'98, Morgan Kaufmann.
2. J.J.Alferes, L.M.Pereira, H.Przymusinska, and T.Przymusinski.LUPS-a language for updating logic programs.In M.Gelfond, N.Leone, and G.Pfeifer, editors, LPNMR'99.Springer, 1999.
3. J.J.Alferes, L.M.Pereira, T.Przymusinski, H.Przymusinska, and P.Quaresma.Preliminary exploration on actions as updates.In AGP'99, 1999.
4. G.Brewka.Well-founded semantics for extended logic programs with dynamic preferences.Journal of Artificial Intelligence Research, 4, 1996.
5. G.Brewka and T.Eiter.Preferred answer sets for extended logic programs.Artificial Intelligence, 109, 1999.A short version appeared in A.Cohn and L.Schubert (eds.), KR'98, Morgan Kaufmann.
6. F.Buccafurri, W.Faber, and N.Leone.Disjunctive logic programs with inheritance.In D.De Schreye, editor, ICLP'99.MIT Press, 1999.
7. M.Dekhtyar, A.Dikovsky, S.Dudakov, and N.Spyratos.Monotone expansion of updates in logical databases.In M.Gelfond, N.Leone, and G.Pfeifer, editors, LPNMR'99.Springer, 1999.
8. M.Gelfond and V.Lifschitz.The stable model semantics for logic programming.In R.Kowalski and K.A.Bowen, editors, ICLP'88.MIT Press, 1988.
9. H.Katsuno and A.Mendelzon.On the difference between updating a knowledge base and revising it.In J.Allen, R.Fikes, and E.Sandewall, editors, KR'91.Morgan Kaufmann, 1991.
10. V.Lifschitz and T.Woo.Answer sets in general non-monotonic reasoning (preliminary report).In B.Nebel, C.Rich, and W.Swartout, editors, KR'92.Morgan-Kaufmann, 1992.
11. V.Marek and M.Truszczynski.Revision specifications by means of programs.In C.MacNish, D.Pearce, and L.M.Pereira, editors, JELIA'94.Springer, 1994.
12. T.Przymusinski and H.Turner.Update by means of inference rules.In V.Marek, A.Nerode, and M.Truszczynski, editors, LPNMR'95.Springer, 1995.
13. C.Sakama and K.Inoue.Updating extended logic programs through abduction.In M.Gelfond, N.Leone, and G.Pfeifer, editors, LPNMR'99.Springer, 1999.
14. M.Winslett.Reasoning about action using a possible models approach.In AAAI'88, 1988.
15. Y.Zhang and N.Foo.Updating logic programs.In H.Prade, editor, ECAI'98.Morgan Kaufmann, 1998.