Librarian View
Last updated in SearchWorks on November 25, 2023 1:06am
LEADER 02988cam a2200445Ia 4500
001
a9519539
003
SIRSI
006
m||||||||d||||||||
007
cr cnu---unuuu
008
060131s2005 nju ob 001 0 eng d
020
a| 9812567801 (electronic bk.)
020
a| 9789812567802 (electronic bk.)
035
a| (Sirsi) a9519539
040
a| N$T
b| eng
c| N$T
d| OCLCQ
d| YDXCP
d| OCLCG
d| OCLCQ
d| IDEBK
d| OCLCQ
d| TUU
d| OCLCQ
d| CSt
049
a| STFA
050
4
a| Q339.2
b| .B63 2005eb
072
7
a| COM
x| 005030
2| bisacsh
072
7
a| COM
x| 004000
2| bisacsh
082
0
4
a| 006.3
2| 22
100
1
a| Bochman, Alexander,
d| 1955-
245
1
0
a| Explanatory nonmonotonic reasoning
h| [electronic resource] /
c| Alexander Bochman.
260
a| Hackensack, NJ :
b| World Scientific,
c| c2005.
300
a| 1 online resource (xiv, 408 p.)
490
1
a| Advances in logic ;
v| vol. 4
504
a| Includes bibliographical references (p. 395-402) and index.
588
a| Description based on print version record.
650
0
a| Nonmonotonic reasoning.
650
7
a| COMPUTERS
x| Enterprise Applications
x| Business Intelligence Tools.
2| bisacsh
650
7
a| COMPUTERS
x| Intelligence (AI) & Semantics.
2| bisacsh
776
0
8
i| Print version:
a| Bochman, Alexander, 1955-
t| Explanatory nonmonotonic reasoning.
d| Hackensack, NJ : World Scientific, c2005
z| 9812561013
w| (OCoLC)60051194
830
0
a| Advances in logic ;
v| v. 4.
994
a| C0
b| STF
856
4
0
z| Available to Stanford-affiliated users at:
u| https://www.worldscientific.com/worldscibooks/10.1142/5707
035
a| (OCoLC-M)63201768
035
a| (OCoLC-I)776891342
596
a| 22
905
0
a| Scott Consequence Relations-- Biconsequence Relations-- Four-Valued Logics-- Nonmonotonic Semantics-- Default Consequence Relations-- Argumentation Theory-- Production and Causal Inference-- Epistemic Consequence Relations-- Modal Nonmonotonic Logics.
1| Nielsen
x| 9789812561015
x| 20160605
920
b| Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs with negation as failure. This approach provides a clear separation between logical (monotonic) and nonmonotonic aspects of nonmonotonic reasoning. The separation allows, in particular, to single out the logics underlying modern logic programming and restore thereby the connection between logic programming and logic.
1| Nielsen
x| 9789812561015
x| 20160605
035
a| (Sirsi) ocm63201768
999
f
f
i| 56144e94-4a40-5bad-86af-36647c457aac
s| 3785e539-2d52-56e0-8cda-c44f1ebd062a
Holdings JSON
{
"holdings": [
{
"id": "2153dea8-5639-5b91-8762-b08af6286954",
"hrid": "ah9519539_1",
"notes": [
],
"_version": 1,
"metadata": {
"createdDate": "2023-08-21T13:47:14.325Z",
"updatedDate": "2023-08-21T13:47:14.325Z",
"createdByUserId": "58d0aaf6-dcda-4d5e-92da-012e6b7dd766",
"updatedByUserId": "58d0aaf6-dcda-4d5e-92da-012e6b7dd766"
},
"sourceId": "f32d531e-df79-46b3-8932-cdd35f7a2264",
"boundWith": null,
"formerIds": [
],
"illPolicy": null,
"instanceId": "56144e94-4a40-5bad-86af-36647c457aac",
"holdingsType": {
"id": "996f93e2-5b5e-4cf2-9168-33ced1f95eed",
"name": "Electronic",
"source": "folio"
},
"holdingsItems": [
],
"callNumberType": null,
"holdingsTypeId": "996f93e2-5b5e-4cf2-9168-33ced1f95eed",
"electronicAccess": [
],
"bareHoldingsItems": [
],
"holdingsStatements": [
],
"statisticalCodeIds": [
],
"administrativeNotes": [
],
"effectiveLocationId": "b0a1a8c3-cc9a-487c-a2ed-308fc3a49a91",
"permanentLocationId": "b0a1a8c3-cc9a-487c-a2ed-308fc3a49a91",
"suppressFromDiscovery": false,
"holdingsStatementsForIndexes": [
],
"holdingsStatementsForSupplements": [
],
"location": {
"effectiveLocation": {
"id": "b0a1a8c3-cc9a-487c-a2ed-308fc3a49a91",
"code": "SUL-ELECTRONIC",
"name": "online resource",
"campus": {
"id": "c365047a-51f2-45ce-8601-e421ca3615c5",
"code": "SUL",
"name": "Stanford Libraries"
},
"details": {
},
"library": {
"id": "c1a86906-ced0-46cb-8f5b-8cef542bdd00",
"code": "SUL",
"name": "SUL"
},
"isActive": true,
"institution": {
"id": "8d433cdd-4e8f-4dc1-aa24-8a4ddb7dc929",
"code": "SU",
"name": "Stanford University"
}
},
"permanentLocation": {
"id": "b0a1a8c3-cc9a-487c-a2ed-308fc3a49a91",
"code": "SUL-ELECTRONIC",
"name": "online resource",
"campus": {
"id": "c365047a-51f2-45ce-8601-e421ca3615c5",
"code": "SUL",
"name": "Stanford Libraries"
},
"details": {
},
"library": {
"id": "c1a86906-ced0-46cb-8f5b-8cef542bdd00",
"code": "SUL",
"name": "SUL"
},
"isActive": true,
"institution": {
"id": "8d433cdd-4e8f-4dc1-aa24-8a4ddb7dc929",
"code": "SU",
"name": "Stanford University"
}
}
}
}
],
"items": [
]
}
FOLIO JSON
{
"pieces": [
null
],
"instance": {
"id": "56144e94-4a40-5bad-86af-36647c457aac",
"hrid": "a9519539",
"notes": [
{
"note": "Includes bibliographical references (p. 395-402) and index",
"staffOnly": false,
"instanceNoteTypeId": "86b6e817-e1bc-42fb-bab0-70e7547de6c1"
},
{
"note": "Description based on print version record",
"staffOnly": false,
"instanceNoteTypeId": "66ea8f28-d5da-426a-a7c9-739a5d676347"
}
],
"title": "Explanatory nonmonotonic reasoning [electronic resource] / Alexander Bochman.",
"series": [
"Advances in logic ; vol. 4",
"Advances in logic ; v. 4"
],
"source": "MARC",
"_version": 1,
"editions": [
],
"metadata": {
"createdDate": "2023-08-21T13:45:09.987Z",
"updatedDate": "2023-08-21T13:45:09.987Z",
"createdByUserId": "58d0aaf6-dcda-4d5e-92da-012e6b7dd766",
"updatedByUserId": "58d0aaf6-dcda-4d5e-92da-012e6b7dd766"
},
"statusId": "9634a5ab-9228-4703-baf2-4d12ebc77d56",
"subjects": [
"Nonmonotonic reasoning",
"COMPUTERS Enterprise Applications Business Intelligence Tools",
"COMPUTERS Intelligence (AI) & Semantics"
],
"languages": [
"eng"
],
"indexTitle": "Explanatory nonmonotonic reasoning",
"identifiers": [
{
"value": "9812567801 (electronic bk.)",
"identifierTypeId": "8261054f-be78-422d-bd51-4ed9f33c3422"
},
{
"value": "9789812567802 (electronic bk.)",
"identifierTypeId": "8261054f-be78-422d-bd51-4ed9f33c3422"
},
{
"value": "(Sirsi) a9519539",
"identifierTypeId": "7e591197-f335-4afb-bc6d-a6d76ca3bace"
},
{
"value": "(OCoLC-M)63201768",
"identifierTypeId": "439bfbae-75bc-4f74-9fc7-b2a2d47ce3ef"
},
{
"value": "(OCoLC-I)776891342",
"identifierTypeId": "439bfbae-75bc-4f74-9fc7-b2a2d47ce3ef"
},
{
"value": "(Sirsi) ocm63201768",
"identifierTypeId": "7e591197-f335-4afb-bc6d-a6d76ca3bace"
}
],
"publication": [
{
"place": "Hackensack, NJ",
"publisher": "World Scientific",
"dateOfPublication": "c2005"
}
],
"contributors": [
{
"name": "Bochman, Alexander, 1955-",
"primary": true,
"contributorTypeId": "9f0a2cf0-7a9b-45a2-a403-f68d2850d07c",
"contributorNameTypeId": "2b94c631-fca9-4892-a730-03ee529ffe2a"
}
],
"catalogedDate": "2012-02-13",
"staffSuppress": false,
"instanceTypeId": "30fffe0e-e985-4144-b2e2-1e8179bdb41f",
"previouslyHeld": false,
"classifications": [
{
"classificationNumber": "Q339.2 .B63 2005eb",
"classificationTypeId": "ce176ace-a53e-4b4d-aa89-725ed7b2edac"
},
{
"classificationNumber": "006.3",
"classificationTypeId": "42471af9-7d25-4f3a-bf78-60d29dcf463b"
}
],
"instanceFormats": [
],
"electronicAccess": [
{
"uri": "https://www.worldscientific.com/worldscibooks/10.1142/5707",
"name": "Resource",
"publicNote": "Available to Stanford-affiliated users at",
"relationshipId": "f5d0068e-6272-458e-8a81-b85e7b9a14aa"
}
],
"holdingsRecords2": [
],
"modeOfIssuanceId": "9d18a02f-5897-4c31-9106-c9abb5c7ae8b",
"publicationRange": [
],
"statisticalCodes": [
],
"alternativeTitles": [
],
"discoverySuppress": false,
"instanceFormatIds": [
],
"publicationPeriod": {
"start": 2005
},
"statusUpdatedDate": "2023-08-21T13:45:09.894+0000",
"statisticalCodeIds": [
],
"administrativeNotes": [
],
"physicalDescriptions": [
"1 online resource (xiv, 408 p.)"
],
"publicationFrequency": [
],
"suppressFromDiscovery": false,
"natureOfContentTermIds": [
]
},
"holdingSummaries": [
{
"poLineId": null,
"orderType": null,
"orderStatus": null,
"poLineNumber": null,
"orderSentDate": null,
"orderCloseReason": null,
"polReceiptStatus": null
}
]
}
