Annals of Mathematics and Artificial Intelligence, Volume 15

Volume 15, Number 1, October 1995

Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Structured Proof Procedures. 1-18 BibTeX
Mira Balaban: The F-logic Approach for Description Languages. 19-60 BibTeX
Daniel J. Lehmann: Another Perspective on Default Reasoning. 61-82 BibTeX
Wlodek Zadrozny, Michelle Y. Kim: Computational Mereology: A Study of Part-of Relations for Multimedia Indexing. 83-100 BibTeX
Alexander Bochman: Modal Nonmonotonic Logics Demodalized. 101-123 BibTeX

Emmanuel Kounalis, Michaël Rusinowitch: Reasoning with Conditional Axioms. 125-149 BibTeX
Carl H. Smith, William I. Gasarch: Recursion Theoretic Models of Learning: Some Results and Intuitions. 151-166 BibTeX
Michael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. 167-208 BibTeX
Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. 209-229 BibTeX
Adam Brooks Webber: Proof of the Interval Satisfiability Conjecture. 231-238 BibTeX
Krishnaprasad Thirunarayan: On the Equivalence of Upward and Downward Inheritance Reasoners. 239-256 BibTeX

Complexity Issues in Logic Programming

John S. Schlipf: Complexity and Undecidability Results for Logic Programming. 257-288 BibTeX
Thomas Eiter, Georg Gottlob: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. 289-323 BibTeX
Audrey Ferry: A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs. 325-355 BibTeX
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski: Complexity of Computing with Extended Propositional Logic Programs. 357-378 BibTeX
Yael Moscowitz, Ehud Y. Shapiro: On the Structural Simplicity of Machines and Languages. 379-405 BibTeX
Inderpal Singh Mumick, Oded Shmueli: How Expressive is Statified Aggregation? 407-434 BibTeX
Andrei Voronkov: On Computability by Logic Programs. 437-456 BibTeX