E-LIB Suche - Ergebnisse für: Warren, David S.

1

Prolog: The Next 50 Years

Lecture Notes in Artificial Intelligence, 13900

Warren, David S ; Dahl, Veronica ; Eiter, Thomas... - 1st ed. 2023 . , 2023

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

2

Introduction to Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Warren, David S. - p. 3-19 , 2023

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

3

A Better Logical Semantics for Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Warren, David S. ; Denecker, Marc - p. 82-92 , 2023

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

4

Writing Correct Prolog Programs:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Warren, David S. - p. 62-70 , 2023

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

5

Developing a new generation of scientist communicators thro..:

Mackay, Sean M. ; Tan, Eng Wui ; Warren, David S.
Communications Chemistry. 3 (2020) 1 - p. , 2020

Link: https://doi.org/10.1038/..

6

Top-down and Bottom-up Evaluation Procedurally Integrated:

WARREN, DAVID S.
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 706-721 , 2018

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

7

XSB: Extending Prolog with Tabled Logic Programming:

SWIFT, TERRANCE ; WARREN, DAVID S.
Theory and Practice of Logic Programming. 12 (2011) 1-2 - p. 157-187 , 2011

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

8

Shallow Electron Trap, Interfacial Water, and Outer-Sphere ..:

Savory, David M. ; Warren, David S. ; McQuillan, A. James
The Journal of Physical Chemistry C. 115 (2010) 4 - p. 902-907 , 2010

Link: https://doi.org/10.1021/..

9

Swapping evaluation: A memory-scalable solution for answer-..:

DE GUZM'AN, PABLO CHICO ; CARRO, MANUEL ; WARREN, DAVID S.
Theory and Practice of Logic Programming. 10 (2010) 4-6 - p. 401-416 , 2010

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

10

Logic programming

25th international conference, ICLP 2009, Pasadena, CA, USA... Lecture notes in computer science ; 5649

Hill, Patricia M. ; Warren, David S. , 2009

Link: http://dx.doi.org/10.100..

11

Practical aspects of declarative languages

10th international symposium, PADL 2008, San Francisco, CA,... Lecture notes in computer science ; 4902

Hudak, Paul ; Warren, David S. , 2008

Link: http://dx.doi.org/10.100..

12

Practical Aspects of Declarative Languages

10th International Symposium, PADL 2008, San Francisco, CA,... Lecture Notes in Computer Science ; 4902;SpringerLink, Bücher

Warren, David S. ; Hudak, Paul , 2008

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

13

TCHR: a framework for tabled CLP:

SCHRIJVERS, TOM ; DEMOEN, BART ; WARREN, DAVID S.
Theory and Practice of Logic Programming. 8 (2008) 4 - p. 491-526 , 2008

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

14

Infrared Spectroscopic and DFT Vibrational Mode Study of Pe..:

Warren, David S. ; McQuillan, A. James
The Journal of Physical Chemistry B. 112 (2008) 34 - p. 10535-10543 , 2008

Link: https://doi.org/10.1021/..

15

A methodology for in-network evaluation of integrated logic..:

, In: Proceedings of the 6th ACM conference on Embedded network sensor systems,

Singh, Anu ; Ramakrishnan, C R. ; Ramakrishnan, I V... - p. 197-210 , 2008

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