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
John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. 33-65
William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann: Learning via Queries with Teams and Anomalies. 67-89
Iain A. Stewart: Reachability in Some Classes of Acyclic Petri Nets. 91-100
Eric de Kogel: Relational Algebra and Equational Proofs. 101-121
Marco Cadoli, Marco Schaerf: Approximate Inference in Default Logic and Circumscription. 123-143

Special Issue: Context: Theory and Practice

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