Fundamenta Informaticae, Volume 23

Volume 23, Number 1, May 1995

Andrzej Ehrenfeucht, Joost Engelfriet, Paulien ten Pas, Grzegorz Rozenberg: Grammatical Codes of Trees and Terminally Coded Grammars. 1-32 BibTeX
John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. 33-65 BibTeX
William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann: Learning via Queries with Teams and Anomalies. 67-89 BibTeX
Iain A. Stewart: Reachability in Some Classes of Acyclic Petri Nets. 91-100 BibTeX
Eric de Kogel: Relational Algebra and Equational Proofs. 101-121 BibTeX
Marco Cadoli, Marco Schaerf: Approximate Inference in Default Logic and Circumscription. 123-143 BibTeX

Special Issue: Context: Theory and Practice

Donald Perlis: Papers on Context: Theory and Practice. 145-148 BibTeX
Giuseppe Attardi, Maria Simi: A Formalization of Viewpoints. 149-173 BibTeX
Philippe Besnard, Torsten Schaub: An Approach to Context-Based Default Reasoning. 175-223 BibTeX
Raj Bhatnagar: Context Hypothesization Using Probabilistic Knowledge. 225-246 BibTeX
Paolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. 247-262 BibTeX
Sasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. 263-301 BibTeX
Mary P. Harper, Randall A. Helzerman: Managing Multiple Knowledge Sources in Constraint-Based Parsing of Spoken Language. 303-353 BibTeX
Michael Miller: Context Shifts and Clashes in Dialogues: An Active Logic Perspective. 355-370 BibTeX
Madhura Nirkhe, Sarit Kraus: Formal Real-Time Imagination. 371-394 BibTeX