`Travelled to:`

1 × Canada

1 × France

1 × Israel

1 × Italy

7 × USA

`Collaborated with:`

∅ H.Przymusinska S.Brass J.Dix M.Gelfond I.Niemelä J.J.Alferes J.A.Leite L.M.Pereira

`Talks about:`

program (10) logic (9) semant (5) disjunct (3) model (3) perfect (2) monoton (2) reason (2) extend (2) found (2)

## Person: Teodor C. Przymusinski

### DBLP: Przymusinski:Teodor_C=

### Contributed to:

### Wrote 13 papers:

- KR-1998-AlferesLPPP #logic programming
- Dynamic Logic Programming (JJA, JAL, LMP, HP, TCP), pp. 98–111.
- KR-1998-BrassDNP #comparison #implementation #semantics
- A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.
- KR-1996-BrassDP #logic programming #source code
- Super Logic Programs (SB, JD, TCP), pp. 529–540.
- ICLP-1991-Przymusinski #logic programming #source code
- Well-Founded Completions of Logic Programs (TCP), pp. 726–741.
- ISLP-1991-Przymusinski #logic programming #reasoning
- Non-Monotonic Reasoning and Logic Programming (TCP), pp. 735–736.
- CLP-1990-Przymusinski90 #semantics #source code
- Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.
- NACLP-1990-Przymusinski #database #deduction #logic programming #semantics #source code
- Stationary Semantics for Disjunctive Logic Programs and Deductive Databases (TCP), pp. 40–59.
- KR-1989-Przymusinski #formal method #logic programming #reasoning
- Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
- NACLP-1989-Przymusinski #logic programming #on the
- On Constructive Negation in Logic Programming (TCP).
- PODS-1989-Przymusinski #fixpoint #logic programming
- Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
- JICSCP-1988-PrzymusinskaP88 #logic programming #semantics #source code
- Weakly Perfect Model Semantics for Logic Programs (HP, TCP), pp. 1106–1120.
- JICSCP-1988-Przymusinski88 #semantics
- Perfect Model Semantics (TCP), pp. 1081–1096.
- PODS-1986-GelfondPP #parallel
- The Extended Closed World Assumpution and its Relationship to Parallel Circumscription (MG, HP, TCP), pp. 133–139.