( en | de | ru )

 

Disambiguation of "Przymusinski, Teodor C."

Author of the publication

copydeleteadd this publication to your clipboard
Loop Checking and the Wll-Founded Semantics.

, , , and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 127-142. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Teodor Nebozuk

Teodor Schlomka

Teodor Ghetiu

Teodor Buburuzan

Teodor Elsner

 

Other publications of authors with the same name

Weakly Perfect Model Semantics for Logic Programs., and . ICLP/SLP, page 1106-1120. MIT Press, (1988)Update by Means of Inference Rules., and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 156-174. Springer, (1995)Extended Stable Semantics for Normal and Disjunctive Programs.. ICLP, page 459-477. MIT Press, (1990)Semantics of Disjunctive Programs: A Unifying Approach.. GI Jahrestagung, page 52. Springer, (1994)Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.. LPNMR, page 103-106. (1990)The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics.. Fundam. Inform., 13 (4): 445-463 (1990)A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs.. AAAI, page 952-958. AAAI Press / The MIT Press, (1994)0-262-61102-3.Well-Founded Completions of Logic Programs.. ICLP, page 726-741. MIT Press, (1991)A Language for Updates with Multiple Dimensions., , , , and . APPIA-GULP-PRODE, page 325-341. Facultad de Informática, Universidad Politécnica de Madrid, (2002)On the Declarative and Procedural Semantics of Logic Programs.. J. Autom. Reason., 5 (2): 167-205 (1989)