| 000 | 02892nam a2200529 i 4500 | ||
|---|---|---|---|
| 001 | 6267520 | ||
| 003 | IEEE | ||
| 005 | 20220712204729.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151228s1993 maua ob 001 eng d | ||
| 010 | _z 91016074 (print) | ||
| 020 |
_a9780262291378 _qelectronic |
||
| 020 |
_z0262640279 _qprint |
||
| 020 |
_z9780262660839 _qprint |
||
| 035 | _a(CaBNVSL)mat06267520 | ||
| 035 | _a(IDAMS)0b000064818b4554 | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aQA76.63 _b.L632 1991eb |
|
| 082 | 0 | 0 |
_a005.1 _220 |
| 245 | 0 | 0 |
_aLogic programming and non-monotonic reasoning : _bproceedings of the first international workshop / _cedited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian. |
| 264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _c[1991] |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1993] |
|
| 300 |
_a1 PDF (vi, 288 pages) : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 500 | _aProceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _aThis is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aDescription based on PDF viewed 12/28/2015. | ||
| 650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
| 650 | 0 |
_aNonmonotonic reasoning _xCongresses. _923237 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aNerode, Anil, _d1932- _923238 |
|
| 700 | 1 |
_aMarek, Wiktor. _923239 |
|
| 700 | 1 |
_aSubrahmanian, V. S. _922825 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923240 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _923241 |
|
| 710 | 2 |
_aAssociation for Logic Programming. _923242 |
|
| 776 | 0 | 8 |
_iPrint version _z9780262660839 |
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |
| 942 | _cEBK | ||
| 999 |
_c73173 _d73173 |
||