Computational logic

Computational logic

by Gabbay, Dov M. Siekmann, Jörg H. Woods, John, (John Hayden)

Type Book
Rate 0.0 /5

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen inter…

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.

Summary

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversi.

Read More ↓

Edition Statements

  • Publication Date:©2014
  • Edition:First edition

Publication Statements

  • Publisher(s):North-Holland
  • Place of Publication:Amsterdam, Netherlands
  • Language:eng
  • Publication Date:©2014

The Physical Object

  • Description:1 online resource (737 pages) : : illustrations.

Edition Identifiers

  • ISBN:9780080930671, 0080930670
  • oclc:on1048426416
  • LC Classification:QA76.9.L63
  • Dewey Decimal:006.3

Table of Contents

Front Cover; Computational Logic ; Copyright ; Contents ; Editorial Note ; Contributors ; Authors; Readers; Part I: Introduction ; Chapter 1: Computational Logic ; Acknowledgements ; Bibliography ; Chapter 2: Logic and the Development of the Computer ; Bibliography ; Part II: General ; Chapter 3: What is a Logical System? An Evolutionary View: 1964-2014 ; 1 Introduction ; 2 Logical Systems as Consequence Relations ; 3 Logical Systems as Algorithmic Proof Systems ; 4 Logical Systems as Algorithmic Structured Consequence Relations ; 5 Algorithmic Approximations of Logical Systems

6 Logical Systems as Labelled Deductive Systems 7 Aggregated Systems ; 8 Practical Reasoning Systems ; 9 New Notions of Logical Consequence ; 10 Example: A TAR-logic ; 11 Semantical Interpretation ; 12 Discussion 1999 ; 13 Modes of Evaluation ; 14 The Reactive Paradigm in General ; 15 Reactive Proof Theory ; 16 Equational Approach to Logic ; 17 Non-Deterministic Semantics for Logical Systems and the Equational Approach ; 18 Input Output Logics ; 19 Argumentation Networks as Logics ; 20 Semantics ; 21 Concluding Discussion 2014 ; Acknowledgements ; Bibliography ; Part III: Automated Reasoning

Chapter 4: Hi…

Read More ↓

Subjects

Computer logic Logique informatique

Writers

Gabbay, Dov M. Siekmann, Jörg H. Woods, John, (John Hayden)

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Computational Logic -- (.pdf)

    PDF · 7.4 MB · updated
    Login →

  • Computational Logic -- (.pdf)

    PDF · 4.4 MB · updated
    Login →

  • Computational Logic -- (.pdf)

    PDF · 7.4 MB · updated
    Login →

  • Handbook of the history of logic. Vol. 09. Comput…

    PDF · 4.3 MB · updated
    Login →
Log in to request a copy