Logic programming and non-monotonic reasoning : (Record no. 73173)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02892nam a2200529 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267520 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204729.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151228s1993 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262291378 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 082 00 - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 00 - TITLE STATEMENT | |
| Title | Logic programming and non-monotonic reasoning : |
| Sub Title | proceedings of the first international workshop / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (vi, 288 pages) : |
| 500 ## - GENERAL NOTE | |
| Remark 1 | Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This 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. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Congresses. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Nerode, Anil, |
| 700 1# - AUTHOR 2 | |
| Author 2 | Marek, Wiktor. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Subrahmanian, V. S. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | [1991] |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [1993] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/28/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic programming |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Nonmonotonic reasoning |
No items available.