@inProceedings{Andersen89,
   author =    {Andersen, Stig K. and Olesen, Kristian G. and Jensen, Finn V. and Jensen, Frank},
   title =     {HUGIN--a Shell for Building {B}ayesian Belief universes for Expert Systems},
   booktitle = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence},
   year =      1989,
   address =   {Detroit},
   pages =     "1080--1085",
}
@inProceedings{Andreassen87,
   author =    {Andreassen, Steen and Woldbye, Marianne and Falck, Bj\{o}rn and Andersen, Stig K.},
   title =     {MUNIN---A Causal Probabilistic Network for Interpretation of Electromyographic Findings},
   booktitle = {Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87)},
   year =      1987,
   address =   {Milan},
   pages =     "366--372",
}
@article{Arnold96,
	author = {Arnold, Barry C. and Castillo, Enrique and Sarabia, Jose
Maria},
	title =	 {Specification of Distributions by Combinations of Marginals
and Conditional Distributions},
	journal = {Statistics and Probability Letters},
  volume = 26,
	pages = "153--157",
  year = 1996,
} 
@techReport{Bangsoe00,
	author = {Bangsoe, Olav and Wuillemin, {Pierre-Henry} },
	title =	 {Object Oriented {B}ayesian Networks: A Framework for Topdown
	Specification of Large {B}ayesian Networks and Repetitive Structures,
	{Technical Report CIT-87.2-00-obphw1}},
  institution = {Department of Computer Science, University of Aalborg},
  month = {September},
  year = 2000,
} 
@article{Becker01,
   author =  {Becker, Ann and Dan Geiger},
   title =   {A Sufficiently Fast Algorithm for Finding Close to Optimal CLique
   Trees},
   journal = {Artificial Intelligence},
   volume =  125,
   pages =   "3--17",
   year =    2001,
}
@book{Berger85,
   author =    {Berger, James O.},
   title =     {Statistical Decision Theory and {B}ayesian Analysis},
   publisher = {Springer-Verlag},
   year =      1985,
   address =   {New York, NY}
}
@inProceedings{Beinlich89,
   author =    {Beinlich, I.A. and Suermondt, H.J. and Chavez, R.M. and Cooper,
   G.F.},
   title =     {The {ALARM} Monitoring System: A Case Study with Two
   Probabilistic Inference Techniques for Belief Networks},
   booktitle = {Proceedings of the Second European Conference on Artificial Intelligence in Medicine},
   year =      1989,
   address =   {London},
   pages =     "247--256",
}
@phdThesis{Bloemeke98,
   author = {Bloemeke, Mark},
   title =  {Agent Encapsulated {Bayesian} Networks},
   school = {Department of Computer Science, University of South Carolina}, 
   year =   1998,
}
@inProceedings{Bloemeke98b,
   author =    {Bloemeke, Mark and Marco Valtorta},
   title =     {A Hybrid Algorithm to Compute Marginal and Joint Beliefs in
{B}ayesian Networks and Its Complexity},
    booktitle = {Proceedings of the Fourteenth Annual Conference on Uncertainty
 in Artificial Intelligence (UAI-98)},
    year =      1998,
    month =     {July},
    address =   {Madison, WI},
    pages =     "208--214",
}
@techReport{Bloemeke99,
	author = {Bloemeke, Mark and Smith, Wayne},
	title =	 {Agent Encapsulated {Bayesian} Networks---A Solution to the 
Rumor Problem, {Technical Report TR9908}},
  institution = {Department of Computer Science, University of South Carolina},
  year = 1999,
} 
@misc{Bloemeke00,
	author = {Bloemeke, Mark and Valtorta, Marco},
	title = {Agent Encapsulated {B}ayesian Networks---A Framework for
Probabilistic Agent Systems},
	howpublished = {{I}n preparation},
}
@misc{Bloemeke00b,
	author = {Bloemeke, Mark and Valtorta, Marco},
		title = {The Factor Tree for Probability Update and Several
		Extensions},
	howpublished = {{U}nder review},
}
@techReport{Bloemeke02,
	author = {Bloemeke, Mark and Valtorta, Marco},
	title =	 {The Rumor Problem in Probabilistic Multiagent Systems,
{Technical Report CSCE TR-2002-006}},
  institution = {Department of Computer Science and Engineering, University of South Carolina},
  year = 2002,
  month = {June},
} 
@Article{Bock89,
  author =       {H. H. Bock},
  title =        {A conditional iterative proportional fitting ({C}{I}{P}{F}{P})
  algorithm with applications
  in the statistical analysis of discrete spatial data},
  journal =      {Bull. ISI, Contributed papers of 47th Session in Paris},
  year =         {1989},
  pages =        {141--142},
}
@phdThesis{Byrnes99,
   author = {Byrnes, John},
   title =  {Proof Search and Normal Forms in Natural Deduction},
   school = {Department of Philosophy, Carnegie Mellon University}, 
   year =   1999,
}
@article{Castillo96,
   author =  {Castillo, Enrique and Guti\'{e}rrez, Jos\'{e} Manuel},
   title =   {A New Method for Efficient Symbolic Propagation in Discrete 
   {B}ayesian Networks},
   journal = {Networks},
   volume =  28,
   pages =   "31--43",
   year =    1996,
}
@article{Charniak91,
	author = {Charniak, Eugene},
	title =	 {{B}ayesian Networks without Tears},
	journal = {AI Magazine},
  volume = 12,
  issue = 4,
	pages = "50-63",
  year = 1991,
} 
@inProceedings{Cheeseman83,
	author = {Cheeseman, Peter},
	title =	 {A Method of Computing Generalized {B}ayesian Probability
Values for Expert Systems},
	booktitle = {Proceedings of the Eighth International Joint Conference
on Artificial Intelligence (IJCAI-83)},
	year = 	1983,
	address = {Karlsruhe},
	pages =	"198--202",
}
@inProceedings{Cheng05,
   author =    {Cheng, John and R. Emami and L. Kerschberg and E. Santos, Jr. and Q. Zhao and H. Nguyen and H. Wang and M. Huhns and M. Valtorta and J. Dang and H. Goradia and J. Huang and S. Xi},
   title =     {OmniSeer: A Cognitive Framework for User Modeling, Reuse of Prior and Tacit Knowledge, and Collaborative Knowledge Services},
    booktitle = {Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS38)},
    year =      2005,
    month =     {January},
    address =   {Big Island, HI},
 }
@inproceedings{Chickering95uai,
  author =	 "David Maxwell Chickering",
  title =	 "A Transformational Characterization of Equivalent
  {Bayesian} Network Structures",
  year =	 1995,
  Booktitle =	 "Proceedings of Eleventh Conference on Uncertainty in
	    Artificial Intelligence, {\rm Montreal, QU}",
   publisher =	 "Morgan Kaufmann",
   Month =	 "August",
   editors =	 "S. Hanks and P. Besnard",
    pages =	 "87-98",
}
@article{Cooper90,
   author =  {Cooper, Gregory F.},
   title =   {The Computational Complexity of Probabilistic Inference Using {B}ayesian Belief Networks},
   journal = {Artificial Intelligence},
   volume =  42,
   pages =   "393--405",
   year =    1990,
}
@techReport{Cooper91,
   author =      {Cooper, Gregory F. and Herskovits, Edward},
   title =       {A {B}ayesian Method for the Induction of Probabilistic Networks from Data, Report No. SMI-91-01},
   institution = {Section of Medial Informatics, University of Pittsburgh},
   year =        1991,
   month =       {January}
}
@article{Cooper92,
   author =  {Cooper, Gregory F. and Herskovits, Edward},
   title =   {A {B}ayesian Method for the Induction of Probabilistic Networks from Data},
   journal = {Machine Learning},
   volume =  9,
   pages =   "309--347",
   year =    1992,
}
@book{Cowell99,
   author =    {Cowell, Robert G. and A. Philip Dawid and Steffen L.
Lauritzen and David J. Spiegelhalter},
   title =     {Probabilistic Networks and Expert Systems},
   publisher = {Springer-Verlag},
   year =      1999,
   address =   {New York, NY}
}
@inProceedings{Crawford91,
   author =    {Crawford, Stuart L. and Fung, Robert M.},
   title =     {An Analysis of Two Probabilistic Model Induction Techniques},
   booktitle = {Preliminary Papers of the Third International Workshop on Artificial Intelligence and Statistics},
   month =     {January},
   year =      1991,
   address =   {Ft. Lauderdale, FL},
   pages =     "H1--H12",
}
@Article{Cramer00,
	author = {Cramer, Erhard},
	title =	 {Probability measures with given marginals and conditionals:
${I}$-projections and conditional iterative proportional fitting},
  annote = {Institut for Wirtschftmathematik und Statistik, Aachen
University of Technology},
 journal = {Statistics and Decisions---International Journal for
Stochastic Methods and Models},
  year = {2000},
  volume = {18},
  number = {3},
  pages = {311--330},
} 
@Article{Csiszar75,
  author =       "I. Csisz\'{a}r",
  title =  "{\em I}-Divergence Geometry of Probability
Distributions and Minimization Problems",
  journal =      "Ann. Prob.",
  year =         "1975",
  volume =       "3",
  number =       "1",
  pages =        "146--158",
}
@inProceedings{DAmbrosio92,
   author =    {D'Ambrosio, Bruce and Fountain, Tony and Li, Zhaoyu},
   title =     {Parallelizing Probabilistic Inference: Some early Explorations},
   booktitle = {Uncertainty in Artificial Intelligence: Proceedings of the Eigth Conference},
   month =     {July},
   year =      1992,
   publisher = {Morgan Kaufman},
   address =   {San Mateo, CA},
   pages =     "59--66",
}
@inProceedings{Darwiche00,
   author =    {Darwiche,Adnan},
   title =     {A Differential Approach to Inference in {Bayesian} Networks},
   booktitle = {Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-00)},
   year =      2000,
   month =     {July},
   address =   {Stanford, CA},
   pages =     "123--132",
}
@inProceedings{Darwiche03,
   author =    {Chan, Hie and Darwiche, Adnan},
   title =     {On the Revision of Probabilistic Beliefs using Uncertain
   Evidence},
   booktitle = {Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence},
   year =      2003,
   address =   {Acapulco, Mexico},
   pages = "99-105",
}
@techReport{Delugach05,
  author = {{Harry Delugach, Editor}},
  title = "Common Logic---A Framework for a Family of Logic-Based Languages",
  institution = "International Standards Organization" ,
  year = "2005",
  note = "ISO/IEC JTC 1/SC 32N1377, International Standards Organization Final Committee Draft, 2005-12-13, available at http://cl.tamu.edu/docs/cl/32N1377T-FCD24707.pdf",
}
@article{Deming40,
   author =  {Deming, W.E. and Stephan, F.F.},
   title =   {On a Least Square Adjustment of a Sampled Frequency Table
When the Expected Marginal Totals Are Known},
   journal = {Annals of Mathematical Statistics},
   volume =  11,
   pages =   "427",
   year =    1940,
}
@article{Diaconis82,
   author =  {Diaconis, Persi and Zabell, Sandi},
   title =   {Updating Subjective Probability},
   journal = {Journal of the American Statistical Association},
   volume =  77,
   pages =   "822--830",
   year =    1982,
}
@inProceedings{Duda76,
   author =    {Duda, R.O. and Hart, P.E. and Nilsson N.J.},
   title =     {Subjective {B}ayesian Methods for Rule-Based Inference Systems},
   booktitle = {Proceedings of the 1976 National Computer Conference},
   year =      1976,
   note = {Reprinted in: B.L. Webber and N.J. Nilsson (Eds.) {\em Readings in
   Artificial Intelligence}.  San-Mateo, CA: Morgan Kauffman, 192-199, 1981.},
}
@article{Fisher58,
   author =  {Fisher, R.A.},
   title =   {Cancer and Smoking},
   journal = {Nature},
   volume =  182,
   pages =   "596--597",
   year =    1958,
   month = {August},
   day = 30,
}
@inProceedings{Friedman98,
   author =    {Nir Friedman},
   title =     {The {B}ayesian Structural EM Algorithm},
    booktitle = {Proceedings of the Fourteenth Annual Conference on Uncertainty
 in Artificial Intelligence (UAI-98)},
    year =      1998,
    month =     {July},
    address =   {Madison, WI},
    pages =     "129--138",
}
@inProceedings{Fung90,
   author =    {Fung, Robert M. and Crawford, Stuart L.},
   title =     {Constructor: A System for the Induction of Probabilistic Models},
   booktitle = {Proceedings of AAAI-90},
   year =      1990,
   pages =      "762--769"
}
@article{Gelman93,
	author = {Gelman, Andrew and Speed, T.P.},
	title  = {Characterizing a Joint Probability Distribution by
Conditionals},
	journal = {Journal of the Royal Statistical Society Series B
(Methodological)},
	volume = 55,
  pages = "185--188",
  year = 1993,
}
@inProceedings{Grove97,
   author =    {Grove, Adam J. and Joseph Y. Halpern},
   title =     {Probability Update: Conditioning vs. Cross-Entropy},
   booktitle = {Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-97)},
   year =      1997,
   month =     {August},
   address =   {Providence, RI},
   pages =     "208--214",
}
@Book{Haberman74,
  author =       "S. Haberman",
  title =        "The Analysis of Frequency Data",
  publisher =    "The University of Chicago Press",
  address =      "Chicago and London",
  year =              "1974"
}
edings{haenni05d,
	Address = {Pittsburgh, USA},
	Author = {R. Haenni},
	Booktitle = {{ISIPTA'05}, 4th International Symposium on Imprecise Probabilities and Their Applications},
	Editor = {F. B. Cozman and R. Nau and T. Heidenfeld},
	Pages = {193--202},
	Title = {Towards a Unifying Theory of Logical and Probabilistic Reasoning},
	Year = {2005}}
book{Hajek92,
   author =    {Hajek, P. and Havranek T. and Jirousek R.},
   title =     {Uncertain Information Processing in Expert Systems},
   publisher = {NRC Press},
   year =      1992,
   address =   {Boca Raton, FL},
}
@BOOK{Harvey90,
AUTHOR = {Harvey, A.C.},
TITLE = {Forecasting, structural time series models and the {K}alman Filter},
PUBLISHER = "Cambridge University Press",
address="New York, NY",
YEAR = 1990
}
@techReport{Hayes06a,
  author = {Hayes, Patrick J.},
  title = "{IKL} Guide",
  institution = "Florida Institute for Human and Machine Cognition" ,
  year = "2006",
  note = "Unpublished Memorandum available at http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html",
}
@techReport{Hayes06b,
  author = {Hayes, Patrick J. and Chris Menzel},
  title = "{IKL} Specification Document",
  institution = "Florida Institute for Human and Machine Cognition" ,
  year = "2006",
  note = "Unpublished Memorandum available at http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.htmIKL/SPEC/SPEC.html",
}
@inCollection{Heckerman86,
   author =    {Heckerman, David},
   title =     {Probabilistic Interpretation for {MYCIN}'s Certainty
Factors},
   booktitle = {Uncertainty in Artificial Intelligence},
   publisher = {Kluwer Science Publishers},
   pages =     "167--196",
   year =      1986,
   editor =    {Kanal, L. N. and Lemmer, J.F.},
}
@inCollection{Horvitz86,
   author =    {Horvitz, Eric and Heckerman, David},
   title =     {The Inconsistent Use of Measures of Certainty in
Artificial Intelligence Research},
   booktitle = {Uncertainty in Artificial Intelligence},
   publisher = {Kluwer Science Publishers},
   pages =     "137--151",
   year =      1986,
   editor =    {Kanal, L. N. and Lemmer, J.F.},
}
@techReport{huangV06a,
  author = "Yimin Huang and Marco Valtorta",
  title = {On the Completeness of an Identifiability Algorithm for Semi-{M}arkovian Models},
  institution = "University of South Carolina Department of Computer Science" ,
  year = "2006",
  month = {1},
  note = "Preprint available at http://www.cse.sc.edu/\verb+~+mgv/reports/tr2006-001.pdf; journal version to appear",
}
@inproceedings{huangV06b,
author = "Yimin Huang and Marco Valtorta",
title = {Pearl's Calculus of Intervention is Complete},
booktitle = {Proceedings of the Twenty-second Conference on Uncertainty in Artificial Intelligence (UAI-06)},
year = 2006,
pages = {217--224},
}
@inproceedings{huangV06c,
author = "Yimin Huang and Marco Valtorta",
title = {Identifiability on Causal Bayesian Networks: A Sound and Complete Algorithm},
booktitle = {Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06)},
year = 2006,
pages = {1149--1154},
}
@book{Jensen95,
   author =    {Jensen, Finn V.},
   title =     {An Introduction to {B}ayesian Networks},
   publisher = {Springer-Verlag},
   year =      1995,
   address =   {New York, NY},
}
@inProceedings{Jensen99,
   author =    {Jensen, Finn V.},
   title =     {Gradient Descent Training of {B}ayesian Networks},
   booktitle = {Proceedings of the Fifth European Conference on Symbolic and
   Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99)},
   year =      1999,
   address =   {London},
}
@book{Jensen01,
   author =    {Jensen, Finn V.},
   title =     {{B}ayesian Networks and Decision Graphs},
   publisher = {Springer},
   year =      2001,
   address =   {New York, NY},
}
@book{Jensen07,
   author =    {Jensen, Finn V. and Thomas D. Nielsen},
   title =     {{B}ayesian Networks and Decision Graphs, second edition},
   publisher = {Springer},
   year =      2007,
   address =   {New York, NY},
}
@Article{Jirousek91,
  author = 	 "R. Jirou\v{s}ek",
  title = 	 "Solution of the Marginal Problem and Decomposable Distributions",
  journal = 	 "Kybernetika",
  year = 	 "1991",
  volume = 	 "27",
  number = 	 "5",	  
  pages = 	 "403--412"
}
@INPROCEEDINGS{Julier97,
AUTHOR = "S.J. Julier and J.K. Uhlmann",
TITLE = {A non-divergent estimation algorithm in the presence of unknown
correlations},
BOOKTITLE= {The American Control Conference},
PUBLISHER= {Morgan Kaufmann Publishers},
ADDRESS= {San Francisco, California},
PAGES = "27--31",
YEAR = 1997,
note = {Also available on line at
http://ait.nrl.navy.mil/people/uhlmann/CovInt.
html},
}
@ARTICLE{Kalman60,
AUTHOR = {Kalman, R.E.},
TITLE = {A new approach to linear filtering and prediction problems},
JOURNAL = {Journal of Basic Engineering},
PAGES = "35--46",
YEAR = 1960
}
@BOOK{Kozen92,
author =  {Kozen,Dexter C.},
title = {The Design and Analysis of Algorithms},
publisher = {Springer-Verlag},
address  = {New York},
year = {1992},
}
@inProceedings{Kim95,
   author =    {Kim, Young-Gyun and Marco Valtorta},
   title =     {On the Detection of Conflicts in Diagnostic {B}ayesian Networks
Using Abstraction},
    booktitle = {Proceedings of the Eleventh Annual Conference on Uncertainty
 in Artificial Intelligence (UAI-95)},
    year =      1995,
    month =     {August},
    address =   {Montreal},
    pages =     "362--367",
}
@phdThesis{Kim01,
   author = {Kim, Young-Gyun},
   title =  {Time Critical Decision Making with Communicating Influence
   Diagrams},
   school = {Department of Computer Science and Engineering, University of South Carolina}, 
   year =   2001,
}
@techReport{Kim02,
	author = {Young-Gyun Kim and Marco Valtorta and Ji\v{r}\'{\i} Vomlel},
	title =	 {A Prototypical System for Soft Evidential Update,
{Technical Report CSCE TR-2002-005}},
  institution = {Department of Computer Science and Engineering, University of South Carolina},
  year = 2002,
  month = {June},
} 
@article{Kim04,
	author = {Young-Gyun Kim and Marco Valtorta and Ji\v{r}\'{\i} Vomlel},
	title =	 {A Prototypical System for Soft Evidential Update},
	journal = {Applied Intelligence},
	volume =  21,
  number =  1,
  month = {July--August},
  year =    2004,
}
@techReport{Kjaerulff90,
	author = {Kjaerulff, Uffe},
	title =	 {Triangulation of Graphs---Algorithms Giving Small Total State
	Space, {Technical Report R90-09}},
  institution = {Department of Computer Science, University of Aalborg},
  month = {March},
  year = 1990,
} 
@book{Korb04,
   author =    {Kevin B. Korb and Ann E. Nicholson},
   title =     {{B}ayesian Artificial Intelligence},
   publisher = {Chapman & Hall/CRC},
   year =      2004,
   address =   {Boca Raton, FL},
}
@article{Kruithof37,
   author =  {Kruithof, J.},
   title =   {Telefoonverkeersrekening},
   journal = {De Ingenieur},
   volume =  52,
   number =  8,
   year =    1937,
}
@Article{Kullback66,
  author =       "S. Kullback and M. A. Khairat",
  title =        "A note on minimum discrimination information",
  journal =      "Ann. Math. Statist.",
  year =         "1966",
  volume =       "37",
  pages =        "279--280",
}
@article{Kyburg87,
   author =  {Kyburg, Jr., Henry E},
   title =   {{B}ayesian and Non-{B}ayesian Evidential Updating},
   journal = {Artificial Intelligence},
   volume =  31,
   pages =   "271--293",
   year =    1987,
}
@inProceedings{Laskey97,
author =    {Laskey, Kathryn Blackmond and Suzanne M. Mahoney},
title =     {Network Fragments: Representing Knowledge for Constructing Probabilistic Models},
booktitle = {Proceedings of the Thirteenth Annual Conference on
Uncertainty
in Artificial Intelligence (UAI-97)},
year =      1997,
month =     {August},
address =   {Providence, RH},
pages =     "334--341",
}
@inProceedings{Laskey01,
author =    {Laskey, Kathryn Blackmond and Suzanne M. Mahoney and Ed
Wright},
title =     {Hypothesis Management in Situation-Specific Network
Construction},
booktitle = {Proceedings of the Seventeenth Annual Conference on
Uncertainty
in Artificial Intelligence (UAI-01)},
year =      2001,
month =     {August},
address =   {Seattle, WA},
pages =     "301--309",
}
@inProceedings{Laskey02,
author =    {Laskey, Kathryn Blackmond and Tod Levitt},
title =     {Multisource Fusion for Probabilistic Detection and Opportunistic
Assessment of Terrorist Threats},
booktitle = {Proceedings of Aerosense 2002},
year =      2002,
}
@techReport{Laskey06,
	author = {Laskey, Kathryn Blackmond},
	title =	 {First-Order {Bayesian} Logic,
	{Technical Report C4I06-01}},
  institution = {SEOR Department, George Mason University},
  month = {February},
  year = 2006,
} 
@article{Lauritzen88,
   author =  {Lauritzen, Steffen L. and Spiegelhalter, David},
   title =   {Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems (with discussion)},
   journal = {Journal of the Royal Statistical Society, Series B},
   volume =  50,
   pages =   "157--224",
   year =    1988,
}
@inProceedings{Lauritzen93,
   author =    {Lauritzen, S.L. and Thiesson, B. and Spiegelhalter, D.},
   title =     {Diagnostic Systems Created by Model Selection Methods--A Case Study},
   booktitle = {Preliminary Papers of the Fourth International Workshop on Artificial Intelligence and Statistics},
   month =     {January},
   year =      1993,
   address =   {Ft. Lauderdale, FL},
   pages =     "93--105",
}
@inCollection{Lauritzen94,
   author =    {Lauritzen, S.L. and B. Thiesson and D.J. Spiegelhalter},
   title =     {Diagnostic Systems by Model Selection: A Case Study},
   booktitle = {Selecting Models from Data: AI and Statistics IV},
   publisher = {Springer-Verlag},
   pages =     "143--152",
   year =      1994,
}
@book{Lauritzen96,
   author =    {Lauritzen, Steffen L.},
   title =     {Graphical Models},
   publisher = {Oxford University Press},
   year =      1996,
   address =   {Oxford, UK}
}
@inCollection{Lauritzen97,
   author =    {Lauritzen, S.L. and F.V. Jensen},
   title =     {Local Computation with Valuations from a Commutative 
   Semigroup},  
   booktitle = {Annals of Mathematics and Artificial Intelligence},
   volume = 21,
   publisher = {J.C. Baltzer A.G.},
   pages =     "51--69",
   year =      1997,
}
@misc{lauritzen01causal,
  author = "S. Lauritzen",
  title = "Causal inference from graphical models",
  text = "S. Lauritzen, Causal inference from graphical models, in: D. C.
  O.E. Barndorff-Nielsen, C. Kl\:{u}ppelberg (Eds.), Complex Stochastic 
  Systems, Chapman and Hall/CRC, London/Baton Rouge, 2001, pp. 63-107.",
  year = "2001",
  url = "citeseer.ist.psu.edu/lauritzen01causal.html", 
}
@article{Loveland76,
   author =  {Loveland, Donald W. and Mark Stickel},
   title =   {A Hole in Goal Trees: Some Guidance from Resolution Theory},
   journal = {IEEE Transactions on Computers},
   volume =  25,
   issue = 4,
   pages =   "335-341",
   month = {April},
   year =    1976,
}
@article{Mani97,
   author =  {Mani, Subramani and Suzanne McDermott and Marco Valtorta},
   title =   {MENTOR: A {B}ayesian Model for Prediction of Mental Retardation
   in Newborns},
   journal = {Research in Developmental Disabilities},
   volume =  18,
   pages =   "303--318",
   issue = 5,
   year =    1997,
}
@article{Mani97,
   author =  {Mani, Subramani and Marco Valtorta and Suzanne McDermott},
   title =   {Building {B}ayesian Network Models in Medicine: the MENTOR
   Experience},
   journal = {Applied Intelligence},
   year = {to appear},
}
@book{Maybeck79,
author =    {Maybeck, Peter S.},
title =     {Stochastic Models, Estimation, and Control, Volume 1},
publisher = {Academic Press},
year =      1979,
address =   {New York, NY},
note = {The first chapter is available at
www.cs.unc.edu/$\sim$welch/Kalman/index.html}
}
@mastersThesis{Mechling90,
   author = {Mechling, Randy},
   title =  {PaCCIN: A Parallel Constructor of Causal Independence Networks},
   school = {University of South Carolina},
   month =  {July},
   year =   1990,
}
@inProceedings{Mechling93,
   author =    {Mechling, Randy and Valtorta, Marco},
   title =     {PaCCIN: A Parallel Constructor of Markov Networks},
   booktitle = {Preliminary Papers of the Fourth International Workshop on Artificial Intelligence and Statistics},
   month =     {January},
   year =      1993,
   address =   {Ft. Lauderdale, FL},
   pages =     "93--105",
}
@article{Meek01,
   author =  {Meek, Christopher},
   title =   {Finding a Path is Harder than Finding a Tree},
   journal = {Journal of Artificial Intelligence Research},
   volume =  15,
   pages =   "383--389",
   year =    2001,
}
@article{Monti00,
   author =  {Monti, Stefano and Giuseppe Carenini},
   title =   {Dealing with the Expert Inconsistency in Probability Elicitation},
   journal = {IEEE Transactions on Knowledge and Data Engineering},
   volume =  12,
   issue = 4,
   pages =   "499-508",
   month = {July/August},
   year =    2000,
}
@InProceedings{Motyckova95,
author =      {Motyckova, L.},
title =       {Maximum Flow Problem in Distributed Environment},
booktitle =   {SOFSEM '95: Theory and Practice of Informatics},
publisher =   "Springer-Verlag",
address =     "Berlin",
year =        "1995",
pages =       "425--430",
}
@article{Nadkarni03,
   author =  {Nadkarni, Sucheta and Shenoy, Prakash P.},
   title =   {A Causal Mapping Approach to Constructing Bayesian Networks},
   journal = {Decision Support Systems},
   pages =     "to appear",
}
@book{Neapolitan90,
   author =    {Neapolitan, Richard E.},
   title =     {Probabilistic Reasoning in Expert Systems: Theory and Algorithms},
   publisher = {John Wiley and Sons},
   year =      1990,
   address =   {New York, NY},
}
@book{Neapolitan04,
   author =    {Neapolitan, Richard E.},
   title =     {Learning Bayesian Networks},
   publisher = {Pearson Prentice Hall},
   year =      2004,
   address =   {Upper Saddle River, NJ},
}
@article{Oleary90,
   author =  {O'Leary, D.E.},
   title =   {Soliciting Weights or Probabilities from Experts for Rule-Based
   Expert Systems},
   journal = {International Journal of Man-Machine Studies},
   volume =  32,
   pages =   "293--301",
   year =    1990,
}
@inProceedings{Olesen92,
   author =    {Olesen, Kristian G. and Lauritzen, Steffen L. and Jensen, Finn V.},
   title =     {aHUGIN: A System Creating Adaptive Casual Probabilistic Networks},
   booktitle = {Uncertainty in Artificial Intelligence: Proceedings of the Eigth Conference`},
   month =     {July},   
   year =      1992,
   publisher = {Morgan Kaufman},
   address =   {San Mateo, CA},
   pages =     "223--229",
}
@inproceedings{DBLP:conf/ictai/PanPD06,
  author    = {Rong Pan and Yun Peng and Zhongli Ding},
  title     = {Belief Update in Bayesian
	  Networks Using Uncertain Evidence},
   booktitle = {ICTAI},
   year      = {2006},
   pages     = {441-444},
   ee        = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.39},
   crossref  = {DBLP:conf/ictai/2006},
   bibsource = {DBLP,
   http://dblp.uni-trier.de} 
}
@proceedings{DBLP:conf/ictai/2006,
  title     = {18th IEEE International Conference on Tools with Artificial
       Intelligence (ICTAI 2006), 13-15 November 2006, Washington, DC, USA},
  booktitle = {ICTAI},
 publisher = {IEEE Computer Society},
 year      = {2006},
 bibsource = {DBLP,
 http://dblp.uni-trier.de}
}
@article{Paris92,
   author =  {Paris,J.B. and Vencovska, A.},
   title =   {A Method for Updating That Justifies Minimum Cross Entropy},
   journal = {International Journal of Approximate Reasoning},
   volume =  7,
   pages =   "1--18",
   year =    1992,
}
@book{Paris94,
   author =    {Paris, J.B.},
   title =     {The Uncertain Reasoner's Companion: A mathematical
perspective.  Cambridge Tracts in Theoretical Computer Science 39},
   publisher = {Cambridge University Press},
   year =      1994,
   address =   {Cambridge, England},
}

@book{Pearl88,
   author =    {Pearl, Judea},
   title =     {Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference},
   publisher = {Morgan Kaufman},
   year =      1988,
   address =   {San Mateo, CA},
}
@inCollection{Pearl90,
   author =    {Pearl, Judea},
   title =     {Jeffrey's Rule, Passage of Experience, 
and {\it Neo}-{Bayesianism}},  
   booktitle = {Knowledge Representation and Defeasible Reasoning},
   publisher = {Kluwer Academic Publishers},
   pages =     "245--265",
   year =      1990,
   editor =    {Kyburg, Jr., H.E. et al.},
}
@inProceedings{Pearl91,
   author =    {Pearl, Judea and Verma, T.S.},
   title =     {A Theory of Inferred Causation},
   booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference},
   month =     {April},
   year =      1991,
   publisher = {Morgan Kaufman},
   address =   {San Mateo, CA},
   pages =     "441--452",
}
@article{Pearl92,
   author =  {Pearl, Judea and Verma, T.S.},
   title =   {A Statistical Semantics for Causation},
   journal = {Statistics and Computing},
   volume =  2,
   pages =   "91--95",
   year =    1992,
}
@article{Pearl95,
   author =  {Pearl, Judea},
   title =   {Causal Diagrams for Empirical Research},
   journal = {Biometrika},
   volume =  82,
   pages =   "669--710",
   year =    1995,
}
@book{Pearl00,
   author =    {Pearl, Judea},
   title =     {Causality: Modeling, Reasoning, and Inference},
   publisher = {Cambridge University Press},
   year =      2000,
   address =   {Cambridge},
}
@inCollection{Pearl01,
   author =    {Pearl, Judea},
   title =     {{B}ayesianism and Causality, Or, Why I Am Only a 
   Half-{B}ayesian},
   booktitle = {Foundations of Bayesianism},
   publisher = {Kluwer Academic Publishers},
   year =      2001,
   editor =    {J. Williamson and D. Corfield},
}
@inCollection{Poole87,
   author =    {Poole, David and Randy Goebel and Romas Aleliunas},
   title =     {Theorist: A Logical Reasoning System for Defaults and
   Diagnosis},
   booktitle = {The Knowledge Frontier: Essays in the Representation of
   Knowledge},
   publisher = {Springer},
   pages =     "331--352",
   year =      1987,
   editor =    {Cercone, Nick and Gordon McCalla},
}
@book{Poole98,
   author =    {Poole, David},
   title =     {Computational Intelligence: A Logical Approach},
   publisher = {Oxford University Press},
   year =      1998,
   address =   {Oxford},
}
@inProceedings{Poole03,
   author =    {Poole, David},
   title =     {First-order Probabilistic Inference},
   booktitle = {Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence},
   year =      2003,
   address =   {Acapulco, Mexico},
   pages =     "to appear",
}
@article{Riazanov02,
   author =  {Riazanov, A. and A. Voronkov},
   title =   {The Design and Implementation of {Vampire}},
   journal = {AI Communications},
   volume =  15,
   issue = "2--3",
   pages =   "91--110",
   year =    2002,
}
@article{Shachter86,
   author =  {Shachter, Ross D.},
   title =   {Evaluating Influence Diagrams},
   journal = {Operations Research},
   volume =  34,
   pages =   "871--882",
   year =    1986,
}
@article{Shafer90,
   author =  {Shafer, Glenn R. and Shenoy, Prakash P.},
   title =   {Probability Propagation},
   journal = {Annals of Mathematics and Artificial Intelligence},
   volume =  2,
   pages =   "327--352",
   year =    1990,
}
@inCollection{Shenoy90,
   author =    {Shenoy, Prakash P. and Shafer, Glenn},
   title =     {Axioms for Probability and Belief-Function Propagation},
   booktitle = {Uncertainty in Artificial Intelligence},
   publisher = {Elsevier},
   year =      1990,
   address =   {Elsevier North-Holland},
   pages =     "169--198",
   editor =    {Schater, R.D. and Levitt T.S. and Kanal, L.N. and Lemmer, J.F.},
   number =    4,
}
@inproceedings{shpitserP06a,
author = "Ilya Shpitser and Judea Pearl",
title = {Identification of Conditional Interventional Distributions},
booktitle = {Proceedings of the Twenty-second Conference on Uncertainty in Artificial Intelligence (UAI-06)},
year = 2006,
pages = {437--444},
}
@inproceedings{shpitserP06b,
author = "Ilya Shpitser and Judea Pearl",
title = {Identification of Conditional Interventional Distributions},
booktitle = {Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06)},
year = 2006,
pages = {1217--1226},
}
@inProceedings{Singh93,
   author =    {Singh, Moninder and Valtorta, Marco},
   title =     {A New Algorithm for the Construction of {B}ayesian Network Structures from Data},
   booktitle = {Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence (UAI-93)},
   year =      1993,
   month =     {July},
   address =   {Washington DC},
   pages =     "259--264",
}
@article{Singh95,
   	author =    {Singh, Moninder and Valtorta, Marco},
	title = {Construction of Bayesian Belief Networks from Data: a Brief
	Survey and an Efficient Algorithm},
	journal = {International Journal of Approximate Reasoning},
	volume = 12,
	number = 2,
	pages = "111-131",
	year = 1995,
	month = {February},
}
@techReport{Smith99,
	author = {Smith, Wayne and Bloemeke, Mark and Valtorta, Marco},
	title =	 {Messages for Agent-Encapsulated {B}ayesian Networks and How to 
Update Beliefs with Them, Technical Report TR9907},
  institution = {Department of Computer Science, University of South Carolina},
  year = 1999,
} 
@article{Spiegelhalter93,
   author =  {Spiegelhalter, David J. and Dawid, A. Philip and Lauritzen, Steffen L. and Cowell, Robert G.},
   title =   {{B}ayesian Analysis in Expert Systems},
   journal = {Statistical Science},
   volume =  8,
   pages =   "219--283",
   year =    1993,
   number =  3,
}
@article{Spirtes91a,
   author =  {Spirtes, Peter and Glymour, Clark},
   title =   {An Algorithm for the Fast Recovery of Sparse Casual Graphs},
   journal = {Social Science Computer Review},
   volume =  9,
   pages =   "62--72",
   month =   {Spring},
   year =    1991,
   number =  1,
}
@inCollection{Spirtes91b,
   author =    {Spirtes, Peter and Glymour, Clark and Scheines, Richard},
   title =     {Causality form Probability},  
   booktitle = {Evolving Knowledge in Natural Science and Artificial Intelligence},
   publisher = {Pitman},
   pages =     "181--199",
   year =      1991,
   editor =    {Tiles, J.E. and McKee, G.T. and Dean, G.C.},
}
@inProceedings{Srinivas94,
   author =    {Srinivas, Sanpath},
   title =     {A Probabilistic Approach to Hierarchical Model-Based Diagnosis},
   booktitle = {Proceedings of UAI-94},
   year =      1994,
   pages =     "538--545",
}
@phdThesis{Suermondt92,
   author = {Suermondt, Henri Jacques},
   title =  {Explanation in Bayesian Belief Networks},
   school = {Departments of Computer Science and Medicine, Stanford University},
   month = {March},
   year =   1992,
   note = {Also Stanford CS Report No. STAN-CS-92-1417},
}
@inProceedings{Utete98,
   author =    {Utete, Simukai W.},
   title =     {Local Information Processing for Decision Making in
   Decentralised Sensing Networks},
   booktitle = {Proceedings of the Eleventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
   (IEA/AIE-98)},
   year =      1998,
   address =   {Benicassim, Castellon, Spain},
   pages =     "667--676",
}
@article{Valtorta92,
   author =  {Valtorta, Marco and Loveland, D.W.},
   title =   {On the Complexity of Belief Network Synthesis and Refinement},
   journal = {International Journal of Approximate Reasoning},
   volume =  7,
   pages =   "121--148",
   year =    1992,
   number =   4,
}
@article{Valtorta02,
	author = {Valtorta, Marco and Young-Gyun Kim and Ji\v{r}\'{\i} Vomlel},
	title = {Soft Evidential Update for Probabilistic Multiagent Systems},
	journal = {International Journal of Approximate Reasoning},
	volume = 29,
	number = 1,
	pages = "71-106",
	year = 2002,
	month = {January},
}
@inproceedings{Valtorta05,
author = "Valtorta, Marco and Jiangbo Dang and Hrishikesh Goradia and Jingshan Huang and Michael Huhns",
title = {Extending {H}euer's Analysis of Competing Hypotheses Method to Support Complex Decision Analysis},
booktitle = {Proceedings of the 2005 International Conference on Intelligence Analysis (IA-05) (CD-ROM)},
year = 2005,
note = "Extended version available at http://www.cse.sc.edu/\verb+~+mgv/reports/IA-05.pdf",
}
@inProceedings{Verma92,
   author =    {Verma, Thomas and Pearl, Judea},
   title =     {An Algorithm for Deciding if a Set of Observed Independencies Has a Casual Explanation},
   booktitle = {Proceedings of the 8th Conference on Uncertainty in Artificial Intelligence},
   year =      1992,
   address =   {Stanford, CA},
   month =     {July},
   pages =     "232--230"
}
@inProceedings{Verma93,
   author =    {Verma, Thomas and Pearl, Judea},
   title =     {Deciding Morality of Graphs is NP-Complete},
   booktitle = {Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence},
   year =      1993,
   month =     {July},
   address =   {Washington, DC},
   pages =     "391--397",
}
@phdThesis{Vomlel99,
   author = {Vomlel, Ji\v{r}\'{\i}},
   title =  {Methods of Probabilistic Knowledge Integration},
   school = {Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University},
   month = {December},
   year =   1999,
}
@article{Vomlel04,
	author = {Ji\v{r}\'{\i} Vomlel},
	title = {Probabilistic Reasoning with Uncertain Evidence},
	journal = {Neural Network World, International Journal on Neural and
	Mass-Parallel Computing and Information Systems},
	volume = 14,
	number = 5,
	pages = "453--456",
	year = 2004,
}
@article{Wellman93,
   author =  {Wellman, Michael P. and Max Henrion},
   title =   {Explaining "Explaining Away''},
   journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
   volume =  15,
   issue = 3,
   pages =   "287--292",
   month = {March},
   year =    1993,
}
@inproceedings{Williamson01,
  author =	 "Jon Williamson",
  title =	 "{B}ayesian Networks for Logical Reasoning",
  year =	 2001,
  booktitle =	 {Proceedings of the AAAI Fall Symposium on Using Uncertainty in Computation},
  publisher =	 "AAAI-Press",
  Month =	 "October",
  editors =	 "Carla Gomes and Toby Walsh",
  pages =	 "136-164",
  url = "http://www.kent.ac.uk/secl/philosophy/jw/2006/progicnet.htm", 
}
@article{Xiang96,
   author =  {Xiang, Y.},
   title =   {A Probabilistic Framework for Cooperative Multi-Agent Distributed Interpretation and Optimization of Communication},
   journal = {Artificial Intelligence},
   volume =  86,
   issue = "1-2",
   pages =   "295--342",
   year =    1996,
}
@article{Xiang99,
   author =  {Xiang, Y. and Chu, T.},
   title =   {Parallel Learning of Belief Networks in Large and Difficult
   Domains},
   journal = {Data Mining and Knowledge Discovery},
   volume =  3,
   pages =   "315--339",
   year =    1999,
note = {Preprint available at
http://snowwhite.cis.uoguelph.ca/faculty-info/yxiang},
}
@inProceedings{Xiang00,
   author =    {Xiang, Y. and Lesser, V.},
   title =     {Justifying Multiply Sectioned {B}ayesian Networks},
   booktitle = {Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000)},
   year =      2000,
   month =     {July},
   address =   {Boston, MA},
   pages =     "349--356",
}
@book{Xiang02,
   author =    {Xiang, Yang},
   title =     {Probabilistic Reasoning in Multiagent Systems: A Graphical
   Models Approach},
   publisher = {Cambridge University Press},
   year =      2002,
   address =   {Cambridge}
}