An Introduction to Automated Deduction

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_3 ◽

1987 ◽

pp. 75-132 ◽

Cited By ~ 5

Author(s):

Mark E. Stickel

Keyword(s):

Automated Deduction

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

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

Workshop: Automated Deduction in Education

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_48 ◽

2000 ◽

pp. 516-516

Author(s):

Erica Melis

Keyword(s):

Automated Deduction

Download Full-text

Automated deduction by connection method in an object-oriented environment

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_14 ◽

1997 ◽

pp. 230-244

Author(s):

G. Cioni ◽

G. Patrizi ◽

M. Temperini

Keyword(s):

Object Oriented ◽

Automated Deduction ◽

Connection Method

Download Full-text