Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDVictor W. Marek
V. Wiktor Marek
Person information
- affiliation: University of Kentucky, Lexington, KY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j64]Waldemar W. Koczkodaj, Victor W. Marek, Yusuf Yayli
:
Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory. Int. J. Approx. Reason. 139: 201-210 (2021)- 2020
- [j63]Waldemar W. Koczkodaj, Fang Liu, Victor W. Marek, Jirí Mazurek, Miroslaw Mazurek, Ludmil Mikhailov, Cenap Özel, Witold Pedrycz, Artur Przelaskowski, Andrew Schumann, Ryszard Smarzewski, Dominik Strzalka, Jacek Szybowski, Yusuf Yayli:
On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note. Int. J. Approx. Reason. 124: 59-65 (2020) - [j62]Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel:
On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. 30(1): 107-156 (2020) - [j61]Victor W. Marek:
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. Theory Pract. Log. Program. 20(3): 432-434 (2020)
2010 – 2019
- 2018
- [c73]Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek:
Edge-enabled Distributed Network Measurement. PerCom Workshops 2018: 524-529 - [c72]Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek:
An Edge-Focused Model for Distributed Streaming Data Applications. PerCom Workshops 2018: 657-662 - 2017
- [c71]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. IJCAI 2017: 4864-4868 - 2016
- [j60]Daniela Inclezan, Marco Maratea, Victor W. Marek:
Preface. Fundam. Informaticae 147(1): v-vii (2016) - [j59]Victor W. Marek:
All about Proofs, Proofs for All, 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. 16(2): 236-241 (2016) - [c70]Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey:
Cresco: A distributed agent-based edge computing framework. CNSM 2016: 400-405 - [c69]Victor W. Marek:
Working with Zdzislaw Pawlak - Personal Reminiscences. FedCSIS 2016: 189-190 - [c68]Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar:
Constellation: A secure self-optimizing framework for genomic processing. HealthCom 2016: 1-6 - [c67]Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel:
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS 2016: 60-75 - [c66]Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt:
Collating time-series resource data for system-wide job profiling. NOMS 2016: 1043-1048 - [c65]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. SAT 2016: 228-245 - [i18]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. CoRR abs/1605.00723 (2016) - 2014
- [j58]Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker:
Satisfiability-based Set Membership Filters. J. Satisf. Boolean Model. Comput. 8(3/4): 129-148 (2014) - [j57]Victor W. Marek, Andrzej Skowron:
Rough Sets and Matroids. Trans. Rough Sets 17: 74-81 (2014) - [c64]Vernon K. C. Bumgardner, Victor W. Marek:
Scalable hybrid stream and hadoop network analysis system. ICPE 2014: 219-224 - 2013
- [p3]Andrzej Skowron, Mihir K. Chakraborty, Jerzy W. Grzymala-Busse, Victor W. Marek, Sankar K. Pal, James F. Peters, Grzegorz Rozenberg, Dominik Slezak, Roman Slowinski, Shusaku Tsumoto, Alicja Wakulicz-Deja, Guoyin Wang, Wojciech Ziarko:
Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence. Rough Sets and Intelligent Systems (1) 2013: 1-56 - [p2]Victor W. Marek:
Zdzisław Pawlak, Databases and Rough Sets. Rough Sets and Intelligent Systems (1) 2013: 175-184 - [i17]Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel:
Index sets for Finite Normal Predicate Logic Programs. CoRR abs/1303.6555 (2013) - 2012
- [c63]Victor W. Marek, Jeffrey B. Remmel:
Disjunctive Programs with Set Constraints. Correct Reasoning 2012: 471-486 - 2011
- [j56]Mauricio Osorio, Victor W. Marek:
Preface. Fundam. Informaticae 113(1) (2011) - [j55]Victor W. Marek, Jeffrey B. Remmel:
Guarded resolution for Answer Set Programming. Theory Pract. Log. Program. 11(1): 111-123 (2011) - [c62]Victor W. Marek, Jeffrey B. Remmel:
Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 131-147 - [i16]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too. CoRR abs/1108.3278 (2011) - [i15]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Origins of Answer-Set Programming - Some Background And Two Personal Accounts. CoRR abs/1108.3281 (2011)
2000 – 2009
- 2009
- [j54]Victor W. Marek, Jeffrey B. Remmel:
The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Log. 161(3): 447-457 (2009) - [c61]Victor W. Marek, Jeffrey B. Remmel:
Automata and Answer Set Programming. LFCS 2009: 323-337 - [i14]V. Wiktor Marek, Jeffrey B. Remmel:
Guarded resolution for answer set programming. CoRR abs/0904.3953 (2009) - [i13]Victor W. Marek, Jeffrey B. Remmel:
An Application of Proof-Theory in answer Set Programming. CoRR abs/0905.0197 (2009) - 2008
- [j53]Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel:
Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008) - [j52]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone abstract constraint atoms. Theory Pract. Log. Program. 8(2): 167-199 (2008) - [j51]Victor W. Marek, Miroslaw Truszczynski:
Approximation Schemes in Logic and Artificial Intelligence. Trans. Rough Sets 9: 135-144 (2008) - [c60]Victor W. Marek:
Quo Vadis Answer Set Programming? ICLP 2008: 83-87 - [c59]Victor W. Marek, Jeffrey B. Remmel:
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP 2008: 223-237 - 2007
- [j50]Victor W. Marek, Jeffrey B. Remmel:
Compactness Properties for Stable Semantics of Logic Programs. Fundam. Informaticae 81(1-3): 211-239 (2007) - [j49]Victor W. Marek:
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. Theory Pract. Log. Program. 7(4): 499-503 (2007) - [j48]Victor W. Marek:
Characterizing Pawlak's Approximation Operators. Trans. Rough Sets 7: 140-150 (2007) - [c58]Victor W. Marek, Jeffrey B. Remmel:
Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400 - [c57]Victor W. Marek, Miroslaw Truszczynski:
Rough Sets and Approximation Schemes. RSEISP 2007: 22-28 - [e6]James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko:
Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II. Lecture Notes in Computer Science 4400, Springer 2007, ISBN 978-3-540-71662-4 [contents] - 2006
- [c56]Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel:
Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407 - [i12]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone abstract constraint atoms. CoRR abs/cs/0608103 (2006) - 2005
- [j47]Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek:
Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005) - [j46]Robert S. Boyer, Wilfred J. Legato, Victor W. Marek:
Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. 35(4): 355-371 (2005) - [c55]Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski:
Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78 - [i11]Victor W. Marek, Jeffrey B. Remmel:
Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - [i10]Jeffrey B. Remmel, Victor W. Marek:
Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [j45]Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski:
Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. 11(1) (2004) - [j44]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1): 84-121 (2004) - [j43]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. 34(15): 1481-1504 (2004) - [c54]Victor W. Marek, Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms. AAAI 2004: 86-91 - [c53]Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442 - [c52]Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel:
Using Logic Programs to Reason about Infinite Sets. AI&M 2004 - [c51]V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166 - [c50]V. Wiktor Marek, Jeffrey B. Remmel:
Set Constraints in Logic Programming. LPNMR 2004: 167-179 - [c49]Victor W. Marek, Jeffrey B. Remmel:
Answer set programming with default logic. NMR 2004: 276-284 - 2003
- [j42]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003) - [j41]V. Wiktor Marek, Jeffrey B. Remmel:
On the expressibility of stable logic programming. Theory Pract. Log. Program. 3(4-5): 551-567 (2003) - [c48]Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13 - [i9]V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. CoRR cs.AI/0312053 (2003) - [i8]V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone cardinality atoms. CoRR cs.LO/0310063 (2003) - [i7]Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
Satisfiability and computing van der Waerden numbers. CoRR cs.LO/0310064 (2003) - 2002
- [j40]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002) - [c47]Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski:
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002: 513-516 - [c46]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190 - [c45]Victor W. Marek, Jeffrey B. Remmel:
On logic programs with cardinality constraints. NMR 2002: 219-228 - [i6]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate approximations in nonmonotonic knowledge representation systems. CoRR cs.AI/0205014 (2002) - 2001
- [j39]Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001) - [j38]V. Wiktor Marek, Jan Mycielski:
Foundations of Mathematics in the Twentieth Century. Am. Math. Mon. 108(5): 449-468 (2001) - [j37]Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek:
Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001) - [c44]Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel. Answer Set Programming 2001 - [c43]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001 - [c42]Victor W. Marek, Jeffrey B. Remmel:
On the Foundations of Answer Set Programming. Answer Set Programming 2001 - [c41]V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120 - [i5]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated revision programs. CoRR cs.AI/0107026 (2001) - 2000
- [c40]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84 - [i4]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logics. CoRR cs.AI/0002002 (2000)
1990 – 1999
- 1999
- [j36]Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk:
Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999) - [j35]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96(1-3): 231-276 (1999) - [j34]V. Wiktor Marek, Miroslaw Truszczynski:
Contributions to the Theory of Rough Sets. Fundam. Informaticae 39(4): 389-409 (1999) - [c39]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated Revision Programs. LPNMR 1999: 49-62 - [p1]Victor W. Marek, Miroslaw Truszczynski:
Stable Models and an Alternative Logic Programming Paradigm. The Logic Programming Paradigm 1999: 375-398 - [e5]Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren:
The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, Springer 1999, ISBN 978-3-642-64249-4 [contents] - [i3]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Fixpoint 3-valued semantics for autoepistemic logic. CoRR cs.LO/9901003 (1999) - [i2]V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Representation Theory for Default Logic. CoRR cs.LO/9901016 (1999) - 1998
- [j33]Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek:
Myths about Rough Set Theory. Commun. ACM 41(11): 102-103 (1998) - [j32]Bradley F. Burton, V. Wiktor Marek:
Applications of the JAVA Programming Language to Database Management. SIGMOD Rec. 27(1): 27-34 (1998) - [j31]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Programming. Theor. Comput. Sci. 190(2): 241-277 (1998) - [c38]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998: 840-845 - [c37]Walton Sumner, Miroslaw Truszczynski, Victor W. Marek:
Simulating patients with Parallel Health State Networks. AMIA 1998 - [c36]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Revision Programming = Logic Programming + Integrity Constraints. CSL 1998: 73-89 - [c35]V. Wiktor Marek, Miroslaw Truszczynski:
Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24 - [i1]Victor W. Marek, Miroslaw Truszczynski:
Stable models and an alternative logic programming paradigm. CoRR cs.LO/9809032 (1998) - 1997
- [j30]V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997) - [j29]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997) - [j28]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32(2): 139-147 (1997) - [c34]Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski:
Intelligent Computation of Presentation Documents. ISMIS 1997: 560-569 - [c33]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225 - 1996
- [j27]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Informaticae 28(1-2): 87-100 (1996) - [c32]Joseph D. Oldham, V. Wiktor Marek:
Toward Intelligent Representation of Database Content. ISMIS 1996: 274-284 - [c31]Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236 - [c30]Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski:
Default Reasoning System DeReS. KR 1996: 518-528 - [c29]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. LICS 1996: 513-522 - 1995
- [j26]Howard A. Blair, V. Wiktor Marek, John S. Schlipf:
The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995) - [j25]V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski:
Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 357-378 (1995) - [c28]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382 - [c27]Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski:
Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281 - [c26]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185 - [c25]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. LPNMR 1995: 43-56 - [c24]William Brooks, V. Wiktor Marek, Miroslaw Truszczynski:
Algorithms for Maintaining Authorization Bases. OOIS 1995: 99-110 - [e4]V. Wiktor Marek, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, ISBN 3-540-59487-6 [contents] - 1994
- [j24]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67(1-3): 269-323 (1994) - [j23]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994) - [j22]Anil Nerode, Victor W. Marek, V. S. Subrahmanian:
Introduction. Methods Log. Comput. Sci. 1(1): 1-3 (1994) - [c23]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302 - [c22]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Specifications by Means of Programs. JELIA 1994: 122-136 - [c21]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases 1994 - 1993
- [b1]Victor W. Marek, Miroslaw Truszczynski:
Nonmonotonic logic - context-dependent reasoning. Artificial intelligence, Springer 1993, ISBN 978-3-540-56448-5, pp. I-XII, 1-417 - [j21]V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993) - [j20]Helena Rasiowa, V. Wiktor Marek:
Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993) - [c20]Helena Rasiowa, V. Wiktor Marek:
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151 - [c19]V. Wiktor Marek:
Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Kurt Gödel Colloquium 1993: 61 - [c18]V. Wiktor Marek, Miroslaw Truszczynski:
Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131 - 1992
- [j19]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992) - [j18]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Log. 56(1-3): 119-135 (1992) - [j17]V. Wiktor Marek, Miroslaw Truszczynski:
More on modal aspects of default logic. Fundam. Informaticae 17(1-2): 99-116 (1992) - [j16]Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski:
The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992) - [j15]V. Wiktor Marek, V. S. Subrahmanian:
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103(2): 365-386 (1992) - [c17]