Victor Marek
机构: Professor of Computer Science, University of Kentucky
每年引用次数
引用次数
引用: 5,366
H-指数: 34
I10-指数 : 69
出版物: 225
On the Foundations of Answer Set Programming
Victor W. Marek , Jeffrey B. Remmel
Answer Set Programming
15
2001
Computing stable models in parallel
Miroslaw Truszczynski , Raphael A. Finkel , Victor W. Marek , Neil Moore
Answer Set Programming
24
2001
Set Based Logic Programming
Victor W. Marek , Jeffrey B. Remmel
dagstuhl seminar proceedings 0
3
2005
Designing a Knowledge Base to Support Family Practice Certification Examinations
Miroslaw Truszczynski , Victor W. Marek , Walton Sumner
annual symposium on computer application in medical care 909 -909
4
1993
Automatic Generation of English-language Steps in Puzzle Solving.
Miroslaw Truszczynski , Raphael A. Finkel , Victor W. Marek , Hemantha Ponnuru
international conference on artificial intelligence 437 -442
2
2004
Normal Form Theorem for Logic Programs with Cardinality Constraints
Victor W. Marek , Jeffrey B. Remmel
dagstuhl seminar proceedings 0
2005
Logic programs with abstract constraint atoms
Mirosław Truszczynski , Victor W. Marek
national conference on artificial intelligence 86 -91
52
2004
Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
Victor W. Marek , Richard J. Rovinelli , II Walton Sumner , Miroslav Truszczynski
189
2001
Tabular Constraint-Satisfaction Problems and Answer Set Programming.
Miroslaw Truszczynski , Raphael A. Finkel , Victor W. Marek
Answer Set Programming
6
2001
Constraint Lingo: towards high-level constraint programming
Mirosław Truszczyński , Raphael Finkel , Victor W. Marek
Software - Practice and Experience 34 ( 15) 1481 -1504
16
2004
Data Transformations for Patient Simulations
Miroslaw Truszczynski , Victor W. Marek , Walton Sumner
annual symposium on computer application in medical care 970 -970
5
1995
A formal model of family medicine.
Miroslaw Truszczynski , Victor W. Marek , Walton Sumner
Journal of The American Board of Family Practice 9 ( 1) 41 -52
7
1996
Cresco: A distributed agent-based edge computing framework
Victor W. Marek , V. K. Cody Bumgardner , Caylin D. Hickey
conference on network and service management 400 -405
11
2016
Satisfiability and computing van der Waerden numbers
Miroslaw Truszczynski , Michael R. Dransfield , Victor W. Marek
arXiv: Logic in Computer Science
6
2003
Mathematical Logic in Warsaw in the 60's and 70's, or the Interaction of Logic and Life
Victor W. Marek
IOS Press 15 -29
2008
Constellation: A secure self-optimizing framework for genomic processing
V.K. Cody Bumgardner , Victor W. Marek , Caylin D. Hickey , Kanna Nandakumar
international conference on e-health networking, applications and services 1 -6
4
2016
Applications of JAVA programming language to database management
Bradley F. Burton , Victor W. Marek
international conference on management of data 27 ( 1) 27 -34
16
1998
Myths about rough set theory
Waldemar W. Koczkodaj , Marian Orlowski , Victor W. Marek
Communications of The ACM 41 ( 11) 102 -103
20
1998
Toward Intelligent Representation of Database Content
Joseph D. Oldham , Victor W. Marek
international syposium on methodologies for intelligent systems 274 -284
1
1996
Computing with default logic
Paweł Cholewiński , Victor W. Marek , Mirosław Truszczyński , Artur Mikitiuk
Artificial Intelligence 112 ( 1-2) 105 -146
59
1999