The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. V. Wiktor Marek, Miroslaw Truszczynski
    Autoepistemic Logic. [Citation Graph (10, 0)][DBLP]
    J. ACM, 1991, v:38, n:3, pp:588-619 [Journal]
  2. V. Wiktor Marek, Zdzislaw Pawlak
    Information Storage and Retrieval Systems: Mathematical Foundations. [Citation Graph (5, 0)][DBLP]
    Theor. Comput. Sci., 1976, v:1, n:4, pp:331-354 [Journal]
  3. V. Wiktor Marek, V. S. Subrahmanian
    The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. [Citation Graph (3, 0)][DBLP]
    ICLP, 1989, pp:600-617 [Conf]
  4. V. Wiktor Marek
    Completeness and Consistency in Knowledge Base Systems. [Citation Graph (2, 0)][DBLP]
    Expert Database Conf., 1986, pp:119-126 [Conf]
  5. V. Wiktor Marek, Miroslaw Truszczynski
    Revision Programming, Database Updates and Integrity Constraints. [Citation Graph (2, 13)][DBLP]
    ICDT, 1995, pp:368-382 [Conf]
  6. Witold Lipski Jr., V. Wiktor Marek
    Information systems: on queries involving cardinalities. [Citation Graph (2, 0)][DBLP]
    Inf. Syst., 1979, v:4, n:1, pp:241-246 [Journal]
  7. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    The Stable Models of a Predicate Logic Program. [Citation Graph (1, 0)][DBLP]
    JICSLP, 1992, pp:446-460 [Conf]
  8. V. Wiktor Marek, Miroslaw Truszczynski
    Revision Specifications by Means of Programs. [Citation Graph (1, 0)][DBLP]
    JELIA, 1994, pp:122-136 [Conf]
  9. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Theory of Nonmonotonic Rule Systems [Citation Graph (1, 0)][DBLP]
    LICS, 1990, pp:79-94 [Conf]
  10. V. Wiktor Marek, Miroslaw Truszczynski
    Computing Intersection of Autoepistemic Expansions. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1991, pp:37-50 [Conf]
  11. V. Wiktor Marek, Miroslaw Truszczynski
    Stable Semantics for Logic Programs and Default Theories. [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:243-256 [Conf]
  12. Howard A. Blair, V. Wiktor Marek, John S. Schlipf
    The Expressiveness of Locally Stratified Programs. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:209-229 [Journal]
  13. Bradley F. Burton, V. Wiktor Marek
    Applications of the JAVA Programming Language to Database Management. [Citation Graph (1, 2)][DBLP]
    SIGMOD Record, 1998, v:27, n:1, pp:27-34 [Journal]
  14. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Fixpoint 3-Valued Semantics for Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:840-845 [Conf]
  15. Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
    Using Logic Programs to Reason about Infinite Sets. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  16. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
    Revision Programming = Logic Programming + Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    CSL, 1998, pp:73-89 [Conf]
  17. Aidong Zhang, V. Wiktor Marek
    On the Classification and Existence of Structures in Default Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1989, pp:129-140 [Conf]
  18. Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
    Generating Cellular Puzzles with Logic Programs. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2006, pp:403-407 [Conf]
  19. Witold Lipski Jr., V. Wiktor Marek
    File Organization, An Application of Graph Theory. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:270-279 [Conf]
  20. Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
    Experimenting with Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:267-281 [Conf]
  21. Jürgen Dix, Georg Gottlob, V. Wiktor Marek
    Causal Models of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:290-302 [Conf]
  22. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Rule Systems and Well-Orderings. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:69-92 [Conf]
  23. V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
    Complexity of Computing with Extended Propositional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:93-102 [Conf]
  24. Jerzy W. Jaromczyk, V. Wiktor Marek
    Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1987, pp:96-106 [Conf]
  25. Joseph D. Oldham, V. Wiktor Marek
    Toward Intelligent Representation of Database Content. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:274-284 [Conf]
  26. Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski
    Intelligent Computation of Presentation Documents. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:560-569 [Conf]
  27. Helena Rasiowa, V. Wiktor Marek
    Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:142-151 [Conf]
  28. Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
    Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:513-516 [Conf]
  29. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Infinitary Default Logic for Specification of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:224-236 [Conf]
  30. V. Wiktor Marek
    Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:61- [Conf]
  31. Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski
    Default Reasoning System DeReS. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:518-528 [Conf]
  32. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Uniform semantic treatment of default and autoepistemic logic. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:74-84 [Conf]
  33. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:177-190 [Conf]
  34. V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
    Modal Nonmonotonic Logics: Ranges, Characterization, Computation. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:395-404 [Conf]
  35. V. Wiktor Marek, Miroslaw Truszczynski
    Relating Autoepistemic and Default Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1989, pp:276-288 [Conf]
  36. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Basic Forward Chaining Construction for Logic Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:214-225 [Conf]
  37. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:178-185 [Conf]
  38. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    On the Complexity of Abduction. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:513-522 [Conf]
  39. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    On Logical Constraints in Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:43-56 [Conf]
  40. V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
    Logic Programs With Monotone Cardinality Atoms. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:154-166 [Conf]
  41. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
    Annotated Revision Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:49-62 [Conf]
  42. V. Wiktor Marek, Jeffrey B. Remmel
    On the Expressibility of Stable Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:107-120 [Conf]
  43. V. Wiktor Marek, Jeffrey B. Remmel
    Set Constraints in Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:167-179 [Conf]
  44. V. Wiktor Marek, Miroslaw Truszczynski
    Reflective Autoepistemic Logic and Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:115-131 [Conf]
  45. V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski
    Ranges of Strong Modal Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1990, pp:85-99 [Conf]
  46. V. Wiktor Marek, Miroslaw Truszczynski
    Normal Form Results for Default Logic. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1991, pp:270-283 [Conf]
  47. V. Wiktor Marek
    A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. [Citation Graph (0, 0)][DBLP]
    NMR, 1984, pp:194-240 [Conf]
  48. William Brooks, V. Wiktor Marek, Miroslaw Truszczynski
    Algorithms for Maintaining Authorization Bases. [Citation Graph (0, 0)][DBLP]
    OOIS, 1995, pp:99-110 [Conf]
  49. V. Wiktor Marek, Miroslaw Truszczynski
    Rough Sets - What Are They About? [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 1998, pp:24- [Conf]
  50. Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
    Satisfiability and Computing van der Waerden Numbers. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:1-13 [Conf]
  51. Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk
    Computing with Default Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:112, n:1-2, pp:105-146 [Journal]
  52. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Uniform semantic treatment of default and autoepistemic logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:143, n:1, pp:79-122 [Journal]
  53. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
    Annotated revision programs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:149-180 [Journal]
  54. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Theory of Nonmonotonic Rule Systems I. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  55. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Theory of Nonmonotonic Rule Systems II. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:5, n:2-4, pp:229-263 [Journal]
  56. V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
    Complexity of Computing with Extended Propositional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:3-4, pp:357-378 [Journal]
  57. V. Wiktor Marek, Miroslaw Truszczynski
    Modal Logic for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  58. V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:343-358 [Journal]
  59. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:269-323 [Journal]
  60. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Logic Programs, Well-Orderings, and Forward Chaining. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:231-276 [Journal]
  61. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    How Complicated is the Set of Stable Models of a Recursive Logic Program? [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:119-135 [Journal]
  62. V. Wiktor Marek, M. Srebrny
    On Transitive Models for Fragments of Set Theory. [Citation Graph (0, 0)][DBLP]
    Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys., 1973, v:21, n:5, pp:389-392 [Journal]
  63. Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek
    Myths about Rough Set Theory. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:11, pp:102-103 [Journal]
  64. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
    Annotated revision programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  65. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Ultimate approximations in nonmonotonic knowledge representation systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  66. V. Wiktor Marek, Jeffrey B. Remmel
    On the Expressibility of Stable Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  67. V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
    Logic programs with monotone cardinality atoms [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  68. Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
    Satisfiability and computing van der Waerden numbers [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  69. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
    Fixpoint 3-valued semantics for autoepistemic logic [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  70. V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Representation Theory for Default Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  71. Jürgen Dix, Georg Gottlob, V. Wiktor Marek
    Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:87-100 [Journal]
  72. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Complexity of Recursive Normal Default Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:2, pp:139-147 [Journal]
  73. V. Wiktor Marek, Miroslaw Truszczynski
    More on modal aspects of default logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:1-2, pp:99-116 [Journal]
  74. V. Wiktor Marek, Miroslaw Truszczynski
    Contributions to the Theory of Rough Sets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:4, pp:389-409 [Journal]
  75. V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
    Modal Nonmonotonic Logics: Ranges, Characterization, Computation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:4, pp:963-990 [Journal]
  76. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Default logic and specification of nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2001, v:13, n:2, pp:99-112 [Journal]
  77. Helena Rasiowa, V. Wiktor Marek
    Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 1993, v:2, n:2, pp:149-164 [Journal]
  78. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    The Stable Models of a Predicate Logic Program. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:21, n:3, pp:129-153 [Journal]
  79. Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
    The Pure Logic of Necessitation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:349-373 [Journal]
  80. V. Wiktor Marek, V. S. Subrahmanian
    The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:103, n:2, pp:365-386 [Journal]
  81. V. Wiktor Marek, Miroslaw Truszczynski
    Revision Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:190, n:2, pp:241-277 [Journal]
  82. V. Wiktor Marek
    A Natural Semantics for Modal Logic Over Databases. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:56, n:, pp:187-209 [Journal]
  83. V. Wiktor Marek, Helena Rasiowa
    Approximating Sets with Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:48, n:3, pp:145-152 [Journal]
  84. Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek
    Logic programming revisited: Logic programs as inductive definitions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:623-654 [Journal]
  85. V. Wiktor Marek, Jeffrey B. Remmel
    On the expressibility of stable logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:551-567 [Journal]

  86. Nonmonotonic rule systems with recursive sets of restraints. [Citation Graph (, )][DBLP]


  87. Guarded resolution for answer set programming [Citation Graph (, )][DBLP]


Search in 0.694secs, Finished in 0.700secs
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