Fundamenta Informaticae, Volume 17

Volume 17, Number 1-2, 1992

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

Cecylia Rauszer: Algebraic considerations of autoepistemic logic. 175-186
Robert Gold, Walter Vogler: Quality criteria for partial order semantics of place/transition-nets with capacities. 187-209
Dung T. Huynh, Lu Tian: On some equivalence relations for probabilistic processes. 211-234
Mahendran Velauthapillai: Approximate learning with multiple machines. 235-251
Malgorzata Madry: - Representability of integer, word and tree functions. 253-270
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

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