Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 79
Volume 79, Number 1, February 2005
- Gerhard Brewka, Pavlos Peppas
:
Preface. 3-5 - José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite:
The Refined Extension Principle for Semantics of Dynamic Logic Programming. 7-32 - Chitta Baral, Tran Hoai Nam:
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. 33-46 - Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief Liberation (and Retraction). 47-72 - Robert Craven, Marek J. Sergot:
Distant Causation in C+. 73-96 - James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Gricean Belief Change. 97-113 - Graciela Gonzalez, Chitta Baral, Michael Gelfond:
Alan: An Action Language For Modelling Non-Markovian Domains. 115-134 - Tran Cao Son, Phan Huy Tu, Xin Zhang:
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. 135-160
Volume 79, Number 2, March 2005
- Andrzej Grzegorczyk:
Undecidability without Arithmetization. 163-230 - Giangiacomo Gerla:
Fuzzy Logic Programming and Fuzzy Control. 231-254 - Stefan Wölfl:
Events in Branching Time. 255-282 - Francesco Paoli:
*-autonomous Lattices. 283-304
Volume 79, Number 3, April 2005
- Miroslaw Szatkowski:
Semantic Analysis of some Variants of Anderson-like Ontological Proofs. 317-355 - M. Randall Holmes:
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. 357-372 - Joseph S. Miller, Lawrence S. Moss:
The Undecidability of Iterated Modal Relativization. 373-407 - Elliott Mendelson:
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. 409-410
a service of 
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.
last updated on 2024-04-25 05:28 CEST 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:
