Victor Marek

Victor Marek

University of Kentucky - Lexington / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400947
person_outline Victor Marek's MOST POPULAR ARTICLES
1-) Stable models and an alternative logic programming paradigmVW Marek, M TruszczyńskiThe Logic Programming Paradigm, 375-398, 19999471999
2-) Nonmonotonic logic: context-dependent reasoningVW Marek, M TruszczynskiSpringer Science & Business Media, 20136912013
3-) Solving and verifying the boolean pythagorean triples problem via cube-and-conquerMJH Heule, O Kullmann, VW MarekInternational Conference on Theory and Applications of Satisfiability …, 20162352016
4-) Computer architecture and process of patient generation, evolution, and simulation for computer based testing systemRJ Rivonelli, IIW Sumner, VW Marek, M TruszczynskiUS Patent 6,246,975, 20011882001
5-) Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoningM Denecker, V Marek, M TruszczyńskiLogic-based artificial intelligence, 127-144, 20001672000