blp.bbl
\begin{thebibliography}{BFGK96}

\bibitem[AHV95]{AbiteboulHullVianu:95}
S.~Abiteboul, R.~Hull, and V.~Vianu.
\newblock {\em Foundations of databases: the logical level}.
\newblock Addison-Wesley Publishing Company, Inc., 1995.

\bibitem[Bau91]{Bauer:91}
Heinz Bauer.
\newblock {\em Wahrscheinlichkeitstheorie}.
\newblock Walter de {G}ruyter, Berlin, New York, 4. edition, 1991.
\newblock (in German).

\bibitem[Bau92]{Bauer:92}
Heinz Bauer.
\newblock {\em {M}ass- und {I}ntegrationstheorie}.
\newblock Walter de {G}ruyter, Berlin, New York, 2. edition, 1992.
\newblock (in German).

\bibitem[BFGK96]{BoutilierFriedmanGoldszmidtKoller:96}
C.~Boutilier, N.~Friedman, M.~Goldszmidt, and D.~Koller.
\newblock Context-specific independence in {B}ayesian networks.
\newblock In {\em Proceedings of the Twelfth Annual Conference on Uncertainty
  in Artificial Intelligence (UAI-1996)}, 1996.

\bibitem[BGW94]{BreeseGoldmanWellman:94}
J.~S. Breese, R.~P. Goldman, and M.~P. Wellman.
\newblock Introduction to the special section on knowledge-based construction
  of probabilistic and decision models.
\newblock {\em Cybernetics}, 24(11):1577--1579, 1994.

\bibitem[BH95]{BurnellHorvitz:95}
L.~Burnell and E.~Horvitz.
\newblock Structure and chance: Melding logic and probability for software
  debugging.
\newblock {\em Communications of the ACM}, 38(3):31--41, March 1995.

\bibitem[Bra86]{Bratko:86}
I.~Bratko.
\newblock {\em PROLOG: Programming for {A}rtificial {I}ntelligence}.
\newblock Addison-Wesley, 1986.

\bibitem[CDLS99]{CowellDawidLauritzenSpiegelhalter:99}
Robert~G. Cowell, A.~Philip Dawid, Steffen~L. Lauritzen, and David~J.
  Spiegelhalter.
\newblock {\em Probabilistic networks and expert systems}.
\newblock Statistics for engineering and information. Springer-Verlag New York,
  Inc., 1999.

\bibitem[Cus99a]{Cussens:99b}
J.~Cussens.
\newblock Integrating probabilistic and logical reasoning.
\newblock In {\em Electronic Transaction on Artificial Intelligence}, 1999.
\newblock Machine Intelligence Workshop (MI16), special issue, (submitted).

\bibitem[Cus99b]{Cussens:99}
J.~Cussens.
\newblock Loginear models for first-order probabilistic reasoning.
\newblock In {\em Proceedings of the Fifteenth Annual Conference on Uncertainty
  in Artificial Intelligence (UAI-1999)}, 1999.

\bibitem[Doe94]{Doets:94}
K.~Doets.
\newblock {\em {F}rom {L}ogic to {L}ogic {P}rogramming}.
\newblock The MIT Press, Cambridge, MA, USA, 1994.

\bibitem[EN94]{ElmsriNavathe:94}
R.~Elmasri and {S. B.} Navathe.
\newblock {\em Fundamentals of {D}atabase {S}ystems}.
\newblock The Benjamin/Cummings Publishing Company, Inc., 2. edition, 1994.

\bibitem[Fal81]{Falconer:81}
{D. S.} Falconer.
\newblock {\em Introduction to quantitative genetics}.
\newblock Longman Inc., New York, 2. edition, 1981.

\bibitem[FF95]{FungDelFavero:95}
R.~Fung and B.~Del Favero.
\newblock Applying {B}ayesian networks to information retrieval.
\newblock {\em Communications of the ACM}, 38(3):42--48, March 1995.

\bibitem[FG97]{FristedtGray:97}
B.~Fristedt and L.~Gray.
\newblock {\em {A} {M}odern {A}pproach to {P}robability {T}heory}.
\newblock {P}robability and its applications. {B}irkh\"auser {B}oston, 1997.

\bibitem[FGKP99]{FriedmanGetoorKollerPfeffer:99}
N.~Friedman, L.~Getoor, D.~Koller, and A.~Pfeffer.
\newblock Learning probabilistic relational models.
\newblock In {\em Proceedings of the Sixteenth International Joint Conferences
  on Artificial Intelligence (IJCAI-1999)}, 1999.

\bibitem[FL98]{FabianLambert:98}
I.~Fabian and D.~A. Lambert.
\newblock First-order {B}ayesian reasoning.
\newblock In G.~Antoniou and S.~Slaney, editors, {\em Proceedings of 11th
  Australian Joint Conference on Artificial Intelligence}, number 1502 in LNAI.
  Springer, 1998.

\bibitem[Fla94]{Flach:94}
P.~Flach.
\newblock {\em Simply logical: intelligent reasoning by example}.
\newblock John Wiley and Sons Ltd., 1994.

\bibitem[GK95]{GlesnerKoller:95}
S.~Glesner and D.~Koller.
\newblock Constructing flexible dynamic belief netwoks from first-order
  probabilistic knowledge bases.
\newblock In {\em Proceedings of the European Conference on Symbolic and
  Quantitative Approaches to Reasoning and Uncertainty}, 1995.

\bibitem[GVP90]{GeigerVermaPearl:90}
D.~Geiger, T.~Verma, and J.~Pearl.
\newblock Identifiying independence in {B}ayesian networks.
\newblock {\em Networks}, 20:507--534, 1990.

\bibitem[Had94]{Haddawy:94}
P.~Haddawy.
\newblock Generating {B}ayesian networks from probabilistic logic knowledge
  bases.
\newblock In {\em Proceedings of the Tenth Annual Conference on Uncertainty in
  Artificial Intelligence (UAI-1994)}, 1994.

\bibitem[Had99]{Haddawy:99}
P.~Haddawy.
\newblock {A}n {O}verview of {S}ome {R}ecent {D}evelopments on {B}ayesian
  {P}roblem-{S}olving {T}echniques.
\newblock {\em AI Magazine - Special Issue on Uncertainty in AI}, 20(2):11--29,
  1999.

\bibitem[Hal89]{Halpern:89}
J.~Y. Halpern.
\newblock An analysis of first-order logics of probability.
\newblock {\em Artificial Intelligence}, 46:311--350, 1989.

\bibitem[HBR95]{HeckermanBreeseRommelse:95}
D.~Heckerman, J.~S. Breese, and K.~Rommelse.
\newblock Decision theoretic troubleshooting.
\newblock {\em Communications of the ACM}, 38(3):49--57, March 1995.

\bibitem[HMW95]{HeckermanMamdaniWellman:95}
D.~Heckerman, A.~Mamdani, and M.~P. Wellman.
\newblock Real-world applications of {B}ayesian networks.
\newblock {\em Communications of the ACM}, 38(3):24--26, March 1995.

\bibitem[Huga]{Hugin}
Hugin Expert A/S.
\newblock {\em Hugin}.
\newblock {\tt http://www.hugin.com}.

\bibitem[Hugb]{HuginNetLanguage}
Hugin Expert A/S.
\newblock {\em {H}uign {H}elp. {T}he {N}et {L}anguage}.
\newblock {\tt http://www.hugin.dk/hugintro/language{\_}pane.html}.

\bibitem[Hug01]{HuginAPIManual}
Hugin Expert A/S.
\newblock {\em {HUGIN} {API} {R}efernce {M}anual}, 2001.
\newblock {\tt http://www.hugin.com/documentation.html}.

\bibitem[Jae97]{Jaeger:97}
M.~Jaeger.
\newblock Relational {B}ayesian networks.
\newblock In {\em Proceedings of the Thirteenth Annual Conference on
  Uncertainty in Artificial Intelligence (UAI-1997)}, 1997.

\bibitem[Jae98]{Jaeger:98b}
M.~Jaeger.
\newblock Reasoning about infinite random structures with relational {B}ayesian
  networks.
\newblock In {\em Proceedings of KR-98}, 1998.

\bibitem[Jen96]{Jensen:98}
Finn~V. Jensen.
\newblock {\em An introduction to {B}ayesian {N}etworks}.
\newblock UCL Press Limited, ! {G}unpowder Square, {L}ondon {EC4A 3DE}, 1996.
\newblock Reprinted 1998.

\bibitem[JKK95]{JensenKongKjaerulff:95}
{C. S.} Jensen, A.~Kong, and U.~Kj{\ae}rulff.
\newblock Blocking gibbs sampling in very large probabilistic expert systems.
\newblock {\em International Journal of Human-Computer Studies}, 42:647--666,
  1995.

\bibitem[KDK00]{KerstingDeRaedtKramer:00}
K.~Kersting, L.~{De Raedt}, and S.~Kramer.
\newblock {I}nterpreting {B}ayesian {L}ogic {P}rograms.
\newblock In L.~Getoor and D.~Jensen, editors, {\em Working Notes of the
  AAAI-2000 Workshop on Learning Statistical Models from Relational Data
  (SRL)}, 2000.

\bibitem[KE97]{KemperEickler:97}
A.~Kemper and A.~Eickler.
\newblock {\em Datenbanksysteme}.
\newblock R. Oldenbourg Verlag M"unchen Wien, 2. edition, 1997.

\bibitem[Ker00]{Kersting:00}
K.~Kersting.
\newblock {B}ayessche-logische {P}rogramme.
\newblock Master's thesis, Albert-Ludwigs-University, Freiburg, Germany, april
  2000.
\newblock in German.

\bibitem[Kj{\ae}95]{Kjaerulff:95}
U.~Kj{\ae}rulff.
\newblock d{H}ugin: {A} {C}omputational {S}ystem for {D}ynamic {T}ime-{S}liced
  {B}ayesian {N}etworks.
\newblock {\em {I}nternational {J}ournal of {F}orecasting, {S}pecial {I}ssue on
  {P}robability {F}orecasting}, 11:89--111, 1995.

\bibitem[KK71]{KowalskiKuehner:71}
R.~Kowalski and D.~Kuehner.
\newblock {L}inear {R}esolution with {S}election {F}unction.
\newblock {\em Artificial Intelligence}, 2:221--260, 1971.

\bibitem[KKR95]{KanazawaKollerRussell:95}
K.~Kanazawa, D.~Koller, and S.~Russell.
\newblock {S}tochastic simulation algorithms for dynamic probabilistic
  networks.
\newblock In {\em Proceedings of the Eleventh Annual Conference on Uncertainty
  in Artificial Intelligence (UAI-1995)}, 1995.

\bibitem[KMP97]{KollerMcAllesterPfeffer:97}
D.~Koller, D.~McAllester, and A.~Pfeffer.
\newblock {E}ffective {B}ayesian {I}nference for {S}ochastic {P}rograms.
\newblock In {\em Proceedings of the Fourteenth National Conference on
  Artificial Intelligence (AAAI-1997)}, pages 740--747, 1997.

\bibitem[KN99]{KoutsofiosNorth:99}
E.~Koutsofios and S.C. North.
\newblock {\em Drawing graphs with {\it dot} - {\it dot} {U}sers's {M}anual}.
\newblock AT\&T Labs - Research, 1999.

\bibitem[Kol99]{Koller:99}
D.~Koller.
\newblock Probabilistic relational models.
\newblock In S.~Dzeroski and P.~Flach, editors, {\em Proceedings of Ninth
  International Workschop on Inductive Logic Programming (ILP-1999)}. Springer,
  1999.

\bibitem[Lan95]{Langley:95}
P.~Langley.
\newblock {\em {E}lements of {M}achine {L}earning}.
\newblock San Francisco: Morgan Kaufmann, 1995.

\bibitem[Llo89]{Lloyd:89}
J.~W. Lloyd.
\newblock {\em Foundations of Logic Programming}.
\newblock Springer, Berlin, 2. edition, 1989.

\bibitem[MD94]{MuggletonDeRaedt:94}
S.~Muggleton and L.~{De Raedt}.
\newblock Inductive logic programming: Theory and methods.
\newblock {\em Journal of Logic Programming}, 1994.

\bibitem[Mug96]{Muggleton:96}
S.~Muggleton.
\newblock Stochastic logic programs.
\newblock In L.~{De Raedt}, editor, {\em Advances in Inductive Logic
  Programming}. IOS Press, 1996.

\bibitem[NH95]{NgoHaddawy:95}
L.~Ngo and P.~Haddawy.
\newblock Probabilistic logic programming and {B}ayesian networks.
\newblock In {\em Algorithms, Concurrency and Knowledge: Proceedings of the
  Asian Computing Science Conference 1995}, Pathumthai, Thailand, December
  1995.

\bibitem[NH97]{NgoHaddawy:97}
L.~Ngo and P.~Haddawy.
\newblock Answering queries form context-sensitive probabilistic knowledge
  bases.
\newblock {\em Theoretical Computer Science}, 171:147--177, 1997.

\bibitem[Nil71]{Nilsson:71}
{N. J.} Nilsson.
\newblock {\em {P}roblem-{S}olving {M}ethods in {A}rtificial {I}ntelligence}.
\newblock McGraw-Hill, New-York, 1971.

\bibitem[Nil86]{Nilsson:86}
{N. J.} Nilsson.
\newblock {\em Principles of {A}rtificial {I}ntelligence}.
\newblock Springer-Verlag, New York, 1986.
\newblock Reprint, Originally published: Tioga Publishing Co. , 1980.

\bibitem[Nil98]{Nilsson:98}
N.~J. Nilsson.
\newblock {\em Artificial Intelligence: a new synthesis}.
\newblock Morgan Kaufmann Publishers, Inc., 1. edition, 1998.

\bibitem[NS92]{NgSubrahmanian:92}
R.~Ng and {V. S.} Subrahmanian.
\newblock Probabilistic logic programming.
\newblock {\em Information and Computation}, 101(2):150--201, 1992.

\bibitem[Par96]{Parson:96}
S.~Parsons.
\newblock Current approaches to handling imperfect information in data and
  knowledge bases.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering},
  8(3):353--372, June 1996.

\bibitem[Pea91]{Pearl:91}
J.~Pearl.
\newblock {\em Reasoning in Intelligent Systems: Networks of Plausible
  Inference}.
\newblock Morgan Kaufmann, 2. edition, 1991.

\bibitem[Pfe99]{Pfeffer:99}
A.~J. Pfeffer.
\newblock {\em Probabilistic Reasoning for Complex Systems}.
\newblock PhD thesis, Stanford University, 1999.

\bibitem[Poo93]{Poole:93}
D.~Poole.
\newblock Probabilistic {H}orn abduction and {B}ayesian networks.
\newblock {\em Artificial Intelligence}, 64:81--129, 1993.

\bibitem[RN95]{NorvigRussell:95}
S.~J. Russell and P.~Norvig.
\newblock {\em Artificial Intelligence: A Modern Approach}.
\newblock Prentice-Hall, Inc., 1995.

\bibitem[Sat95]{Sato:95}
T.~Sato.
\newblock {A} {S}tatistical {L}earning {M}ethod for {L}ogic {P}rograms with
  {D}istribution {S}emantics.
\newblock In {\em Proceedings of the 12th International Conference on Logic
  Programming (ICLP-1995)}, pages pp. 715 -- 729, 1995.

\bibitem[Sha98]{Shachter:98}
{R. D.} Shachter.
\newblock {B}ayes-{B}all: {T}he {R}ational {P}astime (for {D}etermining
  {I}rrelevance and {R}equisite {I}nformation in {B}elief {N}etworks and
  {I}nfluence {D}iagrams.
\newblock In {\em Proceedings of the Fourteenth Conference on Uncertainty in
  Artificial Intelligence (UAI-1998)}, pages 480--487, 1998.

\bibitem[SS86]{SterlingShapiro:86}
L.~Sterling and E.~Shapiro.
\newblock {\em The Art of Prolog: Advanced Programming Techniques}.
\newblock The MIT Press, 1986.

\bibitem[Tho86]{Thompson:86}
{E. A.} Thompson.
\newblock {\em Pedigree analysis in human genetics}.
\newblock The Johns Hopkins series in contemporary medicine and public health.
  The Johns Hopkins University Press, 1986.

\bibitem[VM75]{VanderBrugMinker:75}
{G. J.} {VanderBrug} and J.~Minker.
\newblock {S}tate-{S}pace, {P}roblem-{R}eduction, and {T}heorem {P}roving -
  {S}ome {R}elationships.
\newblock {\em Communications of the {ACM}}, 18(2):107--115, 1975.

\bibitem[WJSR80]{WagnerJuddSandersRichardson:80}
{R. P.} Wagner, {B. H.} Judd, {B. G.} Sanders, and {R. H.} Richardson.
\newblock {\em Introduction to modern genetics}.
\newblock John Wiley \& Sons, Inc., 1980.

\end{thebibliography}
