Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Marek, Victor W.
190  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Solving and Verifying the boolean Pythagorean Triples probl..:

Heule, Marijn J. H ; Kullmann, Oliver ; Marek, Victor W
http://arxiv.org/abs/1605.00723.  , 2016
Link: http://arxiv.org/abs/160..
 
?
2

Origins of Answer-Set Programming - Some Background And Two..:

Marek, Victor W ; Niemela, Ilkka ; Truszczynski, Miroslaw
http://arxiv.org/abs/1108.3281.  , 2011
Link: http://arxiv.org/abs/110..
 
?
3

Reiter's Default Logic Is a Logic of Autoepistemic Reasonin..:

Denecker, Marc ; Marek, Victor W ; Truszczynski, Miroslaw
http://arxiv.org/abs/1108.3278.  , 2011
Link: http://arxiv.org/abs/110..
 
?
4

Normal Form Theorem for Logic Programs with Cardinality Con..:

Marek, Victor W ; Remmel, Jeffrey B
doi:10.4230/DagSemProc.05171.5.  , 2005
Link: https://doi.org/10.4230/..
 
?
5

Set Based Logic Programming:

Remmel, Jeffrey B ; Marek, Victor W
doi:10.4230/DagSemProc.05171.8.  , 2005
Link: https://doi.org/10.4230/..
 
?
6

Satisfiability and Computing van der Waerden Numbers:

Dransfield, Michael R ; Liu, Lengning ; Marek, Victor W.
https://www.combinatorics.org/ojs/index.php/eljc/article/view/v11i1r41/pdf.  , 2004
Link: https://www.combinatoric..
 
?
7

Logic programs with monotone cardinality atoms:

Marek, Victor W ; Niemela, Ilkka ; Truszczynski, Miroslaw
http://arxiv.org/abs/cs/0310063.  , 2003
Link: http://arxiv.org/abs/cs/..
 
?
8

Satisfiability and computing van der Waerden numbers:

Dransfield, Michael R ; Marek, Victor W ; Truszczynski, Miroslaw
http://arxiv.org/abs/cs/0310064.  , 2003
Link: http://arxiv.org/abs/cs/..
 
?
9

On the Expressibility of Stable Logic Programming:

Marek, Victor W ; Remmel, Jeffrey B
http://arxiv.org/abs/cs/0312053.  , 2003
Link: http://arxiv.org/abs/cs/..
 
?
10

Ultimate approximations in nonmonotonic knowledge represent..:

Denecker, Marc ; Marek, Victor W ; Truszczynski, Miroslaw
http://arxiv.org/abs/cs/0205014.  , 2002
Link: http://arxiv.org/abs/cs/..
 
?
11

Uniform semantic treatment of default and autoepistemic log..:

Denecker, Marc ; Marek, Victor W ; Truszczynski, Miroslaw
http://arxiv.org/abs/cs/0002002.  , 2000
Link: http://arxiv.org/abs/cs/..
 
?
12

Stable models and an alternative logic programming paradigm:

Marek, Victor W ; Truszczynski, Miroslaw
http://arxiv.org/abs/cs/9809032.  , 1998
Link: http://arxiv.org/abs/cs/..
 
?
13

Data Transformations for Patient Simulations:

Sumner, Walton ; Truszczynski, Miroslaw ; Marek, Victor W
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2579830.  , 1995
Link: http://www.ncbi.nlm.nih...
 
?
14

Designing a Knowledge Base to Support Family Practice Certi..:

Sumner, Walton ; Marek, Victor W ; Truszczynski, Miroslaw
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3203569.  , 1993
Link: http://www.ncbi.nlm.nih...
 
?
15

The origins and spread of domestic horses from the Western ..:

Librado, Pablo ; Khan, Naveed ; Orlando, Ludovic...
Nature, T. 598, s. 634-640.  , 2021
Link: https://ruj.uj.edu.pl/xm..
 
1-15