BibSonomy publications for /tag/prolog

From Programs to Object Code using Logic and Logic Programming.

jpbowen — 2011-08-02T00:41:44+02:00

Jonathan P. Bowen Code Generation, page 173-192. (1991)

Antwortmengenprogrammierung

baisemain — 2011-05-04T16:04:17+02:00

T. Schaub LOG IN: Informatische Bildung und Computer in der Schule (2003)

I do declare: Consensus in a logic language

giuliano.losa — 2011-01-07T15:06:25+01:00

P. Alvaro, T. Condie, N. Conway, J.M. Hellerstein, and R. Sears ACM SIGOPS Operating Systems Review 43(4):25--30 (2010)

An architecture for voice dialog systems based on prolog-style theorem proving

mortimer_m8 — 2010-12-17T18:47:41+01:00

Ronnie W. Smith, Alan W. Biermann, and Richard D. Hipp Comput. Linguist. 21(3):281--320 (1995)

Integration of domain problem solving with natural language dialog: the missing axiom theory

mortimer_m8 — 2010-12-17T18:47:41+01:00

Ronnie W. Smith 1707, page 270--278. SPIE, (1992)

An Open Source Rule Induction Tool for Transfer-Based SMT

unhammer — 2010-11-10T15:35:30+01:00

Y. Graham, and J. van Genabith The Prague Bulletin of Mathematical Linguistics, Special Issue: Open Source Tools for Machine Translation (2009)

The Art of Prolog: Advanced Programming Techniques

flint63 — 2010-10-31T22:42:44+01:00

Leon Sterling, and Ehud Shapiro MIT Press, Cambridge, MA, 2. edition, (1994)

Programmiermethoden der Künstlichen Intelligenz, Band 2

flint63 — 2010-10-31T22:42:36+01:00

Herbert Stoyan Springer, Berlin, (1991)

Programmiermethoden der Künstlichen Intelligenz, Band 1

flint63 — 2010-10-31T22:42:24+01:00

Herbert Stoyan Springer, Berlin, (1988)

Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz

flint63 — 2010-10-31T22:40:59+01:00

Clemens Beckstein Informatik-Fachberichte Springer, Berlin, (1988)

Prolog and Natural-Language Analysis

flint63 — 2010-10-31T22:38:19+01:00

Fernando C. N. Pereira, and Stuart M. Shieber CSLI Lecture Notes Center for the Study of Language and Information, Stanford, CA, (1987)

Prolog Programming for Artificial Intelligence

flint63 — 2010-10-29T17:02:17+02:00

Ivan Bratko Pearson Addison-Wesley, Harlow, England, 3. edition, (2000)

Fundamentals of Artificial Intelligence: An Advanced Course

flint63 — 2010-10-29T16:59:41+02:00

Wolfgang Bibel, and Philippe Jorrand (Eds.). Lecture Notes in Computer Science Springer, Berlin, (1986)

Programming in Prolog

flint63 — 2010-10-29T16:56:09+02:00

William F. Clocksin, and Christopher S. Mellish Springer, Berlin, 5. edition, (2003)

Natural Language Processing: A Prolog Perspective

flint63 — 2010-10-29T16:45:53+02:00

Christian Bitter, David A. Elizondo, and Yingjie Yang Artificial Intelligence Review 33(1-2):151-173 (2010)

Prolog Programming for Artificial Intelligence

emanuel — 2010-04-23T09:27:51+02:00

Ivan Bratko Addison-Wesley, (1986)

An Open Source Rule Induction Tool for Transfer-Based SMT

unhammer — 2009-08-06T18:54:18+02:00

Y. Graham, and J. van Genabith The Prague Bulletin of Mathematical Linguistics (January 2009)

Compiling Circular Attribute Grammars into Prolog

dparigot — 2009-05-10T18:36:57+02:00

Bijan Arbab International Business Machines Corporation. Journal of Research and Development 30(3):294--309 (May 1986)Also published as a report, IBM Los Angeles Scientific Center July 1985. .

A PROLOG Tool for Slicing Source Code

joba — 2009-05-06T19:50:13+02:00

Marbod Hopfner, Dietmar Seipel, and Joachim Baumeister WLP'05: Proceedings of the 19th Workshop on Constraint Logic Programming, (2005)

Prolog-Based Infrastructure for RDF: Scalability and Performance

jeenbroekstra — 2009-04-02T11:07:42+02:00

Jan Wielemaker, Guus Schreiber, and Bob Wielinga The Semantic Web - ISWC 2003, Second International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 644 - 658. (2003)