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
  

Volume 23, Number 2/3/4, June, July, August 1995

• 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
  

Last update Tue Feb 14 04:18:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page