Annals of Mathematics and Artificial Intelligence, Volume 25

Volume 25, Numbers 1-2, 1999

• Charles L. Ortiz Jr.: Introspective and Elaborative Processes in Rational Agents. 1-34 BibTeX
• Mira Balaban, Tzachi Rosen: STCSP - Structured Temporal Constraint satisfaction Problems. 35-67 BibTeX
• Claudia V. Goldman, Dan Gang, Jeffrey S. Rosenschein, Daniel J. Lehmann: NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge. 69-90 BibTeX
• Dov Monderer, Moshe Tennenholtz: Dynamic Non-Bayesian Decision Making in Multi-Agent Systems. 91-106 BibTeX
• Ida G. Sprinkhuizen-Kuyper, Egbert J. W. Boers: The Local Minima of the Error Surface of the 2-2-1 XOR Network. 107-136 BibTeX
• Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski: Similarity Preservation in Default Logic. 137-160 BibTeX

Volume 25, Numbers 3-4, 1999

• Jürgen Dix, Jorge Lobo: Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. 161-164 BibTeX
• Michael Gelfond, Alfredo Gabaldon: Building a Knowledge Base: An Example. 165-199 BibTeX
• Terrance Swift: Tabling for Non-Monotonic Programming. 201-240 BibTeX
• Ilkka Niemelä: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. 241-273 BibTeX
• Chris Giannella, John S. Schlipf: An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs. 275-309 BibTeX
• Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Semantics and Expressiveness of Disjunctive Ordered Logic. 311-337 BibTeX
• Katsumi Inoue, Chiaki Sakama: Computing Extended Abduction Through Transaction Programs. 339-367 BibTeX
• Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner: Nested Expressions in Logic Programs. 369-389 BibTeX
• Robert A. Kowalski, Fariba Sadri: From Logic Programming Towards Multi-Agent Systems. 391-419 BibTeX