External Links

    Journal: Fundamenta Informaticae

    Volume 17, Issue 4

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

    Volume 17, Issue 3

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

    Volume 17, Issue 1-2

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