1: \begin{thebibliography}{BFGK96}
2:
3: \bibitem[AHV95]{AbiteboulHullVianu:95}
4: S.~Abiteboul, R.~Hull, and V.~Vianu.
5: \newblock {\em Foundations of databases: the logical level}.
6: \newblock Addison-Wesley Publishing Company, Inc., 1995.
7:
8: \bibitem[Bau91]{Bauer:91}
9: Heinz Bauer.
10: \newblock {\em Wahrscheinlichkeitstheorie}.
11: \newblock Walter de {G}ruyter, Berlin, New York, 4. edition, 1991.
12: \newblock (in German).
13:
14: \bibitem[Bau92]{Bauer:92}
15: Heinz Bauer.
16: \newblock {\em {M}ass- und {I}ntegrationstheorie}.
17: \newblock Walter de {G}ruyter, Berlin, New York, 2. edition, 1992.
18: \newblock (in German).
19:
20: \bibitem[BFGK96]{BoutilierFriedmanGoldszmidtKoller:96}
21: C.~Boutilier, N.~Friedman, M.~Goldszmidt, and D.~Koller.
22: \newblock Context-specific independence in {B}ayesian networks.
23: \newblock In {\em Proceedings of the Twelfth Annual Conference on Uncertainty
24: in Artificial Intelligence (UAI-1996)}, 1996.
25:
26: \bibitem[BGW94]{BreeseGoldmanWellman:94}
27: J.~S. Breese, R.~P. Goldman, and M.~P. Wellman.
28: \newblock Introduction to the special section on knowledge-based construction
29: of probabilistic and decision models.
30: \newblock {\em Cybernetics}, 24(11):1577--1579, 1994.
31:
32: \bibitem[BH95]{BurnellHorvitz:95}
33: L.~Burnell and E.~Horvitz.
34: \newblock Structure and chance: Melding logic and probability for software
35: debugging.
36: \newblock {\em Communications of the ACM}, 38(3):31--41, March 1995.
37:
38: \bibitem[Bra86]{Bratko:86}
39: I.~Bratko.
40: \newblock {\em PROLOG: Programming for {A}rtificial {I}ntelligence}.
41: \newblock Addison-Wesley, 1986.
42:
43: \bibitem[CDLS99]{CowellDawidLauritzenSpiegelhalter:99}
44: Robert~G. Cowell, A.~Philip Dawid, Steffen~L. Lauritzen, and David~J.
45: Spiegelhalter.
46: \newblock {\em Probabilistic networks and expert systems}.
47: \newblock Statistics for engineering and information. Springer-Verlag New York,
48: Inc., 1999.
49:
50: \bibitem[Cus99a]{Cussens:99b}
51: J.~Cussens.
52: \newblock Integrating probabilistic and logical reasoning.
53: \newblock In {\em Electronic Transaction on Artificial Intelligence}, 1999.
54: \newblock Machine Intelligence Workshop (MI16), special issue, (submitted).
55:
56: \bibitem[Cus99b]{Cussens:99}
57: J.~Cussens.
58: \newblock Loginear models for first-order probabilistic reasoning.
59: \newblock In {\em Proceedings of the Fifteenth Annual Conference on Uncertainty
60: in Artificial Intelligence (UAI-1999)}, 1999.
61:
62: \bibitem[Doe94]{Doets:94}
63: K.~Doets.
64: \newblock {\em {F}rom {L}ogic to {L}ogic {P}rogramming}.
65: \newblock The MIT Press, Cambridge, MA, USA, 1994.
66:
67: \bibitem[EN94]{ElmsriNavathe:94}
68: R.~Elmasri and {S. B.} Navathe.
69: \newblock {\em Fundamentals of {D}atabase {S}ystems}.
70: \newblock The Benjamin/Cummings Publishing Company, Inc., 2. edition, 1994.
71:
72: \bibitem[Fal81]{Falconer:81}
73: {D. S.} Falconer.
74: \newblock {\em Introduction to quantitative genetics}.
75: \newblock Longman Inc., New York, 2. edition, 1981.
76:
77: \bibitem[FF95]{FungDelFavero:95}
78: R.~Fung and B.~Del Favero.
79: \newblock Applying {B}ayesian networks to information retrieval.
80: \newblock {\em Communications of the ACM}, 38(3):42--48, March 1995.
81:
82: \bibitem[FG97]{FristedtGray:97}
83: B.~Fristedt and L.~Gray.
84: \newblock {\em {A} {M}odern {A}pproach to {P}robability {T}heory}.
85: \newblock {P}robability and its applications. {B}irkh\"auser {B}oston, 1997.
86:
87: \bibitem[FGKP99]{FriedmanGetoorKollerPfeffer:99}
88: N.~Friedman, L.~Getoor, D.~Koller, and A.~Pfeffer.
89: \newblock Learning probabilistic relational models.
90: \newblock In {\em Proceedings of the Sixteenth International Joint Conferences
91: on Artificial Intelligence (IJCAI-1999)}, 1999.
92:
93: \bibitem[FL98]{FabianLambert:98}
94: I.~Fabian and D.~A. Lambert.
95: \newblock First-order {B}ayesian reasoning.
96: \newblock In G.~Antoniou and S.~Slaney, editors, {\em Proceedings of 11th
97: Australian Joint Conference on Artificial Intelligence}, number 1502 in LNAI.
98: Springer, 1998.
99:
100: \bibitem[Fla94]{Flach:94}
101: P.~Flach.
102: \newblock {\em Simply logical: intelligent reasoning by example}.
103: \newblock John Wiley and Sons Ltd., 1994.
104:
105: \bibitem[GK95]{GlesnerKoller:95}
106: S.~Glesner and D.~Koller.
107: \newblock Constructing flexible dynamic belief netwoks from first-order
108: probabilistic knowledge bases.
109: \newblock In {\em Proceedings of the European Conference on Symbolic and
110: Quantitative Approaches to Reasoning and Uncertainty}, 1995.
111:
112: \bibitem[GVP90]{GeigerVermaPearl:90}
113: D.~Geiger, T.~Verma, and J.~Pearl.
114: \newblock Identifiying independence in {B}ayesian networks.
115: \newblock {\em Networks}, 20:507--534, 1990.
116:
117: \bibitem[Had94]{Haddawy:94}
118: P.~Haddawy.
119: \newblock Generating {B}ayesian networks from probabilistic logic knowledge
120: bases.
121: \newblock In {\em Proceedings of the Tenth Annual Conference on Uncertainty in
122: Artificial Intelligence (UAI-1994)}, 1994.
123:
124: \bibitem[Had99]{Haddawy:99}
125: P.~Haddawy.
126: \newblock {A}n {O}verview of {S}ome {R}ecent {D}evelopments on {B}ayesian
127: {P}roblem-{S}olving {T}echniques.
128: \newblock {\em AI Magazine - Special Issue on Uncertainty in AI}, 20(2):11--29,
129: 1999.
130:
131: \bibitem[Hal89]{Halpern:89}
132: J.~Y. Halpern.
133: \newblock An analysis of first-order logics of probability.
134: \newblock {\em Artificial Intelligence}, 46:311--350, 1989.
135:
136: \bibitem[HBR95]{HeckermanBreeseRommelse:95}
137: D.~Heckerman, J.~S. Breese, and K.~Rommelse.
138: \newblock Decision theoretic troubleshooting.
139: \newblock {\em Communications of the ACM}, 38(3):49--57, March 1995.
140:
141: \bibitem[HMW95]{HeckermanMamdaniWellman:95}
142: D.~Heckerman, A.~Mamdani, and M.~P. Wellman.
143: \newblock Real-world applications of {B}ayesian networks.
144: \newblock {\em Communications of the ACM}, 38(3):24--26, March 1995.
145:
146: \bibitem[Huga]{Hugin}
147: Hugin Expert A/S.
148: \newblock {\em Hugin}.
149: \newblock {\tt http://www.hugin.com}.
150:
151: \bibitem[Hugb]{HuginNetLanguage}
152: Hugin Expert A/S.
153: \newblock {\em {H}uign {H}elp. {T}he {N}et {L}anguage}.
154: \newblock {\tt http://www.hugin.dk/hugintro/language{\_}pane.html}.
155:
156: \bibitem[Hug01]{HuginAPIManual}
157: Hugin Expert A/S.
158: \newblock {\em {HUGIN} {API} {R}efernce {M}anual}, 2001.
159: \newblock {\tt http://www.hugin.com/documentation.html}.
160:
161: \bibitem[Jae97]{Jaeger:97}
162: M.~Jaeger.
163: \newblock Relational {B}ayesian networks.
164: \newblock In {\em Proceedings of the Thirteenth Annual Conference on
165: Uncertainty in Artificial Intelligence (UAI-1997)}, 1997.
166:
167: \bibitem[Jae98]{Jaeger:98b}
168: M.~Jaeger.
169: \newblock Reasoning about infinite random structures with relational {B}ayesian
170: networks.
171: \newblock In {\em Proceedings of KR-98}, 1998.
172:
173: \bibitem[Jen96]{Jensen:98}
174: Finn~V. Jensen.
175: \newblock {\em An introduction to {B}ayesian {N}etworks}.
176: \newblock UCL Press Limited, ! {G}unpowder Square, {L}ondon {EC4A 3DE}, 1996.
177: \newblock Reprinted 1998.
178:
179: \bibitem[JKK95]{JensenKongKjaerulff:95}
180: {C. S.} Jensen, A.~Kong, and U.~Kj{\ae}rulff.
181: \newblock Blocking gibbs sampling in very large probabilistic expert systems.
182: \newblock {\em International Journal of Human-Computer Studies}, 42:647--666,
183: 1995.
184:
185: \bibitem[KDK00]{KerstingDeRaedtKramer:00}
186: K.~Kersting, L.~{De Raedt}, and S.~Kramer.
187: \newblock {I}nterpreting {B}ayesian {L}ogic {P}rograms.
188: \newblock In L.~Getoor and D.~Jensen, editors, {\em Working Notes of the
189: AAAI-2000 Workshop on Learning Statistical Models from Relational Data
190: (SRL)}, 2000.
191:
192: \bibitem[KE97]{KemperEickler:97}
193: A.~Kemper and A.~Eickler.
194: \newblock {\em Datenbanksysteme}.
195: \newblock R. Oldenbourg Verlag M"unchen Wien, 2. edition, 1997.
196:
197: \bibitem[Ker00]{Kersting:00}
198: K.~Kersting.
199: \newblock {B}ayessche-logische {P}rogramme.
200: \newblock Master's thesis, Albert-Ludwigs-University, Freiburg, Germany, april
201: 2000.
202: \newblock in German.
203:
204: \bibitem[Kj{\ae}95]{Kjaerulff:95}
205: U.~Kj{\ae}rulff.
206: \newblock d{H}ugin: {A} {C}omputational {S}ystem for {D}ynamic {T}ime-{S}liced
207: {B}ayesian {N}etworks.
208: \newblock {\em {I}nternational {J}ournal of {F}orecasting, {S}pecial {I}ssue on
209: {P}robability {F}orecasting}, 11:89--111, 1995.
210:
211: \bibitem[KK71]{KowalskiKuehner:71}
212: R.~Kowalski and D.~Kuehner.
213: \newblock {L}inear {R}esolution with {S}election {F}unction.
214: \newblock {\em Artificial Intelligence}, 2:221--260, 1971.
215:
216: \bibitem[KKR95]{KanazawaKollerRussell:95}
217: K.~Kanazawa, D.~Koller, and S.~Russell.
218: \newblock {S}tochastic simulation algorithms for dynamic probabilistic
219: networks.
220: \newblock In {\em Proceedings of the Eleventh Annual Conference on Uncertainty
221: in Artificial Intelligence (UAI-1995)}, 1995.
222:
223: \bibitem[KMP97]{KollerMcAllesterPfeffer:97}
224: D.~Koller, D.~McAllester, and A.~Pfeffer.
225: \newblock {E}ffective {B}ayesian {I}nference for {S}ochastic {P}rograms.
226: \newblock In {\em Proceedings of the Fourteenth National Conference on
227: Artificial Intelligence (AAAI-1997)}, pages 740--747, 1997.
228:
229: \bibitem[KN99]{KoutsofiosNorth:99}
230: E.~Koutsofios and S.C. North.
231: \newblock {\em Drawing graphs with {\it dot} - {\it dot} {U}sers's {M}anual}.
232: \newblock AT\&T Labs - Research, 1999.
233:
234: \bibitem[Kol99]{Koller:99}
235: D.~Koller.
236: \newblock Probabilistic relational models.
237: \newblock In S.~Dzeroski and P.~Flach, editors, {\em Proceedings of Ninth
238: International Workschop on Inductive Logic Programming (ILP-1999)}. Springer,
239: 1999.
240:
241: \bibitem[Lan95]{Langley:95}
242: P.~Langley.
243: \newblock {\em {E}lements of {M}achine {L}earning}.
244: \newblock San Francisco: Morgan Kaufmann, 1995.
245:
246: \bibitem[Llo89]{Lloyd:89}
247: J.~W. Lloyd.
248: \newblock {\em Foundations of Logic Programming}.
249: \newblock Springer, Berlin, 2. edition, 1989.
250:
251: \bibitem[MD94]{MuggletonDeRaedt:94}
252: S.~Muggleton and L.~{De Raedt}.
253: \newblock Inductive logic programming: Theory and methods.
254: \newblock {\em Journal of Logic Programming}, 1994.
255:
256: \bibitem[Mug96]{Muggleton:96}
257: S.~Muggleton.
258: \newblock Stochastic logic programs.
259: \newblock In L.~{De Raedt}, editor, {\em Advances in Inductive Logic
260: Programming}. IOS Press, 1996.
261:
262: \bibitem[NH95]{NgoHaddawy:95}
263: L.~Ngo and P.~Haddawy.
264: \newblock Probabilistic logic programming and {B}ayesian networks.
265: \newblock In {\em Algorithms, Concurrency and Knowledge: Proceedings of the
266: Asian Computing Science Conference 1995}, Pathumthai, Thailand, December
267: 1995.
268:
269: \bibitem[NH97]{NgoHaddawy:97}
270: L.~Ngo and P.~Haddawy.
271: \newblock Answering queries form context-sensitive probabilistic knowledge
272: bases.
273: \newblock {\em Theoretical Computer Science}, 171:147--177, 1997.
274:
275: \bibitem[Nil71]{Nilsson:71}
276: {N. J.} Nilsson.
277: \newblock {\em {P}roblem-{S}olving {M}ethods in {A}rtificial {I}ntelligence}.
278: \newblock McGraw-Hill, New-York, 1971.
279:
280: \bibitem[Nil86]{Nilsson:86}
281: {N. J.} Nilsson.
282: \newblock {\em Principles of {A}rtificial {I}ntelligence}.
283: \newblock Springer-Verlag, New York, 1986.
284: \newblock Reprint, Originally published: Tioga Publishing Co. , 1980.
285:
286: \bibitem[Nil98]{Nilsson:98}
287: N.~J. Nilsson.
288: \newblock {\em Artificial Intelligence: a new synthesis}.
289: \newblock Morgan Kaufmann Publishers, Inc., 1. edition, 1998.
290:
291: \bibitem[NS92]{NgSubrahmanian:92}
292: R.~Ng and {V. S.} Subrahmanian.
293: \newblock Probabilistic logic programming.
294: \newblock {\em Information and Computation}, 101(2):150--201, 1992.
295:
296: \bibitem[Par96]{Parson:96}
297: S.~Parsons.
298: \newblock Current approaches to handling imperfect information in data and
299: knowledge bases.
300: \newblock {\em IEEE Transactions on Knowledge and Data Engineering},
301: 8(3):353--372, June 1996.
302:
303: \bibitem[Pea91]{Pearl:91}
304: J.~Pearl.
305: \newblock {\em Reasoning in Intelligent Systems: Networks of Plausible
306: Inference}.
307: \newblock Morgan Kaufmann, 2. edition, 1991.
308:
309: \bibitem[Pfe99]{Pfeffer:99}
310: A.~J. Pfeffer.
311: \newblock {\em Probabilistic Reasoning for Complex Systems}.
312: \newblock PhD thesis, Stanford University, 1999.
313:
314: \bibitem[Poo93]{Poole:93}
315: D.~Poole.
316: \newblock Probabilistic {H}orn abduction and {B}ayesian networks.
317: \newblock {\em Artificial Intelligence}, 64:81--129, 1993.
318:
319: \bibitem[RN95]{NorvigRussell:95}
320: S.~J. Russell and P.~Norvig.
321: \newblock {\em Artificial Intelligence: A Modern Approach}.
322: \newblock Prentice-Hall, Inc., 1995.
323:
324: \bibitem[Sat95]{Sato:95}
325: T.~Sato.
326: \newblock {A} {S}tatistical {L}earning {M}ethod for {L}ogic {P}rograms with
327: {D}istribution {S}emantics.
328: \newblock In {\em Proceedings of the 12th International Conference on Logic
329: Programming (ICLP-1995)}, pages pp. 715 -- 729, 1995.
330:
331: \bibitem[Sha98]{Shachter:98}
332: {R. D.} Shachter.
333: \newblock {B}ayes-{B}all: {T}he {R}ational {P}astime (for {D}etermining
334: {I}rrelevance and {R}equisite {I}nformation in {B}elief {N}etworks and
335: {I}nfluence {D}iagrams.
336: \newblock In {\em Proceedings of the Fourteenth Conference on Uncertainty in
337: Artificial Intelligence (UAI-1998)}, pages 480--487, 1998.
338:
339: \bibitem[SS86]{SterlingShapiro:86}
340: L.~Sterling and E.~Shapiro.
341: \newblock {\em The Art of Prolog: Advanced Programming Techniques}.
342: \newblock The MIT Press, 1986.
343:
344: \bibitem[Tho86]{Thompson:86}
345: {E. A.} Thompson.
346: \newblock {\em Pedigree analysis in human genetics}.
347: \newblock The Johns Hopkins series in contemporary medicine and public health.
348: The Johns Hopkins University Press, 1986.
349:
350: \bibitem[VM75]{VanderBrugMinker:75}
351: {G. J.} {VanderBrug} and J.~Minker.
352: \newblock {S}tate-{S}pace, {P}roblem-{R}eduction, and {T}heorem {P}roving -
353: {S}ome {R}elationships.
354: \newblock {\em Communications of the {ACM}}, 18(2):107--115, 1975.
355:
356: \bibitem[WJSR80]{WagnerJuddSandersRichardson:80}
357: {R. P.} Wagner, {B. H.} Judd, {B. G.} Sanders, and {R. H.} Richardson.
358: \newblock {\em Introduction to modern genetics}.
359: \newblock John Wiley \& Sons, Inc., 1980.
360:
361: \end{thebibliography}
362: