Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Warren, David S.
1683  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

The Logic of Logic Programming:

Denecker, Marc ; Warren, David S
http://arxiv.org/abs/2304.13430.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Proceedings of the 2nd Workshop on Logic and Practice of Pr..:

Warren, David S ; Van Roy, Peter ; Liu, Yanhong A
http://arxiv.org/abs/2211.09923.  , 2022
Link: http://arxiv.org/abs/221..
 
?
3

LPOP: Challenges and Advances in Logic and Practice of Prog..:

Warren, David S ; Liu, Yanhong A
http://arxiv.org/abs/2008.07901.  , 2020
Link: http://arxiv.org/abs/200..
 
?
4

Top-down and Bottom-up Evaluation Procedurally Integrated:

Warren, David S
http://arxiv.org/abs/1804.08443.  , 2018
Link: http://arxiv.org/abs/180..
 
?
5

AppLP: A Dialogue on Applications of Logic Programming:

Warren, David S ; Liu, Yanhong A
http://arxiv.org/abs/1704.02375.  , 2017
Link: http://arxiv.org/abs/170..
 
?
6

Efficiently Retrieving Function Dependencies in the Linux K..:

Hadjichristodoulou, Spyros ; Porter, Donald E ; Warren, David S
http://arxiv.org/abs/1308.3938.  , 2013
Link: http://arxiv.org/abs/130..
 
?
7

Interning Ground Terms in XSB:

Warren, David S
http://arxiv.org/abs/1307.4644.  , 2013
Link: http://arxiv.org/abs/130..
 
?
8

XSB: Extending Prolog with Tabled Logic Programming:

Swift, Terrance ; Warren, David S
http://arxiv.org/abs/1012.5123.  , 2010
Link: http://arxiv.org/abs/101..
 
?
9

Swapping Evaluation: A Memory-Scalable Solution for Answer-..:

de Guzman, Pablo Chico ; Carro, Manuel ; Warren, David S
http://arxiv.org/abs/1007.3961.  , 2010
Link: http://arxiv.org/abs/100..
 
?
10

TCHR: a framework for tabled CLP:

Schrijvers, Tom ; Demoen, Bart ; Warren, David S
http://arxiv.org/abs/0712.3830.  , 2007
Link: http://arxiv.org/abs/071..
 
?
11

An Environment for the Exploration of Non Monotonic Logic P..:

Castro, Luis F ; Warren, David S
http://arxiv.org/abs/cs/0111049.  , 2001
Link: http://arxiv.org/abs/cs/..
 
?
12

Beyond depth-first strategies: improving tabled logic progr..:

Freire, Juliana ; Swift, Terrance ; Warren, David S
ir-main,12383.  , 1998
Link: https://collections.lib...
 
?
13

Taking I/O seriously: resolution reconsidered for disk:

Freire, Juliana ; Swift, Terrance ; Warren, David S
ir-main,12390.  , 1997
Link: https://collections.lib...
 
?
14

Pegcetacoplan for the treatment of geographic atrophy secon..:

HEIER, Jeffrey S ; LAD, Eleonora M ; HOLZ, Frank G...
1474-547X.  , 2023
Link: https://oskar-bordeaux.f..
 
?
15

Integrated analysis of environmental and genetic influences..:

Czamara, D. (Darina) ; Eraslan, G. (Gökçen) ; Page, C.M. (Christian M.)...
http://repub.eur.nl/pub/117267.  , 2019
Link: http://repub.eur.nl/pub/..
 
1-15