|
|
 |
Don't forget to come back to this page and click the check mark ( ) to vote for a site!
| Science & Tech /Computer Science /Logic Programming |
DBLP Bibliography
No Description available
(joinus.comeng.chungnam.ac.kr/~dolphin/db/index.html)
DBLP Bibliography
No Description available
(ftp.informatik.rwth-aachen.de/dblp/db/index.html)
DBLP Bibliography
No Description available
(http://www.informatik.uni-trier.de:8000/~ley/db/)
www-lp.doc.ic.ac.uk
Logic Programming Section, Department of Computing, Imperial College of Science, Technology and Medicine, University of London. Welcome to the Logic...
(www-lp.doc.ic.ac.uk)
star.cs.bris.ac.uk
Bristol CS | Index ] Concurrent and Constraint Logic Programming. Concurrent Logic Programming. Concurrent logic programming languages (such as Parlog and.
(star.cs.bris.ac.uk)
bavi.unice.fr/Biblio/LogicProgramming/ILPBook.html
Bibliography of the book "Inductive Logic Programming: Techniques and Applications". This bibliography forms a part of the Computer Science
(bavi.unice.fr/Biblio/LogicProgramming/ILPBook.html)
bavi.unice.fr/Biblio/LogicProgramming/Logic.Prog.h
Bibliography on Inductive Logic Programming. This bibliography forms a part of the Computer Science Bibliography Collection.
(bavi.unice.fr/Biblio/LogicProgramming/Logic.Prog.h)
btlabs1.labs.bt.com/bookshop/papers/4884117.htm
Workforce scheduling with constraint logic programming. Azarmi N.; Abdul-Hameed, W. BT Labs., Ipswich, UK BT Technology Journal, pp81-94, Jan. 1995....
(btlabs1.labs.bt.com/bookshop/papers/4884117.htm)
cm.bell-labs.com/who/felty/abstracts/welp92.html
A Logic Programming Approach to Implementing Higher-Order Term Rewriting Amy Felty. In Proceedings of the January 1991 Workshop on Extensions to Logic...
(cm.bell-labs.com/who/felty/abstracts/welp92.html)
cs.utep.edu/gelfond/gelfond.html
Professor of Computer Science (1980) University of Texas at El Paso El Paso, TX M.S. in Mathematics (1968), Leningrad University, Leningrad, USSR Ph.D. in Mathematics (1974) ...
(cs.utep.edu/gelfond/gelfond.html)
dsi.uniroma1.it/dsi/functional.html
Next: Parallel Algorithms and Architectures Up: Current Research Areas Previous: Complexity Theory. Functional and Logic Programming. Research on these...
(dsi.uniroma1.it/dsi/functional.html)
fas.sfu.ca/0h/cs/people/Faculty/Dahl/dahl
sfu.ca/cs/people/Faculty/Dahl/dahl.html please update your pointers
(fas.sfu.ca/0h/cs/people/Faculty/Dahl/dahl)
finisterrae.dc.fi.udc.es/lfcia/staff/valderruten/l
Logic Programming (1996-1997) Department of Computer Science. Faculty. Manuel Vilares Ferro. Alberto Valderruten. Jorge Graña Gil. Student Profile..
(finisterrae.dc.fi.udc.es/lfcia/staff/valderruten/l)
flp.cs.tu-berlin.de/index-english.html
FORMAL MODELS, LOGIC, AND PROGRAMMING (FLP) Study group at the Institute of Communication and Software Technology (WE 1331) at the Computer Science...
(flp.cs.tu-berlin.de/index-english.html)
ftp.ust.hk/dblp/db/conf/elp/elp92.html
Evelina Lamma, Paola Mello (Eds.): Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer ...
(ftp.ust.hk/dblp/db/conf/elp/elp92.html)
ftp.ust.hk/dblp/db/conf/iclp/iclp89.html
Giorgio Levi, Maurizio Martelli (Eds.): Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0 ...
(ftp.ust.hk/dblp/db/conf/iclp/iclp89.html)
ftp.ust.hk/dblp/db/conf/slp/slp86.html
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, September 22-25, 1986. IEEE-CS 1986, ISBN 0-8186-0728-9 The long versions of selected papers were ...
(ftp.ust.hk/dblp/db/conf/slp/slp86.html)
ftp.ust.hk/dblp/db/journals/jlp/jlp3.html
Volume 3, Number 1, April 1986. Dov M. Gabbay, Marek J. Sergot: Negation as Inconsistency I. 1-35 Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. 37-53 John ...
(ftp.ust.hk/dblp/db/journals/jlp/jlp3.html)
igd.rz-berlin.mpg.de/~www/lpi.html
Integrated Genomic Databases and Logic Programming. Part of the European Research Project 'Integrated Genomic Database' (IGD) These pages provide...
(igd.rz-berlin.mpg.de/~www/lpi.html)
igd.rz-berlin.mpg.de/~www/prolog/formilp.htm
Machine Learning using Inductive Logic Programming. Introduction. This page will eventually allow you to run a machine learning tool on the IGD data...
(igd.rz-berlin.mpg.de/~www/prolog/formilp.htm)
info.acm.org/coe/e1000162.html
ILPS '95: International Logic Programming Symposium. December 11-13 1995 in Portland, OR USA. Sponsor(s): Call for Papers. Submission Deadline: 4/24/95...
(info.acm.org/coe/e1000162.html)
info.gte.com/dblp/db/conf/slp/slp86.html
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, September 22-25, 1986. IEEE-CS 1986, ISBN 0-8186-0728-9 The long versions of selected papers were ...
(info.gte.com/dblp/db/conf/slp/slp86.html)
info.gte.com/dblp/db/indices/a-tree/d/Dung:Phan_Mi
Phan Minh Dung. List of publications from the Bibliography Server on Database Systems & Logic Programming Phan Minh Dung Kanchana Kanchanasut: On the Generalized Predicate ...
(info.gte.com/dblp/db/indices/a-tree/d/Dung:Phan_Mi)
info.gte.com/dblp/db/indices/a-tree/h/Hanus:Michae
Michael Hanus. List of publications from the Bibliography Server on Database Systems & Logic Programming Homepage Harald Ganzinger Michael Hanus: Modular Logic Programming of ...
(info.gte.com/dblp/db/indices/a-tree/h/Hanus:Michae)
info.gte.com/dblp/db/indices/a-tree/l/Lamma:Evelin
Evelina Lamma. List of publications from the Bibliography Server on Database Systems & Logic Programming Marco Cavalieri Evelina Lamma, Paola Mello, Antonio Natali: Meta- ...
(info.gte.com/dblp/db/indices/a-tree/l/Lamma:Evelin)
More in sites in this topic
 |
 Information about this site |
Vote for this site |
 Site not available |
|  |
|
| |
|
