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
Volume 15, Number 2, November 1995
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
Volume 15, Numbers 3-4, 1995
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
Copyright ©
Sat May 16 23:50:15 2009 by
Michael Ley
(
ley@uni-trier.de
)