Mirosław Truszczyński

Author

Also Known As

Ghose, Aditya K, M Truszczynski, M. TRUSZCZYNSKI, M. Truszczynski, M. Truszczyński, MIREK TRUSZCZYNSKI, MIROSLAW TRUSZCZYNSKI, MIROSLAW TRUSZCZYŃSKI, MIROSŁAW TRUSZCZYŃSKI, Mirek Truszczyński

302

Publications

7.1K

Citations

H-Index

Concepts

All Affiliations

University of Kentucky Warsaw University of Technology Leipzig University

About

Mirosław Truszczyński is an author at University of Kentucky specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	51	4.2K
2	Language Studies	9	9	1.2K
3	Education	3	3	196
4	Business	1	1	14
5	Humanities	1	1	25

Mirosław Truszczyński

Publications

4.8K

Citations

H-Index

Page 1

	Year	Citations
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017) Giovanni Amendola, Francesco Ricca, Mirosław Truszczyński International Joint Conference on Artificial Intelligence Artificial IntelligenceIjcai 2017Ai ArchitectureInternational Joint ConferenceMachine Learning	2017	1.2K
Answer set programming at a glance Gerhard Brewka, Thomas Eiter, Mirosław Truszczyński Communications of the ACM Artificial IntelligenceDeclarative ProgrammingEngineeringProgramming ParadigmQuestion Answering	2011	901
Autoepistemic logic Wiktor Marek, Mirosław Truszczyński Journal of the ACM Computational LogicNon-classical LogicAutoepistemic TheoryEngineeringAutomated Reasoning	1991	420
The Computational Complexity of Dominance and Consistency in CP-Nets Judy Goldsmith, Jérôme Lang, Mirosław Truszczyński, Journal of Artificial Intelligence Research Circuit ComplexityMathematical ProgrammingComputational Complexity TheoryEngineeringReachability Problem	2008	139
Answer set optimization Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński	2003	129
Relating autoepistemic and default logics Wiktor Marek, Mirosław Truszczyński Principles of Knowledge Representation and Reasoning Non-classical LogicEngineeringAutomated ReasoningDefault LogicDefault Logics	1989	112
Uniform semantic treatment of default and autoepistemic logics Marc Denecker, Victor W. Marek, Mirosław Truszczyński Artificial Intelligence Non-classical LogicEngineeringAutomated ReasoningDefault LogicUniform Semantic Treatment	2003	100
Default reasoning system DeReS Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński	1996	96
Ultimate approximation and its application in nonmonotonic knowledge representation systems Marc Denecker, Victor W. Marek, Mirosław Truszczyński Information and Computation Knowledge BaseKnowledge RepresentationEngineeringAutomated ReasoningNonmonotonic Logic	2004	84
Stable Semantics for Logic Programs and Default Theories. Victor W. Marek, Mirosław Truszczyński Minerva Endocrinologica EngineeringAutomated ReasoningDefault LogicFormal MethodsWell-founded Semantics	1989	73

Page 1