Period of time： 2014年1期
Publisher： Taylor & Francis Ltd
Founded in： 1989
Total resources： 65
ISSN： 1362-3079
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Experimental ,volume 11,issue 1
Menu
Introduction to the special issue on time and temporal reasoning
By Morris Robert,Khatib Lina in (1999)
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.
Access to resources
Recommend
Changing times: a causal theory of probabilistic temporal reasoning
By Tawfik Ahmed Y.,Neufeld Eric in (1999)
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.Handling contingency in temporal constraint networks: from consistency to controllabilities
By Vidal Thierry,Fargier Helene in (1999)
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.Knowledge representation with multiple logical theories and time
By Mancarella Paolo,Raffaeta Alessandra,Turini Franco in (1999)
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.A clausal resolution method for CTL branching-time temporal logic
By Bolotov Alexander,Fisher Michael in (1999)
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.Removing irrelevant information in temporal resolution proofs
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.Knowledge-based temporal interpolation
Journal of Experimental ,volume 11,issue 1 , Vol. 11, Iss. 1, 1999-01 , pp.