Faculty

Institution

Unit

Venue

Victor Marek

Professor Emeritus

University of Kentucky

Affiliations

Stanley and Karen Pigman College of Engineering

Computer Science

Victor Marek is currently serving as a Computer Science Professor Emeritus at University of Kentucky.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Victor Marek

University of Kentucky

Professor Emeritus

You can click a keyword to filter the displayed items

computer science logic programming knowledge representation and reasoning artificial intelligence logic in computer science mathematical logic theoretical computer science automated reasoning formal methods nonmonotonic logic mathematics applied mathematics theory of computation machine learning answer set programming cognitive science default logic automated deduction applied logic natural language processing mathematical programming nonmonotonic reasoning logic programs computational intelligence programming languages computational logic programming language theory satisfiability non-classical logic revision programming infinite sets approximate reasoning data security well-founded semantics first-order logic computability theory stable models stable semantics logic programming paradigm modal nonmonotonic logics constraint lingo normal default logic autoepistemic logics fuzzy logic liver physiology vascular biology respiratory medicine service management mathematical optimization discrete algorithms distributed systems reasoning system information theory optimization problems constrained optimization formal theory formal modeling formalization scalable computing analytic combinatorics enumerative combinatorics belief merging belief revision dynamic epistemic logic belief function constraint programming software practice sat solving network management filter design filtering technique context-dependent reasoning stable operators well-founded fixpoints ultimate approximation default theories computer-assisted reasoning

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Pairwise Comparisons Matrix Decomposition Into Approximation and Orthogonal Component Using Lie Theory. International Journal of Approximate Reasoning (2021)

W.W. KoczkodajV.W. MarekY. Yayli

approximation theorylie theoryorthogonal componentapplied mathematics

Answer Set Programming, by Vladimir Lifschitz, Springer Nature Switzerland Ag, Isbn 978-3-030-24657-0. Theory and Practice of Logic Programming (2020)

VICTOR W. MAREK

approximate reasoningautomated reasoningknowledge representation and reasoninglogic in computer sciencecomputational logicapplied logiccomputer sciencelogic programminganswer set programminglogic synthesistheory of computationautomated deductionmathematical programmingmathematical logicformal methodsvladimir lifschitzformal verification

Logic Programming and Effectively Closed Sets. WORLD SCIENTIFIC eBooks (2020)

Douglas CenzerVictor W. MarekJeffrey B. Remmel

logic programmingknowledge representation and reasoning

On the Complexity of Index Sets for Finite Predicate Logic Programs Which Allow Function Symbols. Journal of Logic and Computation (2020)

D CenzerV W MarekJ B Remmel

computer scienceinformaticslogic programmingfunction symbolslogic in computer scienceindex sets

On the Use of Group Theory to Generalize Elements of Pairwise Comparisons Matrix: A Cautionary Note. International Journal of Approximate Reasoning (2020)

W.W. KoczkodajF. LiuV.W. MarekJ. MazurekM. MazurekL. MikhailovC. ÖzelW. PedryczA. PrzelaskowskiA. SchumannR. SmarzewskiD. StrzalkaJ. SzybowskiY. Yayli

cautionary noteapproximate reasoningapplied mathematicsgroup theory

Using Group Theory in Pairwise Comparisons: A Brief Critique. arXiv (Cornell University) (2019)

W. W. KoczkodajN. K. KrivulinV. W. MarekM. MazurekL. MikhailovA. PrzelaskowskiG. RedlarskiR. RudekM. SoltysD. StrzalkaJ. SzybowskiZ. XuY. YayliK. K. F. Yuen

brief critiquegroup theorypairwise comparisonssocial sciences

An Edge-Focused Model for Distributed Streaming Data Applications. (2018)

V. K. Cody BumgardnerCaylin HickeyVictor W. Marek

systems engineeringdata applicationsstreaming dataedge computingdata stream managementedge-focused model

A View of Revival of Mathematical Logic in Warsaw, 1945–1975. Studies in universal logic (2018)

Victor W. Marek

philosophy of logichistory of logicphilosophymathematical logic

Edge-Enabled Distributed Network Measurement. (2018)

V. K. Cody BumgardnerCaylin HickeyVictor W. Marek

distributed systemssystems engineeringnetwork measurementedge computingsoftware-defined networking

Solving Very Hard Problems: Cube-And-Conquer, a Hybrid Sat Solving Method. International Joint Conference on Artificial Intelligence (2017)

Marijn J.H. HeuleOliver KullmannVictor W. Marek

computational sciencesat solvingcomputer sciencehard problems

1
2
3
4
5
13
10 / page

Victor Marek

Professor Emeritus

University of Kentucky

Affiliations

Stanley and Karen Pigman College of Engineering

Computer Science

Victor Marek is currently serving as a Computer Science Professor Emeritus at University of Kentucky.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Victor Marek

University of Kentucky

Professor Emeritus

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Pairwise Comparisons Matrix Decomposition Into Approximation and Orthogonal Component Using Lie Theory. International Journal of Approximate Reasoning (2021)

W.W. KoczkodajV.W. MarekY. Yayli

approximation theorylie theoryorthogonal componentapplied mathematics

Answer Set Programming, by Vladimir Lifschitz, Springer Nature Switzerland Ag, Isbn 978-3-030-24657-0. Theory and Practice of Logic Programming (2020)

VICTOR W. MAREK

Logic Programming and Effectively Closed Sets. WORLD SCIENTIFIC eBooks (2020)

Douglas CenzerVictor W. MarekJeffrey B. Remmel

logic programmingknowledge representation and reasoning

On the Complexity of Index Sets for Finite Predicate Logic Programs Which Allow Function Symbols. Journal of Logic and Computation (2020)

D CenzerV W MarekJ B Remmel

computer scienceinformaticslogic programmingfunction symbolslogic in computer scienceindex sets

On the Use of Group Theory to Generalize Elements of Pairwise Comparisons Matrix: A Cautionary Note. International Journal of Approximate Reasoning (2020)

W.W. KoczkodajF. LiuV.W. MarekJ. MazurekM. MazurekL. MikhailovC. ÖzelW. PedryczA. PrzelaskowskiA. SchumannR. SmarzewskiD. StrzalkaJ. SzybowskiY. Yayli

cautionary noteapproximate reasoningapplied mathematicsgroup theory

Using Group Theory in Pairwise Comparisons: A Brief Critique. arXiv (Cornell University) (2019)

W. W. KoczkodajN. K. KrivulinV. W. MarekM. MazurekL. MikhailovA. PrzelaskowskiG. RedlarskiR. RudekM. SoltysD. StrzalkaJ. SzybowskiZ. XuY. YayliK. K. F. Yuen

brief critiquegroup theorypairwise comparisonssocial sciences

An Edge-Focused Model for Distributed Streaming Data Applications. (2018)

V. K. Cody BumgardnerCaylin HickeyVictor W. Marek

systems engineeringdata applicationsstreaming dataedge computingdata stream managementedge-focused model

A View of Revival of Mathematical Logic in Warsaw, 1945–1975. Studies in universal logic (2018)

Victor W. Marek

philosophy of logichistory of logicphilosophymathematical logic

Edge-Enabled Distributed Network Measurement. (2018)

V. K. Cody BumgardnerCaylin HickeyVictor W. Marek

distributed systemssystems engineeringnetwork measurementedge computingsoftware-defined networking

Solving Very Hard Problems: Cube-And-Conquer, a Hybrid Sat Solving Method. International Joint Conference on Artificial Intelligence (2017)

Marijn J.H. HeuleOliver KullmannVictor W. Marek

computational sciencesat solvingcomputer sciencehard problems

1
2
3
4
5
13
10 / page

Similar Faculty Members

Miroslaw Truszczynski

Institution

University of Kentucky

computer-assisted reasoning

constraint satisfaction

David A. Plaisted

Institution

University of North Carolina at Chapel Hill

mechanical theorem proving

software engineering

Gopal Gupta

Institution

University of Texas at Dallas

automation

knowledge representation and reasoning

Hantao Zhang

Institution

University of Iowa

computer-assisted reasoning

artificial intelligence

Marco Gaboardi

Institution

Boston University

information security

privacy system

Kfoury

Institution

Boston University

logic programming

mathematical logic

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Clark Barrett

Institution

Stanford University

computer science

formal methods

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Similar Faculty Members

Miroslaw Truszczynski

Institution

University of Kentucky

computer-assisted reasoning

constraint satisfaction

David A. Plaisted

Institution

University of North Carolina at Chapel Hill

mechanical theorem proving

software engineering

Gopal Gupta

Institution

University of Texas at Dallas

automation

knowledge representation and reasoning

Hantao Zhang

Institution

University of Iowa

computer-assisted reasoning

artificial intelligence

Marco Gaboardi

Institution

Boston University

information security

privacy system

Kfoury

Institution

Boston University

logic programming

mathematical logic

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Clark Barrett

Institution

Stanford University

computer science

formal methods

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar