Tableau-Based Automated Deduction for Duration Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_5 ◽

2002 ◽

pp. 53-69 ◽

Cited By ~ 1

Author(s):

Nathalie Chetcuti-Sperandio

Keyword(s):

Automated Deduction ◽

Duration Calculus

Download Full-text

Special relations in automated deduction

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0015767 ◽

2005 ◽

pp. 413-423

Author(s):

Zohar Manna ◽

Richard Waldinger

Keyword(s):

Automated Deduction ◽

Special Relations

Download Full-text

THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C-27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23–30, 2019

Bulletin of Symbolic Logic ◽

10.1017/bsl.2020.10 ◽

2020 ◽

Vol 26 (1) ◽

pp. 96-96

Keyword(s):

Automated Deduction ◽

Symbolic Logic ◽

International Conference

Download Full-text

Automated Deduction in Gödel Logic

ACM Transactions on Computational Logic ◽

10.1145/3218817 ◽

2018 ◽

Vol 19 (3) ◽

pp. 1-28

Author(s):

Dušan Guller

Keyword(s):

Automated Deduction ◽

Gödel Logic

Download Full-text

Automated deduction of cross-organizational collaborative business processes

Information Sciences ◽

10.1016/j.ins.2018.03.041 ◽

2018 ◽

Vol 453 ◽

pp. 30-49 ◽

Cited By ~ 3

Author(s):

Aurelie Montarnal ◽

Wenxin Mu ◽

Frederick Benaben ◽

Jacques Lamothe ◽

Matthieu Lauras ◽

...

Keyword(s):

Business Processes ◽

Automated Deduction

Download Full-text

Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

International Journal of Intelligent Systems ◽

10.1002/int.10069 ◽

2002 ◽

Vol 17 (9) ◽

pp. 887-924 ◽

Cited By ~ 12

Author(s):

Teresa Alsinet ◽

Llu�s Godo

Keyword(s):

Logic Programming ◽

Automated Deduction ◽

Deduction System ◽

First Order ◽

Possibilistic Logic

Download Full-text

Loveland, D. W. (ed.), 6th Conference on Automated Deduction. New York, USA, 1982. Berlin-Heidelberg-New York, Springer-Verlag 1982. VII, 389 S., DM 39,50. US $ 17.60. ISBN 3-540-11558-7 (Lecture Notes in Computer Science 138)

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19830630827 ◽

1983 ◽

Vol 63 (8) ◽

pp. 398-398

Author(s):

H. Reichel

Keyword(s):

New York ◽

Computer Science ◽

Automated Deduction ◽

Lecture Notes

Download Full-text

Robust Controller Synthesis for Duration Calculus

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_24 ◽

2020 ◽

pp. 429-446

Author(s):

Kalyani Dole ◽

Ashutosh Gupta ◽

Shankara Narayanan Krishna

Keyword(s):

Controller Synthesis ◽

Robust Controller ◽

Duration Calculus

Download Full-text

Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_5 ◽

1997 ◽

pp. 49-52 ◽

Cited By ~ 1

Author(s):

Robert Nieuwenhuis ◽

José Miguel Rivero ◽

Miguel Angel Vallejo

Keyword(s):

Data Structures ◽

Automated Deduction ◽

Data Structures And Algorithms

Download Full-text

Automated deduction and formal methods

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_67 ◽

1996 ◽

pp. 169-183 ◽

Cited By ~ 9

Author(s):

John Rushby

Keyword(s):

Formal Methods ◽

Automated Deduction

Download Full-text

A Robust Interpretation of Duration Calculus

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_17 ◽

2005 ◽

pp. 257-271 ◽

Cited By ~ 6

Author(s):

Martin Fränzle ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text