- On Truth Maintenance with Literals. Wiktor Marek1
- Toward Automating the Discovery of Decreasing Measures
- Fundamenta Informaticae XXXI (2006) 139151 139 Complexity of Recursive Normal Default Logic
- Effectively Reasoning about Infinite Sets in Answer Set Programming
- Automatic generation of English-language steps in puzzle solving Hemantha Ponnuru, Raphael Finkel, Victor Marek, and Miroslaw Truszczynski
- Fixpoint 3-valued semantics for autoepistemic Marc Denecker1
- Sequence Semantics for Doxastic Logic and M. Suchenek
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. maybe later; 00:125 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- Computing stable models in parallel R.A. Finkel, V.W. Marek, N. Moore and M. Truszczynski
- Computing with default logic Pawel Cholewinski
- Intelligent Computation of Presentation Joseph D. Oldham and Victor W. Marek and Miroslaw Truszczynski
- Representation Theory for Default Logic V. Wiktor Marek1 Jan Treur2 and Miroslaw Truszczynski3
- Infinitary Default Logic for Specification of Nonmonotonic Reasoning
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- A theory of nonmonotonic rule systems and J. Remmel3
- Under consideration for publication in Theory and Practice of Logic Programming 1 Guarded resolution for Answer Set Programming
- Complexity of computing with extended propositional logic programs
- Quo Vadis Answer Set Programming? Past, Present, and Future
- On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP
- How complicated is the set of stable models of a recursive logic program?
- Rough Sets and Approximation Schemes V. W. Marek1
- Nonmonotonic Reasoning V.W. Marek and A. Nerode
- Toward Intelligent Representation of Database Joseph D. Oldham and Victor W. Marek
- A General Logic-Based Authorization Model Department of Computer Science, University of Texas,
- Under consideration for publication in Theory and Practice of Logic Programming 1 Logic programs with monotone abstract
- Characterizing Pawlak's Approximation Operators Victor W. Marek
- ALGORITHMIC PROPERTIES OF AUTARKIES Algorithmic properties of autarkies
- Approximating answer sets of unitary Lifschitz-Woo Victor W. Marek, Inna Pivkina, and Miroslaw Truszczynski
- Answer Set Programming with Default Logic Victor W. Marek
- Logic programs with monotone cardinality atoms Victor W. Marek1
- Set Constraints in Logic Programming Victor W. Marek1
- Under consideration for publication in Theory and Practice of Logic Programming 1 On the Expressibility of Stable Logic
- Ultimate approximations in nonmonotonic knowledge representation Marc Denecker
- THE EVOLUTION OF... Edited by Abe Shenitzer and John Stillwell
- arXiv:cs.LO/9809032v118Sep1998 Stable models and an alternative logic programming paradigm
- Revision programming = logic programming + constraints Victor Marek, Inna Pivkina and Miroslaw Truszczynski
- Applications of JAVA programming language to database Bradley F. Burton and Victor W. Marek
- Revision programming Victor W. Marek
- Logic Programs, Well-orderings, and Forward V.W. Marek,1
- First-Order Default Logic Howard A. Blair Victor W. Marek
- The Expressiveness of Locally Stratified Programs Howard A. Blair1
- Nonmonotonic Rule Systems with recursive sets of restraints
- Logical Constraints and Logic Programming 1 V. Wiktor Marek, 2
- Reflexive autoepistemic logic and logic programming
- Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing
- A Context for Belief Revision: Forward Chaining-Normal Nonmonotonic Rule Systems
- A theory of nonmonotonic rule systems I and J. Remmel3
- Non-Monotonic Predicate Logics Syntax, Semantics, Completeness
- Modal nonmonotonic logics: ranges, characterization, computation
- Modal logic for default reasoning and M. Truszczynski1
- On reaching consensus by groups of intelligent agents Helena Rasiowa and Wiktor Mareky
- Under consideration for publication in Theory and Practice of Logic Programming 1 Logic programs with monotone cardinality atoms
- Fixpoint 3-valued semantics for autoepistemic logic Marc Denecker
- Satisfiability and computing van der Waerden numbers Michael R. Dransfield
- Fundamenta Informaticae 34 (1999) 1{21 1 Contributions to the Theory of Rough Sets
- Decision procedure for Default Logic
- Zdzislaw Pawlak, Databases and Rough Sets V. W. Marek
- [MT91] W. Marek and M. Truszczynski. Autoepistemic logic. Journal of the ACM, 1991. [Rei80] R. Reiter. A logic for default reasoning. Arti cial Intelligence, 13:81{132, 1980.
- Computing intersection of autoepis-temic expansions
- Towards a Theory of Interestingness Computer Science Department
- Logic programs with abstract constraint atoms Content areas: Knowledge representation, logic programming, nonmonotonic reasoning
- Uniform semantic treatment of default and autoepistemic logics Marc Denecker
- Normal form results for default logic
- A theory of nonmonotonic rule systems II and J. Remmel3
- More on modal aspects of default logic V. Wiktor Marek
- Logic Programming Revisited: Logic Programs as Inductive Definitions
- Annotated revision programs Victor Marek Inna Pivkina Miroslaw Truszczynski
- Constraint Lingo: Towards high-level constraint programming
- Spatial Logic Programming Howard A. Blair1
- Logic programming with costs Victor W. Marek
- Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
- Default Reasoning System DeReS Pawel Cholewinski
- Basic Forward Chaining Construction for Logic V.W. Marek1
- An application of proof-theory in ASP V. W. Marek1
- STABLE THEORIES IN AUTOEPISTEMIC LOGIC Department of Computer Science
- Set Based Logic Programming H.A. Blair1
- Proceedings of the 12th International Con-ference on Logic Programming, MIT Press,
- Compactness properties for stable semantics of logic programs J.B. Remmel
- The complexity of recursive constraint satisfaction Victor W. Marek
- Creating Evolution Scenarios for Hybrid Systems Victor W. Marek
- Extensions of Answer Set Programming V. W. Marek
- Origins of Answer-Set Programming Some Background And Two Personal Accounts
- Reiter's Default Logic Is a Logic of Autoepis-temic Reasoning And a Good One, Too