Search dblp for Publications

export results for "toc:db/journals/fuin/fuin21.bht:"

 download as .bib file

@article{DBLP:journals/fuin/Baral94,
  author       = {Chitta Baral},
  title        = {Varying Selection Functions to Relate Conditional Logics and Preferential
                  Models},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {307--319},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2142},
  doi          = {10.3233/FI-1994-2142},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Baral94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BertossiR94,
  author       = {Leopoldo E. Bertossi and
                  Raymond Reiter},
  title        = {Circumscription and Generic Mathematical Objects},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {113--123},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21127},
  doi          = {10.3233/FI-1994-21127},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BertossiR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BesnardS94,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {Possible Worlds Semantics for Default Logics},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {39--66},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21123},
  doi          = {10.3233/FI-1994-21123},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BesnardS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BoddyGKS94,
  author       = {Mark S. Boddy and
                  Robert P. Goldman and
                  Keiji Kanazawa and
                  Lynn Andrea Stein},
  title        = {A Critical Examination of Model Preference Defaults},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {23--38},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21122},
  doi          = {10.3233/FI-1994-21122},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BoddyGKS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Bozapalidis94,
  author       = {Symeon Bozapalidis},
  title        = {Representable Tree Series},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {367--389},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2146},
  doi          = {10.3233/FI-1994-2146},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Bozapalidis94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CadoliS94,
  author       = {Marco Cadoli and
                  Marco Schaerf},
  title        = {Approximate Inference in Default Logic and Circumscription},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {103--112},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21126},
  doi          = {10.3233/FI-1994-21126},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CadoliS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Chen94,
  author       = {Jianhua Chen},
  title        = {The Logic of Only Knowing as a Unified Framework for Non-Monotonic
                  Reasoning},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {205--220},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2133},
  doi          = {10.3233/FI-1994-2133},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Chen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CholakB94,
  author       = {Peter Cholak and
                  Howard A. Blair},
  title        = {The Complexity of Local Stratification},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {333--344},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2144},
  doi          = {10.3233/FI-1994-2144},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CholakB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChuP94,
  author       = {Heng Chu and
                  David A. Plaisted},
  title        = {Model Finding in Semantically Guided Instance-Based Theorem Proving},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {221--235},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2134},
  doi          = {10.3233/FI-1994-2134},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChuP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Duntsch94,
  author       = {Ivo D{\"{u}}ntsch},
  title        = {Rough Relation Algebras},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {321--331},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2143},
  doi          = {10.3233/FI-1994-2143},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Duntsch94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EtheringtonKK94,
  author       = {David W. Etherington and
                  Henry A. Kautz and
                  Kurt Konolige},
  title        = {Introduction to the Special Issue},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {1--5},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-211210},
  doi          = {10.3233/FI-1994-211210},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EtheringtonKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GinsbergH94,
  author       = {Matthew L. Ginsberg and
                  Hugh W. Holbrook},
  title        = {What Defaults can do that Hierarchies Can't},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {149--159},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21129},
  doi          = {10.3233/FI-1994-21129},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GinsbergH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Hungar94,
  author       = {Hardi Hungar},
  title        = {Expressibility of the Semantics of Sequential Programs in First-Order
                  Logic},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {345--365},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2145},
  doi          = {10.3233/FI-1994-2145},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Hungar94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KomorowskiR94,
  author       = {Henryk Jan Komorowski and
                  Zbigniew W. Ras},
  title        = {Guest Editors' Preface - Selected Papers from the ISMIS'93 Symposium},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {161--162},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2136},
  doi          = {10.3233/FI-1994-2136},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KomorowskiR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeonePR94,
  author       = {Nicola Leone and
                  Luigi Palopoli and
                  Massimo Romeo},
  title        = {Modifying Intensional Logic Knowledge},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {183--203},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2132},
  doi          = {10.3233/FI-1994-2132},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeonePR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/McCarty94,
  author       = {L. Thorne McCarty},
  title        = {Defeasible Deontic Reasoning},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {125--148},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21128},
  doi          = {10.3233/FI-1994-21128},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/McCarty94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MoserMKR94,
  author       = {Louise E. Moser and
                  P. M. Melliar{-}Smith and
                  George Kutty and
                  Y. S. Ramakrishna},
  title        = {Completeness and Soundness of Axiomatizations for Temporal Logics.
                  Without Next},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {257--305},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2141},
  doi          = {10.3233/FI-1994-2141},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MoserMKR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Moshkov94,
  author       = {Mikhail Moshkov},
  title        = {Optimization Problems for Decision Trees},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {4},
  pages        = {391--401},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2147},
  doi          = {10.3233/FI-1994-2147},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Moshkov94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MurrayR94,
  author       = {Neil V. Murray and
                  Erik Rosenthal},
  title        = {Adapting Classical Inference Techniques to Multiple-Valued Logics
                  Using Signed Formulas},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {237--253},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2135},
  doi          = {10.3233/FI-1994-2135},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MurrayR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PrzymusinskaP94,
  author       = {Halina Przymusinska and
                  Teodor C. Przymusinski},
  title        = {Stationary Default Extensions},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {67--87},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21124},
  doi          = {10.3233/FI-1994-21124},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PrzymusinskaP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RobertsonAHL94,
  author       = {David Stuart Robertson and
                  Jaume Agust{\'{\i}}{-}Cullell and
                  Jane Hesketh and
                  Jordi Levy},
  title        = {Expressing Program Requirements Using Refinement Lattices},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {3},
  pages        = {163--182},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-2131},
  doi          = {10.3233/FI-1994-2131},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RobertsonAHL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SchwindS94,
  author       = {Camilla Schwind and
                  Pierre Siegel},
  title        = {A Modal Logic for Hypothesis Theory},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {89--101},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21125},
  doi          = {10.3233/FI-1994-21125},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SchwindS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Stalnaker94,
  author       = {Robert Stalnaker},
  title        = {What is a Nonmonotonic Consequence Relation?},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {7--21},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21121},
  doi          = {10.3233/FI-1994-21121},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Stalnaker94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.