dblp.uni-trier.dewww.uni-trier.de

Halina Przymusinska Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
23 João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA III 2002: 19-34
22EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPSA language for updating logic programs. Artif. Intell. 138(1-2): 87-116 (2002)
21EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2000
20EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma: Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10
19 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000)
1999
18 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma: Preliminary exploration on actions as updates. APPIA-GULP-PRODE 1999: 259-272
17EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
1998
16 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408
15 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
1996
14EEMichael Gelfond, Halina Przymusinska: Towards a Theory of Elaboration Tolerance: Logic Programming Approach. International Journal of Software Engineering and Knowledge Engineering 6(1): 89-112 (1996)
1994
13 Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207
12 Halina Przymusinska, Teodor C. Przymusinski: Stationary Default Extensions. Fundam. Inform. 21(1/2): 67-87 (1994)
1993
11 Michael Gelfond, Halina Przymusinska: Reasoning on Open Domains. LPNMR 1993: 397-413
1992
10EEHalina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki: Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR 1992: 1-12
9 Michael Gelfond, Halina Przymusinska: On consistency and completeness of autoepistemic theories. Fundam. Inform. 16(1): 59-92 (1992)
1991
8 Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski: Disjective Defaults. KR 1991: 230-237
7 Michael Gelfond, Halina Przymusinska: Definitions in Epistemic Specifications. LPNMR 1991: 245-259
1989
6 Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38(1): 75-94 (1989)
1988
5 Halina Przymusinska, Teodor C. Przymusinski: Weakly Perfect Model Semantics for Logic Programs. ICLP/SLP 1988: 1106-1120
4 Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS 1988: 435-443
1987
3 Halina Przymusinska: On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases. ISMIS 1987: 445-452
1986
2EEMichael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139
1 Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287 (1986)

Coauthor Index

1José Júlio Alferes [15] [16] [17] [18] [19] [20] [21] [22] [23]
2Michael Gelfond [1] [2] [4] [6] [7] [8] [9] [11] [13] [14]
3João Leite (João Alexandre Leite) [15] [16] [19] [21] [23]
4Vladimir Lifschitz [8] [13]
5Luís Moniz Pereira (Luíz Moniz Pereira) [15] [16] [17] [18] [19] [20] [21] [22] [23]
6Teodor C. Przymusinski [2] [4] [5] [6] [10] [12] [15] [16] [17] [18] [19] [20] [21] [22] [23]
7Paulo Quaresma [18] [20]
8Grigori Schwarz [13]
9Hirohisa Seki [10]
10Miroslaw Truszczynski [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)