| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:213880493:2613 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:213880493:2613?format=raw |
LEADER: 02613fam a2200385 a 4500
001 1668561
005 20220608210214.0
008 950515s1995 gw 001 0 eng
010 $a 95020072
020 $a3540594671 (softcover)
020 $a0387594671
035 $a(OCoLC)32625357
035 $a(OCoLC)ocm32625357
035 $9AKT3577CU
035 $a(NNC)1668561
035 $a1668561
040 $aDLC$cDLC$dNNC$dOrLoB
050 00 $aQA76.63$b.N68 1995
082 00 $a005.13/1$220
245 00 $aNon-monotonic extensions of logic programming :$bICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /$cJürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1995.
263 $a9506
300 $avi, 229 pages ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v927
500 $aIncludes bibliographical references.
505 0 $aAn Argumentation Theoretic Semantics Based on Non-Refutable Falsity / J. J. Alferes and L. M. Pereira -- From Disjunctive Programs to Abduction / V. Lifschitz and H. Turner -- Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework / T. C. Przymusinski -- Every Normal Program has a Nearly-Stable Model / C. Witteveen -- Logic Programming with Assumption Denial / J.-H. You and L. Y. Yuan -- A Resolution-based Procedure for Default Theories with Extensions / M. D. Barback and J. Lobo -- A General Approach to Bottom-Up Computation of Disjunctive Semantics / S. Brass and J. Dix -- Static Semantics as Program Transformation and Well-founded Computation / S. Costantini and G. A. Lanzarone -- Magic Computation for Well-founded Semantics / L. Degerstedt and U. Nilsson -- Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs / C. Ruiz and J. Minker.
650 0 $aLogic programming.$0http://id.loc.gov/authorities/subjects/sh86003454
700 1 $aDix, J.$q(Jürgen),$d1961-$0http://id.loc.gov/authorities/names/n91083298
700 1 $aPereira, Luís Moniz.$0http://id.loc.gov/authorities/names/n86817606
700 1 $aPrzymusinski, Teodor C.,$d1947-$0http://id.loc.gov/authorities/names/n95048557
711 2 $aInternational Conference on Logic Programming$n(11th :$d1994 :$cSanta Margherita Ligure, Italy)
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v927.$0http://id.loc.gov/authorities/names/n86736436
852 00 $boff,eng$hQA76.63$i.N68 1995