Holdings: Explanatory nonmonotonic reasoning /

Explanatory nonmonotonic reasoning /:

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...

Full description

Saved in:

Bibliographic Details
Main Author:	Bochman, Alexander, 1955-
Format:	Electronic eBook
Language:	English
Published:	Hackensack, NJ : World Scientific, ©2005.
Series:	Advances in logic ; v. 4.
Subjects:	Nonmonotonic reasoning. Raisonnement non-monotone. COMPUTERS > Enterprise Applications > Business Intelligence Tools. COMPUTERS > Intelligence (AI) & Semantics. Nonmonotonic reasoning
Online Access:	DE-862 DE-863
Summary:	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.
Physical Description:	1 online resource (xiv, 408 pages)
Bibliography:	Includes bibliographical references (pages 395-402) and index.
ISBN:	9812567801 9789812567802 9789812561015 9812561013

Staff View

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocm63201768
003	OCoLC
005	20240705115654.0
006	m o d
007	cr cnu---unuuu
008	060131s2005 nju ob 001 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d OCLCQ \|d YDXCP \|d OCLCG \|d OCLCQ \|d IDEBK \|d OCLCQ \|d TUU \|d OCLCQ \|d MERUC \|d OCLCQ \|d OCLCF \|d OCLCO \|d NLGGC \|d OCLCQ \|d UV0 \|d DKDLA \|d ADU \|d E7B \|d OCLCQ \|d AZK \|d LOA \|d AGLDB \|d COCUF \|d CCO \|d MOR \|d PIFBR \|d OCLCQ \|d WY@ \|d LUE \|d WRM \|d OCLCQ \|d VTS \|d NRAMU \|d INT \|d VT2 \|d OCLCQ \|d LEAUB \|d UKAHL \|d OCLCO \|d OCLCQ \|d OCLCO \|d OCLCQ \|d OCLCL
019			\|a 228127826 \|a 473076269 \|a 475321637 \|a 614849866 \|a 647461298 \|a 722426323 \|a 888684660 \|a 961565786 \|a 962607013
020			\|a 9812567801 \|q (electronic bk.)
020			\|a 9789812567802 \|q (electronic bk.)
020			\|a 9789812561015
020			\|a 9812561013
035			\|a (OCoLC)63201768 \|z (OCoLC)228127826 \|z (OCoLC)473076269 \|z (OCoLC)475321637 \|z (OCoLC)614849866 \|z (OCoLC)647461298 \|z (OCoLC)722426323 \|z (OCoLC)888684660 \|z (OCoLC)961565786 \|z (OCoLC)962607013
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	7		\|a 006.3 \|2 22
049			\|a MAIN
100	1		\|a Bochman, Alexander, \|d 1955- \|1 https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP \|0 http://id.loc.gov/authorities/names/nb2002001063
245	1	0	\|a Explanatory nonmonotonic reasoning / \|c Alexander Bochman.
260			\|a Hackensack, NJ : \|b World Scientific, \|c ©2005.
300			\|a 1 online resource (xiv, 408 pages)
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
347			\|a data file
490	1		\|a Advances in logic ; \|v vol. 4
504			\|a Includes bibliographical references (pages 395-402) and index.
588	0		\|a Print version record.
505	0		\|a Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index.
520			\|a 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.
650		0	\|a Nonmonotonic reasoning. \|0 http://id.loc.gov/authorities/subjects/sh96004467
650		6	\|a Raisonnement non-monotone.
650		7	\|a COMPUTERS \|x Enterprise Applications \|x Business Intelligence Tools. \|2 bisacsh
650		7	\|a COMPUTERS \|x Intelligence (AI) & Semantics. \|2 bisacsh
650		7	\|a Nonmonotonic reasoning \|2 fast
776	0	8	\|i Print version: \|a Bochman, Alexander, 1955- \|t Explanatory nonmonotonic reasoning. \|d Hackensack, NJ : World Scientific, ©2005 \|z 9812561013 \|w (OCoLC)60051194
830		0	\|a Advances in logic ; \|v v. 4. \|0 http://id.loc.gov/authorities/names/n2001114820
966	4	0	\|l DE-862 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562 \|3 Volltext
966	4	0	\|l DE-863 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562 \|3 Volltext
938			\|a Askews and Holts Library Services \|b ASKH \|n AH24683718
938			\|a ebrary \|b EBRY \|n ebr10106580
938			\|a EBSCOhost \|b EBSC \|n 148562
938			\|a YBP Library Services \|b YANK \|n 2407743
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-862
049			\|a DE-863

Record in the Search Index

DE-BY-FWS_katkey	ZDB-4-EBA-ocm63201768
_version_	1826941563758968833
adam_text
any_adam_object
author	Bochman, Alexander, 1955-
author_GND	http://id.loc.gov/authorities/names/nb2002001063
author_facet	Bochman, Alexander, 1955-
author_role
author_sort	Bochman, Alexander, 1955-
author_variant	a b ab
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	Q339
callnumber-raw	Q339.2 .B63 2005eb
callnumber-search	Q339.2 .B63 2005eb
callnumber-sort	Q 3339.2 B63 42005EB
callnumber-subject	Q - General Science
collection	ZDB-4-EBA
contents	Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index.
ctrlnum	(OCoLC)63201768
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03737cam a2200553 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm63201768 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">060131s2005 nju ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UV0</subfield><subfield code="d">DKDLA</subfield><subfield code="d">ADU</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">AGLDB</subfield><subfield code="d">COCUF</subfield><subfield code="d">CCO</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">228127826</subfield><subfield code="a">473076269</subfield><subfield code="a">475321637</subfield><subfield code="a">614849866</subfield><subfield code="a">647461298</subfield><subfield code="a">722426323</subfield><subfield code="a">888684660</subfield><subfield code="a">961565786</subfield><subfield code="a">962607013</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812567801</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812567802</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812561015</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812561013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63201768</subfield><subfield code="z">(OCoLC)228127826</subfield><subfield code="z">(OCoLC)473076269</subfield><subfield code="z">(OCoLC)475321637</subfield><subfield code="z">(OCoLC)614849866</subfield><subfield code="z">(OCoLC)647461298</subfield><subfield code="z">(OCoLC)722426323</subfield><subfield code="z">(OCoLC)888684660</subfield><subfield code="z">(OCoLC)961565786</subfield><subfield code="z">(OCoLC)962607013</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q339.2</subfield><subfield code="b">.B63 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">005030</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bochman, Alexander,</subfield><subfield code="d">1955-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2002001063</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Explanatory nonmonotonic reasoning /</subfield><subfield code="c">Alexander Bochman.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 408 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Advances in logic ;</subfield><subfield code="v">vol. 4</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 395-402) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonmonotonic reasoning.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh96004467</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Raisonnement non-monotone.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Intelligence (AI) & Semantics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Bochman, Alexander, 1955-</subfield><subfield code="t">Explanatory nonmonotonic reasoning.</subfield><subfield code="d">Hackensack, NJ : World Scientific, ©2005</subfield><subfield code="z">9812561013</subfield><subfield code="w">(OCoLC)60051194</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advances in logic ;</subfield><subfield code="v">v. 4.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2001114820</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24683718</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10106580</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">148562</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2407743</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocm63201768
illustrated	Not Illustrated
indexdate	2025-03-18T14:14:06Z
institution	BVB
isbn	9812567801 9789812567802 9789812561015 9812561013
language	English
oclc_num	63201768
open_access_boolean
owner	MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS
owner_facet	MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS
physical	1 online resource (xiv, 408 pages)
psigel	ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	World Scientific,
record_format	marc
series	Advances in logic ;
series2	Advances in logic ;
spelling	Bochman, Alexander, 1955- https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP http://id.loc.gov/authorities/names/nb2002001063 Explanatory nonmonotonic reasoning / Alexander Bochman. Hackensack, NJ : World Scientific, ©2005. 1 online resource (xiv, 408 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Advances in logic ; vol. 4 Includes bibliographical references (pages 395-402) and index. Print version record. Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. 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. Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast Print version: Bochman, Alexander, 1955- Explanatory nonmonotonic reasoning. Hackensack, NJ : World Scientific, ©2005 9812561013 (OCoLC)60051194 Advances in logic ; v. 4. http://id.loc.gov/authorities/names/n2001114820
spellingShingle	Bochman, Alexander, 1955- Explanatory nonmonotonic reasoning / Advances in logic ; Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast
subject_GND	http://id.loc.gov/authorities/subjects/sh96004467
title	Explanatory nonmonotonic reasoning /
title_auth	Explanatory nonmonotonic reasoning /
title_exact_search	Explanatory nonmonotonic reasoning /
title_full	Explanatory nonmonotonic reasoning / Alexander Bochman.
title_fullStr	Explanatory nonmonotonic reasoning / Alexander Bochman.
title_full_unstemmed	Explanatory nonmonotonic reasoning / Alexander Bochman.
title_short	Explanatory nonmonotonic reasoning /
title_sort	explanatory nonmonotonic reasoning
topic	Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast
topic_facet	Nonmonotonic reasoning. Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Nonmonotonic reasoning
work_keys_str_mv	AT bochmanalexander explanatorynonmonotonicreasoning

Holdings

There is no print copy available.

Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items