|
Search the dblp DataBase
Victor W. Marek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Victor W. Marek, Miroslaw Truszczynski
Logic Programs with Abstract Constraint Atoms. [Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:86-91 [Conf]
- 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]
- 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]
- Victor W. Marek, Jeffrey B. Remmel
On the Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP] Answer Set Programming, 2001, pp:- [Conf]
- 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]
- 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]
- 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]
- 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]
- Victor W. Marek, Jeffrey B. Remmel
On logic programs with cardinality constraints. [Citation Graph (0, 0)][DBLP] NMR, 2002, pp:219-228 [Conf]
- Victor W. Marek, Jeffrey B. Remmel
Answer set programming with default logic. [Citation Graph (0, 0)][DBLP] NMR, 2004, pp:276-284 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Victor W. Marek, Miroslaw Truszczynski
Rough Sets and Approximation Schemes. [Citation Graph (0, 0)][DBLP] RSEISP, 2007, pp:22-28 [Conf]
- 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]
- Victor W. Marek
Characterizing Pawlak's Approximation Operators. [Citation Graph (0, 0)][DBLP] T. Rough Sets, 2007, v:7, n:, pp:140-150 [Journal]
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. [Citation Graph (, )][DBLP]
Quo Vadis Answer Set Programming? [Citation Graph (, )][DBLP]
Automata and Answer Set Programming. [Citation Graph (, )][DBLP]
Set based logic programming. [Citation Graph (, )][DBLP]
The complexity of recursive constraint satisfaction problems. [Citation Graph (, )][DBLP]
An Application of Proof-Theory in answer Set Programming [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|