☰

Miroslaw Truszczynski

Affiliations: 
University of Kentucky, Lexington, KY 
Area:
Computer Science
Google:
"Miroslaw Truszczynski"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Deborah J. East grad student 2001 University of Kentucky
Inna V. Pivkina grad student 2001 University of Kentucky
Lengning Liu grad student 2006 University of Kentucky
Gayathri Namasivayam grad student 2011 University of Kentucky

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Amendola G, Ricca F, Truszczynski M. (2020) New models for generating hard random boolean formulas and disjunctive logic programs Artificial Intelligence. 279: 103185
Caroprese L, Trubitsyna I, Truszczyński M, et al. (2019) A logical framework for view updating in indefinite databases Logic Journal of the Igpl. 27: 777-811
Amendola G, Ricca F, Truszczynski M. (2019) Beyond NP: Quantifying over Answer Sets Theory and Practice of Logic Programming. 19: 705-721
Liu X, Truszczynski M. (2019) New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules. Annales Des TéLéCommunications. 97-111
Bruynooghe M, Denecker M, Truszczynski M. (2016) First Order Logic with Inductive Definitions for Model-Based Problem Solving Ai Magazine. 37: 69-80
Brewka G, Eiter T, Truszczynski M. (2016) Answer Set Programming: An Introduction to the Special Issue Ai Magazine. 37: 5-6
Lierler Y, Truszczynski M. (2016) On abstract modular inference systems and solvers Artificial Intelligence. 236: 65-89
Fichte JK, Truszczynski M, Woltran S. (2015) Dual-normal logic programs – the forgotten class Theory and Practice of Logic Programming. 15: 495-510
Harrison A, Lifschitz V, Truszczynski M. (2015) On equivalence of infinitary formulas under the stable model semantics Theory and Practice of Logic Programming. 15: 18-34
Caroprese L, Trubitsyna I, Truszczyński M, et al. (2014) A Measure of Arbitrariness in Abductive Explanations Theory and Practice of Logic Programming. 14: 665-679
See more...