Period of time: 2014年1期
Publisher: Springer Publishing Company
Founded in: 1953
Total resources: 90
ISSN: 0039-3215
Subject: B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 79,issue 1
Menu
By Brewka Gerhard,Peppas Pavlos in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.The Refined Extension Principle for Semantics of Dynamic Logic Programming
By Alferes José,Banti Federico,Brogi Antonio,Leite João in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
By Baral Chitta,Tran Nam in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.Belief Liberation (and Retraction)
By Booth Richard,Chopra Samir,Ghose Aditya,Meyer Thomas in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.By Craven Robert,Sergot Marek in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.By Delgrande James,Nayak Abhaya,Pagnucco Maurice in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.Alan: An Action Language For Modelling Non-Markovian Domains
By González Graciela,Baral Chitta,Gelfond Michael in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.Reasoning about Sensing Actions in Domains with Multi-Valued Fluents
By Son Tran,Tu Phan,Zhang Xin in (2005)
Studia Logica,volume 79,issue 1 , Vol. 79, Iss. 1, 2005-02 , pp.