The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Victor W. Marek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Victor W. Marek, Miroslaw Truszczynski
    Logic Programs with Abstract Constraint Atoms. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:86-91 [Conf]
  2. Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
    Computing stable models in parallel. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  3. Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Tabular Constraint-Satisfaction Problems and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  4. Victor W. Marek, Jeffrey B. Remmel
    On the Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  5. Victor W. Marek, Jeffrey B. Remmel
    Normal Form Theorem for Logic Programs with Cardinality Constraints. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  6. Jeffrey B. Remmel, Victor W. Marek
    Set Based Logic Programming. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  7. Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Automatic Generation of English-language Steps in Puzzle Solving. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2004, pp:437-442 [Conf]
  8. Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
    Approximating Answer Sets of Unitary Lifschitz-Woo Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:66-78 [Conf]
  9. Victor W. Marek, Jeffrey B. Remmel
    On logic programs with cardinality constraints. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:219-228 [Conf]
  10. Victor W. Marek, Jeffrey B. Remmel
    Answer set programming with default logic. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:276-284 [Conf]
  11. Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
    Logic programming with infinite sets. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:309-339 [Journal]
  12. Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
    Satisfiability and Computing van der Waerden Numbers. [Citation Graph (0, 0)][DBLP]
    Electr. J. Comb., 2004, v:11, n:1, pp:- [Journal]
  13. Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
    Uniform semantic treatment of default and autoepistemic logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  14. Victor W. Marek, Miroslaw Truszczynski
    Stable models and an alternative logic programming paradigm [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  15. Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
    Ultimate approximation and its application in nonmonotonic knowledge representation systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:192, n:1, pp:84-121 [Journal]
  16. Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
    Toward Automating the Discovery of Decreasing Measures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:4, pp:355-371 [Journal]
  17. Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Constraint Lingo: towards high-level constraint programming. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:15, pp:1481-1504 [Journal]
  18. Victor W. Marek, Jeffrey B. Remmel
    Compactness Properties for Stable Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:379-400 [Conf]
  19. Victor W. Marek, Miroslaw Truszczynski
    Rough Sets and Approximation Schemes. [Citation Graph (0, 0)][DBLP]
    RSEISP, 2007, pp:22-28 [Conf]
  20. Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
    Logic programs with monotone abstract constraint atoms [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  21. Victor W. Marek
    Characterizing Pawlak's Approximation Operators. [Citation Graph (0, 0)][DBLP]
    T. Rough Sets, 2007, v:7, n:, pp:140-150 [Journal]

  22. On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. [Citation Graph (, )][DBLP]


  23. Quo Vadis Answer Set Programming? [Citation Graph (, )][DBLP]


  24. Automata and Answer Set Programming. [Citation Graph (, )][DBLP]


  25. Set based logic programming. [Citation Graph (, )][DBLP]


  26. The complexity of recursive constraint satisfaction problems. [Citation Graph (, )][DBLP]


  27. An Application of Proof-Theory in answer Set Programming [Citation Graph (, )][DBLP]


Search in 0.071secs, Finished in 0.073secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002