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

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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..

8

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/..

9

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..

10

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/..

11

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..

12

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/..

13

XcelLog: a deductive spreadsheet system:

RAMAKRISHNAN, C.R. ; RAMAKRISHNAN, I.V. ; WARREN, DAVID S.
The Knowledge Engineering Review. 22 (2007) 3 - p. 269-279 , 2007

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

14

Security policy analysis using deductive spreadsheets:

, In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering,

Singh, Anu ; Ramakrishnan, C. R. ; Ramakrishnan, I. V... - p. 42-50 , 2007

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

15

Electronic states and photoexcitation processes of titanium..:

Yang, Jihua ; Warren, David S. ; Gordon, Keith C..
Journal of Applied Physics. 101 (2007) 2 - p. , 2007

Link: https://doi.org/10.1063/..