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

Volume 21, Numbers 2-4, 1997

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