A system for automated deduction in graphical interval logic

2005 ◽  
pp. 540-542
Author(s):  
P. M. Melliar-Smith ◽  
L. E. Moser ◽  
Y. S. Ramakrishna ◽  
G. Kutty ◽  
L. K. Dillon
Keyword(s):  
Automated Deduction ◽  
Interval Logic

Automated Deduction in Gödel Logic

2018 ◽  
Vol 19 (3) ◽  
pp. 1-28
Author(s):  
Dušan Guller
Keyword(s):  
Automated Deduction ◽  
Gödel Logic

scholarly journals Automated deduction of cross-organizational collaborative business processes

2018 ◽  
Vol 453 ◽  
pp. 30-49 ◽  
Author(s):  
Aurelie Montarnal ◽  
Wenxin Mu ◽  
Frederick Benaben ◽  
Jacques Lamothe ◽  
Matthieu Lauras ◽  
...  
Keyword(s):  
Business Processes ◽  
Automated Deduction

On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders

2014 ◽  
pp. 267-281 ◽  
Author(s):  
Luca Aceto ◽  
Dario Della Monica ◽  
Anna Ingólfsdóttir ◽  
Angelo Montanari ◽  
Guido Sciavicco
Keyword(s):  
Linear Orders ◽  
Interval Logic
Sign in / Sign up

Export Citation Format

Share Document