Annals of Mathematics and Artificial Intelligence

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

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

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

External Links