E-LIB Suche - Ergebnisse für: Marek, Victor W.

1

Answer Set Programming, by Vladimir Lifschitz, Springer Nat..:

MAREK, VICTOR W.
Theory and Practice of Logic Programming. 20 (2020) 3 - p. 432-434 , 2020

Link: https://doi.org/10.1017/..

2

Constellation: A secure self-optimizing framework for genom..:

, In: 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom),

Cody Bumgardner, V.K. ; Marek, Victor W. ; Hickey, Caylin D.. - p. 1-6 , 2016

Link: https://doi.org/10.1109/..

3

All about Proofs, Proofs for All, Bruno Woltzenlogel Paleoa..:

Marek, Victor W.
Theory and Practice of Logic Programming. 16 (2015) 2 - p. 236-241 , 2015

Link: https://doi.org/10.1017/..

4

Scalable hybrid stream and hadoop network analysis system:

, In: Proceedings of the 5th ACM/SPEC international conference on Performance engineering,

Bumgardner, Vernon K.C. ; Marek, Victor W. - p. 219-224 , 2014

Link: https://dl.acm.org/doi/1..

5

Satisfiability-based Set Membership Filters:

Weaver, Sean A. ; Ray, Katrina J. ; Marek, Victor W...
Journal on Satisfiability, Boolean Modeling and Computation. 8 (2014) 3-4 - p. 129-148 , 2014

Link: https://doi.org/10.3233/..

6

Preface:

Osorio, Mauricio ; Marek, Victor W.
Fundamenta Informaticae. 113 (2011) 1 - p. v-vi , 2011

Link: https://doi.org/10.3233/..

7

The complexity of recursive constraint satisfaction problem:

Marek, Victor W. ; Remmel, Jeffrey B.
Annals of Pure and Applied Logic. 161 (2009) 3 - p. 447-457 , 2009

Link: https://doi.org/10.1016/..

8

Logic programs with monotone abstract constraint atoms:

MAREK, VICTOR W. ; NIEMELÄ, ILKKA ; TRUSZCZYŃSKI, MIROSŁAW
Theory and Practice of Logic Programming. 8 (2008) 2 - p. 167-199 , 2008

Link: https://doi.org/10.1017/..

9

Explanatory Nonmonotonic Reasoning by Alexander Bochman Wor..:

Marek, Victor W.
Theory and Practice of Logic Programming. 7 (2007) 4 - p. 499-503 , 2007

Link: https://doi.org/10.1017/..

10

Toward Automating the Discovery of Decreasing Measures:

Boyer, Robert S. ; Legato, Wilfred J. ; Marek, Victor W.
Journal of Automated Reasoning. 35 (2005) 4 - p. 355-371 , 2005

Link: https://doi.org/10.1007/..

11

Logic programming with infinite sets:

Cenzer, Douglas ; Remmel, Jeffrey B ; Marek, Victor W.
Annals of Mathematics and Artificial Intelligence. 44 (2005) 4 - p. 309-339 , 2005

Link: https://doi.org/10.1007/..

12

Constraint Lingo: towards high‐level constraint programming:

Finkel, Raphael ; Marek, Victor W. ; Truszczyński, Mirosław
Software: Practice and Experience. 34 (2004) 15 - p. 1481-1504 , 2004

Link: https://doi.org/10.1002/..

13

Ultimate approximation and its application in nonmonotonic ..:

Denecker, Marc ; Marek, Victor W. ; Truszczyński, Mirosław
Information and Computation. 192 (2004) 1 - p. 84-121 , 2004

Link: https://doi.org/10.1016/..

14

Uniform semantic treatment of default and autoepistemic log..:

Denecker, Marc ; Marek, Victor W. ; Truszczyński, Mirosław
Artificial Intelligence. 143 (2003) 1 - p. 79-122 , 2003

Link: https://doi.org/10.1016/..

15

On the expressibility of stable logic programming:

MAREK, VICTOR W. ; REMMEL, JEFFREY B.
Theory and Practice of Logic Programming. 3 (2003) 4+5 - p. 551-567 , 2003

Link: https://doi.org/10.1017/..