Computational Logic - Handbook of the History of Logic
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Elsevier

9780444516244

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logics for Intelligent Agents and Multi-Agent Systems

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50014-9 ◽

2014 ◽

pp. 629-658 ◽

Author(s):

John-Jules Ch. Meyer

Keyword(s):

Intelligent Agents ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Copyright

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50018-6 ◽

2014 ◽

pp. iv

Download Full-text

Degrees of Unsolvability

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50010-1 ◽

2014 ◽

pp. 443-494 ◽

Author(s):

Klaus Ambos-Spies ◽

Peter A. Fejer

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Logics for the Semantic Web

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50016-2 ◽

2014 ◽

pp. 679-710 ◽

Author(s):

Pascal Hitzler ◽

Jens Lehmann ◽

Axel Polleres

Keyword(s):

Download Full-text

Equational Logic and Rewriting

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50006-x ◽

2014 ◽

pp. 255-282

Author(s):

Claude Kirchner ◽

Hélène Kirchner

Keyword(s):

Equational Logic

Download Full-text

Index

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50020-4 ◽

2014 ◽

pp. 711-734

Download Full-text

Description Logics

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50015-0 ◽

2014 ◽

pp. 659-678

Author(s):

Matthias Knorr ◽

Pascal Hitzler

Keyword(s):

Description Logics

Download Full-text

Logic and Databases: A History of Deductive Databases

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50013-7 ◽

2014 ◽

pp. 571-627 ◽

Author(s):

Jack Minker ◽

Dietmar Seipel ◽

Carlo Zaniolo

Keyword(s):

Deductive Databases ◽

Download Full-text

Computational Logic

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50001-0 ◽

2014 ◽

pp. 15-30 ◽

Author(s):

Jörg Siekmann

Keyword(s):

Computational Logic

Download Full-text

What is a logical system? An evolutionary view: 1964–2014

Computational Logic - Handbook of the History of Logic ◽

10.1016/b978-0-444-51624-4.50003-4 ◽

2014 ◽

pp. 41-132 ◽

Author(s):

Dov M. Gabbay

Keyword(s):

Logical System ◽

Evolutionary View

Download Full-text