Fundamenta Informaticae, Volume 17

Volume 17, Number 1-2, 1992

Craig Boutilier: Epistemic Entrenchment in autoepistemic logic. 5-29 BibTeX
Thomas Eiter, Georg Gottlob: Reasoning with parsimonious and moderately grounded expansions. 31-53 BibTeX
Melvin Fitting: Many-Valued Model Logics II. 55-73 BibTeX
Gerhard Lakemeyer: On perfect introspection with Quantifying-in. 75-98 BibTeX
V. Wiktor Marek, Miroslaw Truszczynski: More on modal aspects of default logic. 99-116 BibTeX
Ilkka Niemelä: On the decidability and complexity of autoepistemic reasoning. 117-155 BibTeX
Grigori Schwarz: Reflexive Autoepistemic logic. 157-173 BibTeX

Cecylia Rauszer: Algebraic considerations of autoepistemic logic. 175-186 BibTeX
Robert Gold, Walter Vogler: Quality criteria for partial order semantics of place/transition-nets with capacities. 187-209 BibTeX
Dung T. Huynh, Lu Tian: On some equivalence relations for probabilistic processes. 211-234 BibTeX
Mahendran Velauthapillai: Approximate learning with multiple machines. 235-251 BibTeX
Malgorzata Madry: - Representability of integer, word and tree functions. 253-270 BibTeX
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty: An automata-theoretic decision procedure for propositional temporal logic with since and until. 271-282 BibTeX

Johan van Benthem: Logic as programming. 285-317 BibTeX
Luca Aceto: History preserving, causal and mixed-ordering equivalence over stable event structures. 319-331 BibTeX
Herman Akdag, Michel De Glas, Daniel Pacholczyk: A qualitative theory of uncertainty. 333-362 BibTeX
Erkki Mäkinen: On Grammatical inference and derivational complexity of context grammars. 363-368 BibTeX
Luca Aceto: Relating distributed, temporal and causal observations of simple processes. 369-397 BibTeX