( en | de | ru )

 

Disambiguation of "Truszczynski, Miroslaw"

Author of the publication

copydeleteadd this publication to your clipboard
Dual-normal logic programs - the forgotten class.

, , and . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)

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.

Miroslaw Korzeniowski

Miroslaw Ciesla

Miroslaw Malek

Miroslaw Szarzynski

Miroslaw Burbelo

 

Other publications of authors with the same name

Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.. LPNMR, page 150-169. (1990)Routing non-convex grids without holes., and . Great Lakes Symposium on VLSI, page 157-162. IEEE, (1991)aspps - An Implementation of Answer-Set Programming with Propositional Schemata., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 402-405. Springer, (2001)Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems., , and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 513-516. Springer, (2002)An algorithm of finding an acyclic f-graph for a family od sets.. Fundam. Informaticae, 3 (3): 379-396 (1980)Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.. Fundam. Informaticae, 14 (3): 355-366 (1991)Optimal F-Graphs for the Family of all K-Subsets of an N-Set., , and . FODO, page 247-270. Academic Press, (1981)Maximin Share Allocations on Cycles., and . J. Artif. Intell. Res., (2020)Fixpoint 3-Valued Semantics for Autoepistemic Logic., , and . AAAI/IAAI, page 840-845. AAAI Press / The MIT Press, (1998)Learning Partial Lexicographic Preference Trees over Combinatorial Domains., and . AAAI, page 1539-1545. AAAI Press, (2015)