Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel /
.
Bookmark this Record
Catalogue Record 42683
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 42683
.
Reviews
Catalogue Record 42683
.
British Library
Resolver for RSN-42683
Google Scholar
Resolver for RSN-42683
WorldCat
Resolver for RSN-42683
Catalogo Nazionale SBN
Resolver for RSN-42683
GoogleBooks
Resolver for RSN-42683
ICTP Library
Resolver for RSN-42683
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
160
Title
Intellectics and Computational Logic ([EBook] :) : Papers in Honor of Wolfgang Bibel / / edited by Steffen Hölldobler.
Added Personal Name
Hölldobler, Steffen
editor.
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : : Springer Netherlands : : Imprint: Springer, , 2000.
Physical Details
XI, 388 p. : online resource.
Series
Applied Logic Series
1386-2790 ; ; 19
ISBN
9789401593830
Summary Note
`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science. The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics. Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.:
Contents note
Prologue -- A Confluent Connection Calculus -- Prioritizing Default Logic -- A Connection Calculus for Handling Incomplete Information -- The Connection Method, Constraints and Model Building -- Towards a Logical Characterisation of Sentences of the Kind “Sentence p is About Object c” -- The Cut Rule in Theorem Proving -- Some Strengths of Nonmonotonic Reasoning -- Composing Re-usable Synthesis Methods through Graph-based Viewpoints -- Proof Structures and Matrix Graphs -- AI and Cognitive Science: Feedback Leads to a New Neural Concept -- Matrix-based Constructive Theorem Proving -- Complex Plans in the Fluent Calculus -- Querying AOL Knowledge Bases -- Properties and Relations of Tableau and Connection Calculi -- Concepts in Proof Planning -- Proof = Guarantee + Explanation -- Automated Theorem Proving in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms -- The Illusion of Knowledge -- Criteria for Termination -- Epilogue.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-94-015-9383-0
Links to Related Works
Subject References:
Artificial intelligence
.
Artificial Intelligence (incl. Robotics)
.
Logic
.
Philosophy
.
Authors:
Hölldobler, Steffen
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Applied Logic Series
.
Classification:
160
.
.
ISBD Display
Catalogue Record 42683
.
Tag Display
Catalogue Record 42683
.
Related Works
Catalogue Record 42683
.
Marc XML
Catalogue Record 42683
.
Add Title to Basket
Catalogue Record 42683
.
Catalogue Information 42683
Beginning of record
.
Catalogue Information 42683
Top of page
.
Download Title
Catalogue Record 42683
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
42683
1
42683
-
2
42683
-
3
42683
-
4
42683
-
5
42683
-
Quick Search
Search for