loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th International Symposium on Temporal Representation and Reasoning (TIME'07)
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
Alicante, Spain
June 28-June 30
ISBN: 0-7695-2836-8
ASCII Text
x 
 
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin, "Automated Natural Deduction for Propositional Linear-Time Temporal Logic," Temporal Representation and Reasoning, International Syposium on, pp. 47-58, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2007.41,
author = {Alexander Bolotov and Oleg Grigoriev and Vasilyi Shangin},
title = {Automated Natural Deduction for Propositional Linear-Time Temporal Logic},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2007},
issn = {1530-1311},
pages = {47-58},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2007.41},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - Automated Natural Deduction for Propositional Linear-Time Temporal Logic
SN - 1530-1311
SP47
EP58
A1 - Alexander Bolotov,
A1 - Oleg Grigoriev,
A1 - Vasilyi Shangin,
PY - 2007
KW - null
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Alexander Bolotov, University of Westminster, UK
Oleg Grigoriev, Moscow State University, Russia
Vasilyi Shangin, Moscow State University, Russia
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to apply our technique as an automated reasoning tool in a number of emerging computer science applications and in a deliberative decision making framework across various AI applications.
Citation:
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin, "Automated Natural Deduction for Propositional Linear-Time Temporal Logic," time, pp.47-58, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.