BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Przymusinski:Teodor_C=

Contributed to:

KR 19981998
KR 19961996
ICLP 19911991
ILPS 19911991
ICLP 19901990
NACLP 19901990
KR 19891989
NACLP 19891989
PODS 19891989
ICLP/SPL 19881988
PODS 19861986

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.