Victor W. Marek
Orcid: 0000-0002-1369-5177Affiliations:
- University of Kentucky, Lexington, KY, USA
According to our database1,
Victor W. Marek
authored at least 140 papers
between 1973 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory.
Int. J. Approx. Reason., 2021
2020
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0.
Theory Pract. Log. Program., 2020
On the complexity of index sets for finite predicate logic programs which allow function symbols.
J. Log. Comput., 2020
On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note.
Int. J. Approx. Reason., 2020
2018
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
<i>All about Proofs, Proofs for All</i>, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.
Theory Pract. Log. Program., 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016
Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016
Proceedings of the 12th International Conference on Network and Service Management, 2016
2014
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014
2013
Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence.
Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013
Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013
2012
Proceedings of the Correct Reasoning, 2012
2011
CoRR, 2011
CoRR, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2009
Ann. Pure Appl. Log., 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
Theory Pract. Log. Program., 2008
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP.
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages.
Theory Pract. Log. Program., 2007
Fundam. Informaticae, 2007
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007
2006
Generating Cellular Puzzles with Logic Programs.
Proceedings of the 2006 International Conference on Artificial Intelligence, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Nonmonotonic Reasoning, 2005
2004
Softw. Pract. Exp., 2004
Ultimate approximation and its application in nonmonotonic knowledge representation systems.
Inf. Comput., 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004
Automatic Generation of English-language Steps in Puzzle Solving.
Proceedings of the International Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
2002
On logic programs with cardinality constraints.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
ACM Trans. Comput. Log., 2001
J. Exp. Theor. Artif. Intell., 2001
Proceedings of the Answer Set Programming, 2001
Proceedings of the Answer Set Programming, 2001
2000
Uniform semantic treatment of default and autoepistemic logic.
Proceedings of the KR 2000, 2000
1999
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1998
SIGMOD Rec., 1998
Proceedings of the Rough Sets and Current Trends in Computing, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
Proceedings of the AMIA 1998, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997
1996
Fundam. Informaticae, 1996
Default Reasoning System DeReS.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996
1995
Ann. Math. Artif. Intell., 1995
Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995
Proceedings of the Proceedings, 1995
Experimenting with Nonmonotonic Reasoning.
Proceedings of the Logic Programming, 1995
Proceedings of the Database Theory, 1995
1994
Introduction.
Methods Log. Comput. Sci., 1994
The Stable Models of a Predicate Logic Program.
J. Log. Program., 1994
Ann. Pure Appl. Log., 1994
On Logical Constraints in Logic Programming.
Proceedings of the ILPS 1994, 1994
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994
Causal Models of Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1994
1993
J. Intell. Inf. Syst., 1993
Reflective Autoepistemic Logic and Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
Artificial intelligence, Springer, ISBN: 0-387-56448-9, 1993
1992
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.
Theor. Comput. Sci., 1992
More on modal aspects of default logic.
Fundam. Informaticae, 1992
Ann. Pure Appl. Log., 1992
Rule Systems and Well-Orderings.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992
1991
Proceedings of the Nonmonotonic and Inductive Logic, 1991
Computing Intersection of Autoepistemic Expansions.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991
1990
Proceedings of the Nonmonotonic and Inductive Logic, 1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
1989
Stable Semantics for Logic Programs and Default Theories.
Proceedings of the Logic Programming, 1989
Relating Autoepistemic and Default Logics.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.
Proceedings of the Logic Programming, 1989
Proceedings of the EPIA 89, 1989
1988
Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press).
SIGART Newsl., 1988
1987
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press).
SIGART Newsl., 1987
Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I.
Proceedings of the Methodologies for Intelligent Systems, 1987
1986
Completeness and Consistency in Knowledge Base Systems.
Proceedings of the Expert Database Systems, 1986
1984
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984
1982
1979
1976
Theor. Comput. Sci., 1976
1975
1974
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974
1973
J. Symb. Log., 1973
On Transitive Models for Fragments of Set Theory.
Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973