Concepedia

Victor W. Marek

VW

35

Publications

1.3K

Citations

22

H-Index

1989

Active since

Affiliations

University of Kentucky(Current)

University of California San Diego

Cornell University

National Security Agency

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceLogic ProgrammingSemanticsFormal VerificationDiscrete MathematicsComputational ComplexityLanguage

Publications per year

1989–2016

35

Publications

35

Uniform semantic treatment of default and autoepistemic logics

Marc Denecker, Victor W. Marek, Mirosław Truszczyński · Artificial Intelligence · 2003 · 100 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

Default reasoning system DeReS

Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński · 1996 · 96 citations

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Marc Denecker, Victor W. Marek, Mirosław Truszczyński · Information and Computation · 2004 · 84 citations · Full text

Knowledge Base, Knowledge Representation, Engineering +8

Revision programming

Victor W. Marek, Mirosz.xl law Truszczyński · Theoretical Computer Science · 1998 · 74 citations

Stable Semantics for Logic Programs and Default Theories.

Victor W. Marek, Mirosław Truszczyński · Minerva Endocrinologica · 1989 · 73 citations

Engineering, Automated Reasoning, Default Logic +5

Rows per page

1–5 of 35