Query Answering in Circumscriptive and Closed-World Theories. - Teodor C. Przymusinski (AAAI, 1986)

A decidable query answering algorithm for circumscriptive theories. - Teodor C. Przymusinski (ISMIS, 1986)

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (PODS, 1986)

On the Declarative Semantics of Deductive Databases and Logic Programs. - Teodor C. Przymusinski (Foundations of Deductive Databases and Logic Programming., 1988)

On the Relationship Between Logic Programming and Nonmonotonic Reasoning. - Teodor C. Przymusinski (AAAI, 1988)

Weakly Perfect Model Semantics for Logic Programs. - Halina Przymusinska; Teodor C. Przymusinski (ICLP/SLP, 1988)

Perfect Model Semantics. - Teodor C. Przymusinski (ICLP/SLP, 1988)

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (ISMIS, 1988)

Non-Monotonic Formalisms and Logic Programming. - Teodor C. Przymusinski (ICLP, 1989)

Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. - Teodor C. Przymusinski (KR, 1989)

Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. - Teodor C. Przymusinski (PODS, 1989)

On Constructive Negation in Logic Programming. - Teodor C. Przymusinski (NACLP, 1989)

On the Relationship Between Circumscription and Negation as Failure. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 1989)

An Algorithm to Compute Circumscription. - Teodor C. Przymusinski (Artif. Intell., 1989)

On the Declarative and Procedural Semantics of Logic Programs. - Teodor C. Przymusinski (J. Autom. Reason., 1989)

Extended Stable Semantics for Normal and Disjunctive Programs. - Teodor C. Przymusinski (ICLP, 1990)

Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. - Teodor C. Przymusinski (LPNMR, 1990)

Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. - Teodor C. Przymusinski (NACLP, 1990)

The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics. - Teodor C. Przymusinski (Fundam. Inform., 1990)

On the relationship between CWA, minimal model, and minimal herbrand model semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Int. J. Intell. Syst., 1990)

Semantics of Disjunctive Logic Programs and Deductive Databases. - Teodor C. Przymusinski (DOOD, 1991)

Well-Founded Completions of Logic Programs. - Teodor C. Przymusinski (ICLP, 1991)

Autoepistemic Logics of Closed Beliefs and Logic Programming. - Teodor C. Przymusinski (LPNMR, 1991)

Non-Monotonic Reasoning and Logic Programming. - Teodor C. Przymusinski (ISLP, 1991)

Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. - Teodor C. Przymusinski (Artif. Intell., 1991)

Stable Semantics for Disjunctive Programs. - Teodor C. Przymusinski (New Gener. Comput., 1991)

Soundness and Completeness of Partial Deductions for Well-Founded Semantics. - Halina Przymusinska; Teodor C. Przymusinski; Hirohisa Seki (LPAR, 1992)

Two Simple Characterizations of Well-Founded Semantics. - Teodor C. Przymusinski (MFCS, 1992)

A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs. - Teodor C. Przymusinski (AAAI, 1994)

Semantics of Disjunctive Programs: A Unifying Approach. - Teodor C. Przymusinski (GI Jahrestagung, 1994)

Autoepistemic Logic of Minimal Beliefs. - Teodor C. Przymusinski (JELIA, 1994)

Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. - Teodor C. Przymusinski (NMELP, 1994)

Well-founded and Stationary Models of Logic Programs. - Teodor C. Przymusinski (Ann. Math. Artif. Intell., 1994)

Stationary Default Extensions. - Halina Przymusinska; Teodor C. Przymusinski (Fundam. Informaticae, 1994)

Belief Revision in Non-Monotonic Reasoning. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (EPIA, 1995)

Loop Checking and the Wll-Founded Semantics. - Vladimir Lifschitz; Norman McCain; Teodor C. Przymusinski; Robert F. Stärk (LPNMR, 1995)

Static Semantics for Normal and Disjunctive Logic Programs. - Teodor C. Przymusinski (Ann. Math. Artif. Intell., 1995)

Super Logic Programs and Negation as Belief. - Teodor C. Przymusinski (ELP, 1996)

Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (JELIA, 1996)

Prolegomena to Logic Programming for Non-monotonic Reasoning. - Jürgen Dix; Luís Moniz Pereira; Teodor C. Przymusinski (NMELP, 1996)

Belief Revision in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (Fundam. Informaticae, 1996)

Logic Programming and Knowledge Representation (LPKR'97). - Jürgen Dix; Teodor C. Przymusinski; Luís Moniz Pereira (ILPS, 1997)

Autoepistemic Logic of Knowledge and Beliefs. - Teodor C. Przymusinski (Artif. Intell., 1997)

Update by Means of Inference Rules. - Teodor C. Przymusinski; Hudson Turner (J. Log. Program., 1997)

Dynamic Logic Programming. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 1998)

A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. - Stefan Brass; Jürgen Dix; Ilkka Niemelä; Teodor C. Przymusinski (KR, 1998)

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (J. Autom. Reason., 1998)

Preliminary exploration on actions as updates. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski; Halina Przymusinska; Paulo Quaresma (APPIA-GULP-PRODE, 1999)

LUPS - A Language for Updating Logic Programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (LPNMR, 1999)

Computation of the Semantics of Autoepistemic Belief Theories. - Stefan Brass; Jürgen Dix; Teodor C. Przymusinski (Artif. Intell., 1999)

Dynamic Knowledge Representation and Its Applications. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski; Paulo Quaresma (AIMSA, 2000)

Dynamic updates of non-monotonic knowledge bases. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (J. Log. Program., 2000)

On the equivalence of the static and disjunctive well-founded semantics and its computation. - Stefan Brass; Jürgen Dix; Ilkka Niemelä; Teodor C. Przymusinski (Theor. Comput. Sci., 2001)

A Language for Updates with Multiple Dimensions. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 2002)

LUPSA language for updating logic programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 2002)

A Language for Multi-dimensional Updates. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (CLIMA, 2002)

Super logic programs. - Stefan Brass; Jürgen Dix; Teodor C. Przymusinski (ACM Trans. Comput. Log., 2004)