| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:605878815:1850 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:605878815:1850?format=raw |
LEADER: 01850mam a2200301 a 4500
001 1974201
005 20220609041733.0
008 960416t19971997maua b 001 0 eng
010 $a 96015528
020 $a0262011573 (hb : alk. paper)
035 $a(OCoLC)ocm34669285
035 $9AMJ0042CU
035 $a1974201
040 $aDLC$cDLC$dC#P$dOrLoB-B
050 00 $aQ339.2$b.A58 1997
082 00 $a511.3$220
100 1 $aAntoniou, G.$q(Grigoris)$0http://id.loc.gov/authorities/names/n91023812
245 10 $aNonmonotonic reasoning /$cGrigoris Antoniou ; with contributions by Mary-Anne Williams.
260 $aCambridge, Mass. :$bMIT Press,$c[1997], ©1997.
300 $axii, 285 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aArtificial intelligence
504 $aIncludes bibliographical references (p. [277]-281) and index.
505 20 $g1.$tIntroduction --$g2.$tPredicate Logic --$g3.$tDefault Reasoning --$g4.$tOperational Semantics of Default Logic --$g5.$tNormal Default Theories --$g6.$tSemi-normal Default Theories --$g7.$tAlternative Approaches --$g8.$tPriorities Among Defaults --$g9.$tAutoepistemic Logic --$g10.$tComputing Expansions of AE-Theories --$g11.$tEmbedding Default Logic into AE-Logic --$g12.$tCircumscription --$g13.$tNonmonotonic Inference Relations --$g14.$tBelief Revision --$g15.$tImplementing Belief Revision --$g16.$tInterconnections --$g17.$tThe System Theorist --$g18.$tStable Model Semantics of Logic Programs --$g19.$tWell-Founded Semantics --$g20.$tFuture Directions of Nonmonotonic Reasoning Research.
650 0 $aNonmonotonic reasoning.$0http://id.loc.gov/authorities/subjects/sh96004467
830 0 $aArtificial intelligence (Cambridge, Mass.)$0http://id.loc.gov/authorities/names/n90648485
852 00 $boff,psy$hQ339.2$i.A58 1997