Annals of Mathematics and Artificial Intelligence, Volume 21

Volume 21, Number 1, 1997

• Glenn Shafer:
  Advances in the Understanding and Use of Conditional Independence. 1-11
  
• Jan T. A. Koster:
  Gibbs and Markov Properties of Graphs. 13-26
  
• Steen A. Andersson, David Madigan, Michael D. Perlman, Christopher M. Triggs:
  A Graphical Characterization of Lattice Conditional Independence Models. 27-50
  
• Steffen L. Lauritzen, Finn Verner Jensen:
  Local Computation with Valuations from a Commutative Semigroup. 51-69
  
• Milan Studený:
  Semigraphoids and Structures of Probabilistic Conditional Independence. 71-98
  
• Frantisek Matús:
  Conditional Independence Structures Examined via Minors. 99-128
  

Volume 21, Numbers 2-4, 1997

• Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz:
  Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. 129
  
• Chitta Baral:
  Relating Logic Programming Theories of Actions and Partial Order Planning. 131-151
  
• Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn:
  A Continuum of Discrete Systems. 153-186
  
• Weidong Chen, Julie Yu-Chih Liu:
  A Procedural Semantics for Stratified Database Updates. 187-220
  
• Daniel E. Cooke, Luqi:
  Logic Programming and Software Maintenance. 221-229
  
• Mohamed A. Khamsi, Driss Misane:
  Fixed Point Theorems in Logic Programming. 231-243
  
• Renwei Li, Luís Moniz Pereira:
  Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. 245-303
  
• Vladimir Lifschitz:
  Two Components of an Action Language. 305-320
  
• Fangzhen Lin:
  An Ordering on Subgoals for Planning. 321-342
  
• V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
  Representation Theory for Default Logic. 343-358
  
• Enrico Pontelli, Gopal Gupta:
  Parallel Symbolic Computation in ACE. 359-395
  
• Raymond Reiter, Zheng Yuhua:
  Scheduling in the Situation Calculus: A Case Study. 397-421
  

Last update Thu May 23 18:14:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page