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

Teodor C. Przymusinski Vis

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

*2004
62EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004)
2002
61 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
60EEJosé 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)
59EEJoã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)
2001
58EEStefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: On the equivalence of the static and disjunctive well-founded semantics and its computation. Theor. Comput. Sci. 258(1-2): 523-553 (2001)
2000
57EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma: Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10
56EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs CoRR cs.AI/0010032: (2000)
55 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
54 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
53EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
52EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999)
1998
51 Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers Springer 1998
50 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
49 Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR 1998: 74-85
48 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
47 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reasoning 20(1): 107-142 (1998)
1997
46 Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers Springer 1997
45 Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420
44EETeodor C. Przymusinski: Autoepistemic Logic of Knowledge and Beliefs. Artif. Intell. 95(1): 115-154 (1997)
43 Teodor C. Przymusinski, Hudson Turner: Update by Means of Inference Rules. J. Log. Program. 30(2): 125-143 (1997)
1996
42EETeodor C. Przymusinski: Super Logic Programs and Negation as Belief. ELP 1996: 229-235
41EEJosé Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA 1996: 143-163
40 Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. KR 1996: 529-540
39 Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP 1996: 1-36
38 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Inform. 28(1-2): 1-22 (1996)
1995
37 Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers Springer 1995
36 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56
35 Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk: Loop Checking and the Wll-Founded Semantics. LPNMR 1995: 127-142
34 Teodor C. Przymusinski, Hudson Turner: Update by Means of Inference Rules. LPNMR 1995: 156-174
33 Teodor C. Przymusinski: Static Semantics for Normal and Disjunctive Logic Programs. Ann. Math. Artif. Intell. 14(2-4): 323-357 (1995)
1994
32 Teodor C. Przymusinski: A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs. AAAI 1994: 952-958
31 Teodor C. Przymusinski: Semantics of Disjunctive Programs: A Unifying Approach. GI Jahrestagung 1994: 52
30EETeodor C. Przymusinski: Autoepistemic Logic of Minimal Beliefs. JELIA 1994: 364
29 Teodor C. Przymusinski: Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. NMELP 1994: 43-67
28 Teodor C. Przymusinski: Well-founded and Stationary Models of Logic Programs. Ann. Math. Artif. Intell. 12(3-4): 141-187 (1994)
27 Halina Przymusinska, Teodor C. Przymusinski: Stationary Default Extensions. Fundam. Inform. 21(1/2): 67-87 (1994)
1992
26EEHalina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki: Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR 1992: 1-12
25EETeodor C. Przymusinski: Two Simple Characterizations of Well-Founded Semantics. MFCS 1992: 451-462
1991
24EETeodor C. Przymusinski: Semantics of Disjunctive Logic Programs and Deductive Databases. DOOD 1991: 85-107
23 Teodor C. Przymusinski: Well-Founded Completions of Logic Programs. ICLP 1991: 726-741
22 Teodor C. Przymusinski: Non-Monotonic Reasoning and Logic Programming. ISLP 1991: 735-736
21 Teodor C. Przymusinski: Autoepistemic Logics of Closed Beliefs and Logic Programming. LPNMR 1991: 3-20
20 Teodor C. Przymusinski: Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. Artif. Intell. 49(1-3): 309-343 (1991)
19 Teodor C. Przymusinski: Stable Semantics for Disjunctive Programs. New Generation Comput. 9(3/4): 401-424 (1991)
1990
18 Teodor C. Przymusinski: Extended Stable Semantics for Normal and Disjunctive Programs. ICLP 1990: 459-477
17 Teodor C. Przymusinski: Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. LPNMR 1990: 103-106
16 Teodor C. Przymusinski: Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. NACLP 1990: 40-59
15 Teodor C. Przymusinski: The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics. Fundam. Inform. 13(4): 445-463 (1990)
1989
14 Teodor C. Przymusinski: Non-Monotonic Formalisms and Logic Programming. ICLP 1989: 655-674
13 Teodor C. Przymusinski: Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. KR 1989: 341-348
12 Teodor C. Przymusinski: On Constructive Negation in Logic Programming. NACLP 1989: 0-0
11EETeodor C. Przymusinski: Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. PODS 1989: 11-21
10 Teodor C. Przymusinski: An Algorithm to Compute Circumscription. Artif. Intell. 38(1): 49-73 (1989)
9 Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38(1): 75-94 (1989)
8 Teodor C. Przymusinski: On the Declarative and Procedural Semantics of Logic Programs. J. Autom. Reasoning 5(2): 167-205 (1989)
1988
7 Teodor C. Przymusinski: On the Relationship Between Logic Programming and Nonmonotonic Reasoning. AAAI 1988: 444-448
6 Teodor C. Przymusinski: Perfect Model Semantics. ICLP/SLP 1988: 1081-1096
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
3 Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216
1986
2 Teodor C. Przymusinski: Query Answering in Circumscriptive and Closed-World Theories. AAAI 1986: 186-190
1EEMichael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139

Coauthor Index

1José Júlio Alferes [36] [38] [41] [47] [48] [50] [53] [54] [55] [57] [59] [60] [61]
2Stefan Brass [40] [49] [52] [56] [58] [62]
3Jürgen Dix [37] [39] [40] [45] [46] [49] [51] [52] [56] [58] [62]
4Michael Gelfond [1] [4] [9]
5João Leite (João Alexandre Leite) [48] [50] [55] [59] [61]
6Vladimir Lifschitz [35]
7Norman McCain [35]
8Ilkka Niemelä [49] [58]
9Luís Moniz Pereira (Luíz Moniz Pereira) [36] [37] [38] [39] [41] [45] [46] [47] [48] [50] [51] [53] [54] [55] [57] [59] [60] [61]
10Halina Przymusinska [1] [4] [5] [9] [26] [27] [48] [50] [53] [54] [55] [57] [59] [60] [61]
11Paulo Quaresma [54] [57]
12Hirohisa Seki [26]
13Robert F. Stärk [35]
14Hudson Turner [34] [43]

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