Victor W. Marek - Concepedia

Author

Victor W. Marek

Also Known As

Marek, V., Marek, V. W., Marek, V. Wiktor, Marek, Victor, Marek, Victor W., V W Marek, V. W. MAREK, V. W. Marek, V. WIKTOR MAREK, V. Wiktor Marek

167

Publications

3.3K

Citations

H-Index

Concepts

All Affiliations

University of Kentucky University of California San Diego KU Leuven Cornell University National Security Agency

About

Victor W. Marek is an author at University of Kentucky specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	24	893
2	Computer Science	16	19	629
3	Language Studies	3	3	164
4	Humanities	2	2	64
5	Computer Engineering	1	1	23

Victor W. Marek

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
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
Revision programming Victor W. Marek, Mirosz.xl law Truszczyński Theoretical Computer Science	1998	74
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
Logic programming revisited Maurice Bruynooghe, Victor W. Marek ACM Transactions on Computational Logic Applied LogicComputational LogicNon-classical LogicEngineeringAutomated Reasoning	2001	69
Computing with default logic Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński, Artificial Intelligence Applied LogicEngineeringAutomated ReasoningDefault LogicFormal Methods	1999	56
Modal nonmonotonic logics Victor W. Marek, Grigori Schwarz, Mirosław Truszczyński Journal of the ACM Non-classical LogicNon-monotonic LogicEngineeringSubstructural LogicAutomated Reasoning	1993	49
Contributions to the Theory of Rough Sets Victor W. Marek, Mirosław Truszczyński Fundamenta Informaticae Rough SetsEngineeringAutomated ReasoningInformation GranuleFormal Methods	1999	48
Logic programs with abstract constraint atoms Victor W. Marek, Mirosław Truszczyński	2004	47

Page 1