diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added bibitem for ilProlog.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1815 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
kostis 2007-03-08 18:37:29 +00:00
parent 52c4cfb18f
commit 453fa94df8
1 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
docs/index/lp.bib
View File

@ -22,7 +22,6 @@
@String(IJMMS = {International Journal of Man-Machine Studies}) @String(IJMMS = {International Journal of Man-Machine Studies})
@String(JAIR = {Journal of Artificial Intelligence Research}) @String(JAIR = {Journal of Artificial Intelligence Research})
@String(JETAI = {Journal of Experimental and Theoretical Artificial Intelligence}) @String(JETAI = {Journal of Experimental and Theoretical Artificial Intelligence})
@String(JLP = {Journal of Logic Programming})
@String(KA = {Knowledge Acquisition}) @String(KA = {Knowledge Acquisition})
@String(ML = {Machine Learning}) @String(ML = {Machine Learning})
@String(NGC = {New Generation Computing}) @String(NGC = {New Generation Computing})
@ -174,7 +173,8 @@
@string{TCOM = "IEEE Transactions on Computers"} @string{TCOM = "IEEE Transactions on Computers"}
@string{IBMJ = "IBM Journal of Research and Development"} @string{IBMJ = "IBM Journal of Research and Development"}
@string{NCC = "Proc. AFIPS NCC"} @string{NCC = "Proc. AFIPS NCC"}
@string{JLP = "The Journal of Logic Programming"} @string{JLP = "Journal of Logic Programming"}
@string{TPLP = "Theory and Practice of Logic Programming"}
@string{NGC = "New Generation Computing"} @string{NGC = "New Generation Computing"}
@string{ICLP87 = "Proceedings of the Fourth International Conference on Logic Programming"} @string{ICLP87 = "Proceedings of the Fourth International Conference on Logic Programming"}
@string{ICLP88 = "Proceedings of the Fifth International Conference and Symposium on Logic Programming"} @string{ICLP88 = "Proceedings of the Fifth International Conference and Symposium on Logic Programming"}
@ -257,11 +257,25 @@ organization = "State University of New York at Stony Brook",
year = "1993" year = "1993"
} }
@Article{ilProlog,
author = "Remco Tron\c{c}on and Gerda Janssens and Bart Demoen and
Henk Vandecasteele",
title = "Fast frequent quering with lazy control flow compilation",
journal = TPLP,
year = 2007,
OPTvolume = {},
OPTnumber = {},
OPTpages = {},
OPTmonth = {},
note = "To appear",
url = "http://www.cs.kuleuven.ac.be/cgi-bin-dtai/publ_info.pl?id=41995"
}
@InProceedings{TOAM@ICLP-90, @InProceedings{TOAM@ICLP-90,
author = "Zhou, Neng-Fa and Takagi, Toshihisa and Kazuo, Ushijima", author = "Zhou, Neng-Fa and Takagi, Toshihisa and Kazuo, Ushijima",
title = "A Matching Tree Oriented Abstract Machine for {P}rolog", title = "A Matching Tree Oriented Abstract Machine for {P}rolog",
pages = "158--173", pages = "158--173",
booktitle = "ICLP90", booktitle = ICLP90,
editor = "Warren, David H. D. and Szeredi, P\'eter", editor = "Warren, David H. D. and Szeredi, P\'eter",
year = 1990, year = 1990,
publisher = "MIT Press" publisher = "MIT Press"
@ -299,7 +313,7 @@ organization = "State University of New York at Stony Brook",
author = "Warren, David H. D.", author = "Warren, David H. D.",
title = "An Abstract {P}rolog Instruction Set", title = "An Abstract {P}rolog Instruction Set",
institution = "SRI International", institution = "SRI International",
year = "1983", year = 1983,
type = "Technical Note", type = "Technical Note",
number = "309" number = "309"
} }
@ -351,6 +365,7 @@ institution = "Department of Artificial Intelligence, University of Edinburgh"
booktitle = ICLP89, booktitle = ICLP89,
month = jun, month = jun,
year = 1989, year = 1989,
editor = "Giorgio Levi and Maurizio Martelli",
publisher = "MIT Press" publisher = "MIT Press"
} }