|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3202865 |
| 003 |
MWH |
| 005 |
20191213061524.0 |
| 007 |
cr nn 008mamaa |
| 008 |
130321s2000 ne | s |||| 0|eng d |
| 020 |
|
|
|a 9789401593830
|
| 024 |
7 |
|
|a 10.1007/978-94-015-9383-0
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-94-015-9383-0
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a HPL
|2 bicssc
|
| 072 |
|
7 |
|a PHI011000
|2 bisacsh
|
| 072 |
|
7 |
|a QDTL
|2 thema
|
| 245 |
1 |
0 |
|a Intellectics and Computational Logic
|h [electronic resource] :
|b Papers in Honor of Wolfgang Bibel /
|c edited by Steffen Hölldobler.
|
| 250 |
|
|
|a 1st ed. 2000.
|
| 264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands :
|b Imprint: Springer,
|c 2000.
|
| 300 |
|
|
|a XI, 388 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Applied Logic Series,
|x 1386-2790 ;
|v 19
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a ̀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.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Logic.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Hölldobler, Steffen.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Applied Logic Series,
|x 1386-2790 ;
|v 19
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-015-9383-0
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32028659
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g ne
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SMA
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Mathematics and Statistics (Springer-11649)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21160296
|z 02-26-20
|
| 999 |
f |
f |
|i 4a4fa4cb-189e-5e96-836d-af027cdde3b0
|s a405e074-a7f2-57ad-91f2-11ec82236792
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|