IF/if.bib at master · calvis/IF · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
% XXX Still need:
% - Inform 7

@article{Girard87,
  author    = {Jean-Yves Girard},
  title     = {Linear Logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {50},
  year      = {1987},
  pages     = {1-102},
  ee        = {http://dx.doi.org/10.1016/0304-3975(87)90045-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Covington:1996:PPD:230996,
 author = {Covington, Michael A. and Nute, Donald and Vellino, Andr\'{e}},
 title = {Prolog programming in depth},
 year = {1997},
 isbn = {0-13-138645-X},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
}

@book{apt03principles,
  author = 	 {Krzysztof R. Apt},
  title = 	 {Principles of Constraint Programming},
  publisher =   {Cambridge University Press},
  year = 	 {2003},
}

@book{Marriottp98Pwc,
    author = {Marriott, Kim and Stuckey, Peter J.},
    citeulike-article-id = {3990896},
    key = {LP},
    keywords = {mylib},
    posted-at = {2009-02-01 09:45:18},
    priority = {2},
    publisher = {The MIT Press},
    title = {Programming with Constraints. {A}n Introduction},
    year = {1998}
}

@book{trs2005,
 author = {Daniel P. Friedman and William E. Byrd and Oleg Kiselyov},
 title = {The Reasoned Schemer},
 year = {2005},
 isbn = {0262562146},
 publisher = {The MIT Press},
 }


@Misc{zarfrulespage,
  OPTkey = 	 {},
  author = 	 {Andrew Plotkin},
  title = 	 {Rule-Based Programming},
  howpublished = {\url{http://eblong.com/zarf/rule-language.html}},
  month = 	 jun,
  year = 	 {2010},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Misc{theatrics,
  author = {increpare},
  title = {Theatrics},
  howpublished = {\url{http://www.increpare.com/2009/11/theatrics/}},
}


@Misc{millertalk,
  author = {Dale Miller},
  title = {Proof Search Foundations for Logic Programming},
  howpublished =
  {\url{http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/wollic03.pdf}},
  month = jul,
  year = {2003}
}

@Misc{smith-mine-ore-2009,
  OPTkey = 	 {},
  author = 	 {Adam M. Smith},
  title = 	 {You Have To Mine The Ore},
  howpublished = {\url{http://eis-blog.ucsc.edu/2009/06/you-have-to-mine-the-ore/}},
  month = 	 jun,
  year = 	 {2009},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inbook{Nute:1994:DL:186124.186131,
 author = {Nute, Donald},
 title = {Defeasible logic},
 book = {Handbook of logic in artificial intelligence and logic programming (vol. 3)},
 year = {1994},
 isbn = {0-19-853747-6},
 pages = {353--395},
 numpages = {43},
 url = {http://dl.acm.org/citation.cfm?id=186124.186131},
 acmid = {186131},
 publisher = {Oxford University Press, Inc.},
 address = {New York, NY, USA},
}

@incollection{Nelson2005,
    author = {Nelson, G.},
    booktitle = {IF Theory},
    day = {10},
    keywords = {analysis, languages, semantic, writing},
    month = apr,
    school = {St Anne's College, Oxford},
    title = {Natural Language, Semantic Analysis and Interactive Fiction},
    year = {2005}
}

@book{Montfort:2004:TLP:940352,
 author = {Montfort, Nick},
 title = {Twisty Little Passages: An Approach to Interactive Fiction},
 year = {2004},
 isbn = {0262134365},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}