default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sLogica/sLogica79.bht:"
download as .bib file
@article{DBLP:journals/sLogica/AlferesBBL05,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Federico Banti and
Antonio Brogi and
Jo{\~{a}}o Alexandre Leite},
title = {The Refined Extension Principle for Semantics of Dynamic Logic Programming},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {7--32},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0492-y},
doi = {10.1007/S11225-005-0492-Y},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AlferesBBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BaralT05,
author = {Chitta Baral and
Tran Hoai Nam},
title = {Representation and Reasoning about Evolutions of the World in the
Context of Reasoning about Actions},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {33--46},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0493-x},
doi = {10.1007/S11225-005-0493-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BaralT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BoothCGM05,
author = {Richard Booth and
Samir Chopra and
Aditya Ghose and
Thomas Andreas Meyer},
title = {Belief Liberation (and Retraction)},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {47--72},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0494-9},
doi = {10.1007/S11225-005-0494-9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/BoothCGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BrewkaP05,
author = {Gerhard Brewka and
Pavlos Peppas},
title = {Preface},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {3--5},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0491-z},
doi = {10.1007/S11225-005-0491-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/BrewkaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CravenS05,
author = {Robert Craven and
Marek J. Sergot},
title = {Distant Causation in {C+}},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {73--96},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0495-8},
doi = {10.1007/S11225-005-0495-8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CravenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DelgrandeNP05,
author = {James P. Delgrande and
Abhaya C. Nayak and
Maurice Pagnucco},
title = {Gricean Belief Change},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {97--113},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0496-7},
doi = {10.1007/S11225-005-0496-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DelgrandeNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gerla05,
author = {Giangiacomo Gerla},
title = {Fuzzy Logic Programming and Fuzzy Control},
journal = {Stud Logica},
volume = {79},
number = {2},
pages = {231--254},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-2977-0},
doi = {10.1007/S11225-005-2977-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gerla05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GonzalezBG05,
author = {Graciela Gonzalez and
Chitta Baral and
Michael Gelfond},
title = {Alan: An Action Language For Modelling Non-Markovian Domains},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {115--134},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0498-5},
doi = {10.1007/S11225-005-0498-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GonzalezBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Grzegorczyk05,
author = {Andrzej Grzegorczyk},
title = {Undecidability without Arithmetization},
journal = {Stud Logica},
volume = {79},
number = {2},
pages = {163--230},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-2976-1},
doi = {10.1007/S11225-005-2976-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Grzegorczyk05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Holmes05,
author = {M. Randall Holmes},
title = {The Structure of the Ordinals and the Interpretation of {ZF} in Double
Extension Set Theory},
journal = {Stud Logica},
volume = {79},
number = {3},
pages = {357--372},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-3611-x},
doi = {10.1007/S11225-005-3611-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Holmes05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Mendelson05,
author = {Elliott Mendelson},
title = {Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory,
Mathematical Logic and the Theory of Algorithms, Edited by Giovanna
Corsi, Kluwer Academic / Plenum Publishers, 2003, pp xii + 282, {ISBN}
0-306-47712-2},
journal = {Stud Logica},
volume = {79},
number = {3},
pages = {409--410},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-3613-8},
doi = {10.1007/S11225-005-3613-8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Mendelson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MillerM05,
author = {Joseph S. Miller and
Lawrence S. Moss},
title = {The Undecidability of Iterated Modal Relativization},
journal = {Stud Logica},
volume = {79},
number = {3},
pages = {373--407},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-3612-9},
doi = {10.1007/S11225-005-3612-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/MillerM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Paoli05,
author = {Francesco Paoli},
title = {*-autonomous Lattices},
journal = {Stud Logica},
volume = {79},
number = {2},
pages = {283--304},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-2979-y},
doi = {10.1007/S11225-005-2979-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Paoli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SonTZ05,
author = {Tran Cao Son and
Phan Huy Tu and
Xin Zhang},
title = {Reasoning about Sensing Actions in Domains with Multi-Valued Fluents},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {135--160},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0499-4},
doi = {10.1007/S11225-005-0499-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SonTZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Szatkowski05,
author = {Miroslaw Szatkowski},
title = {Semantic Analysis of some Variants of Anderson-like Ontological Proofs},
journal = {Stud Logica},
volume = {79},
number = {3},
pages = {317--355},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-3610-y},
doi = {10.1007/S11225-005-3610-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Szatkowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolfl05,
author = {Stefan W{\"{o}}lfl},
title = {Events in Branching Time},
journal = {Stud Logica},
volume = {79},
number = {2},
pages = {255--282},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-2978-z},
doi = {10.1007/S11225-005-2978-Z},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Wolfl05.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.
retrieved on 2024-09-25 03:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
