↓ Skip to main content

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I

Overview of attention for book
Cover of 'Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Portrait of a Scientist as a Computational Logician
  3. Altmetric Badge
    Chapter 2 Bob Kowalski: A Portrait
  4. Altmetric Badge
    Chapter 3 Directions for Logic Programming
  5. Altmetric Badge
    Chapter 4 Agents as Multi-threaded Logical Objects
  6. Altmetric Badge
    Chapter 5 Logic Programming Languages for the Internet
  7. Altmetric Badge
    Chapter 6 Higher-Order Computational Logic
  8. Altmetric Badge
    Chapter 7 A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
  9. Altmetric Badge
    Chapter 8 Transformation Systems and Nondeclarative Properties
  10. Altmetric Badge
    Chapter 9 Acceptability with General Orderings
  11. Altmetric Badge
    Chapter 10 Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
  12. Altmetric Badge
    Chapter 11 Negation as Failure through Abduction: Reasoning about Termination
  13. Altmetric Badge
    Chapter 12 Program Derivation = Rules + Strategies
  14. Altmetric Badge
    Chapter 13 Achievements and Prospects of Program Synthesis
  15. Altmetric Badge
    Chapter 14 Logic for Component-Based Software Development
  16. Altmetric Badge
    Chapter 15 Patterns for Prolog Programming
  17. Altmetric Badge
    Chapter 16 Abduction in Logic Programming
  18. Altmetric Badge
    Chapter 17 Learning in Clausal Logic: A Perspective on Inductive Logic Programming
  19. Altmetric Badge
    Chapter 18 Disjunctive Logic Programming: A Survey and Assessment
  20. Altmetric Badge
    Chapter 19 Constraint Logic Programming
  21. Altmetric Badge
    Chapter 20 Planning Attacks to Security Protocols: Case Studies in Logic Programming
  22. Altmetric Badge
    Chapter 21 Multiagent Compromises, Joint Fixpoints, and Stable Models
  23. Altmetric Badge
    Chapter 22 Error-Tolerant Agents
  24. Altmetric Badge
    Chapter 23 Logic-Based Hybrid Agents
  25. Altmetric Badge
    Chapter 24 Heterogeneous Scheduling and Rotation
Attention for Chapter 4: Agents as Multi-threaded Logical Objects
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Agents as Multi-threaded Logical Objects
Chapter number 4
Book title
Computational Logic: Logic Programming and Beyond
Published by
Springer, Berlin, Heidelberg, January 2002
DOI 10.1007/3-540-45628-7_4
Book ISBNs
978-3-54-043959-2, 978-3-54-045628-5
Authors

Keith Clark, Peter J. Robinson

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Professor 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Psychology 1 33%