| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:390499632:1848 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:390499632:1848?format=raw |
LEADER: 01848fam a2200361 a 4500
001 1422954
005 20220602032452.0
008 931201s1994 gw a b 001 0 eng
010 $a 93046747
020 $a0387576045
035 $a(OCoLC)29518481
035 $a(OCoLC)ocm29518481
035 $9AHT7755CU
035 $a(NNC)1422954
035 $a1422954
040 $aDLC$cDLC$dNNC
050 00 $aQA76.76.E95$bW33 1994
082 00 $a006.3/3$220
100 1 $aWagner, G.$q(Gerd),$d1957-$0http://id.loc.gov/authorities/names/n92073098
245 10 $aVivid logic :$bknowledge-based reasoning with two kinds of negation /$cGerd Wagner.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1994.
263 $a9401
300 $axii, 148 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v764
504 $aIncludes bibliographical references and index.
505 0 $a1. General Introduction -- 2. Vivid Knowledge Representation and Reasoning -- 3. Partiality, Paraconsistency and Constructivity -- 4. Vivid Reasoning on the Basis of Facts -- 5. Lindenbaum-Algebraic Semantics of Logic Programs -- 6. Logic Programming with Strong Negation and Inexact Predicates -- 7. Vivid Reasoning on the Basis of Rules -- 8. Further Topics, Open Problems -- An Interpreter for VL in Prolog.
650 0 $aExpert systems (Computer science)$0http://id.loc.gov/authorities/subjects/sh85046450
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v764.$0http://id.loc.gov/authorities/names/n86736436
852 00 $boff,eng$hQA76.76.E95$iW33 1994