Logic programming and non-monotonic reasoning: proceedings of the second international workshop
Gespeichert in:
| Weitere beteiligte Personen: | , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
©1993
|
| Links: | https://doi.org/10.7551/mitpress/4307.001.0001?locatt=mode:legacy |
| Abstract: | "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." |
| Beschreibung: | Papers presented during the workshop held in Lisbon in June 1993. |
| Umfang: | 1 Online-Ressource (vii, 494 Seiten) Illustrationen |
| ISBN: | 0262291371 9780262291378 |
Internformat
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-4307 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073411.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130212s1993 maua ob 101 0 eng d | ||
| 020 | |a 0262291371 | ||
| 020 | |a 9780262291378 | ||
| 245 | 0 | 0 | |a Logic programming and non-monotonic reasoning |b proceedings of the second international workshop |c edited by Luís Moniz Pereira and Anil Nerode |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c ©1993 | |
| 300 | |a 1 Online-Ressource (vii, 494 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 500 | |a Papers presented during the workshop held in Lisbon in June 1993. | ||
| 520 | 3 | |a "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." | |
| 700 | 1 | |a Nerode, Anil |d 1932- | |
| 700 | 1 | |a Pereira, Luís Moniz | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262660830 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262660839 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/4307.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-4307 |
|---|---|
| _version_ | 1821493840019718144 |
| adam_text | |
| any_adam_object | |
| author2 | Nerode, Anil 1932- Pereira, Luís Moniz |
| author2_role | |
| author2_variant | a n an l m p lm lmp |
| author_facet | Nerode, Anil 1932- Pereira, Luís Moniz |
| author_sort | Nerode, Anil 1932- |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01787cam a2200289Ka 4500</leader><controlfield tag="001">ZDB-260-MPOB-4307</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073411.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130212s1993 maua ob 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291371</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291378</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic programming and non-monotonic reasoning</subfield><subfield code="b">proceedings of the second international workshop</subfield><subfield code="c">edited by Luís Moniz Pereira and Anil Nerode</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">©1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (vii, 494 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Papers presented during the workshop held in Lisbon in June 1993.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"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."</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pereira, Luís Moniz</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262660830</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262660839</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/4307.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-4307 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:52Z |
| institution | BVB |
| isbn | 0262291371 9780262291378 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (vii, 494 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode Cambridge, Mass. MIT Press ©1993 1 Online-Ressource (vii, 494 Seiten) Illustrationen txt c cr Papers presented during the workshop held in Lisbon in June 1993. "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." Nerode, Anil 1932- Pereira, Luís Moniz Erscheint auch als Druck-Ausgabe 0262660830 Erscheint auch als Druck-Ausgabe 9780262660839 |
| spellingShingle | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_auth | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_exact_search | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_full | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_fullStr | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_full_unstemmed | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_short | Logic programming and non-monotonic reasoning |
| title_sort | logic programming and non monotonic reasoning proceedings of the second international workshop |
| title_sub | proceedings of the second international workshop |
| work_keys_str_mv | AT nerodeanil logicprogrammingandnonmonotonicreasoningproceedingsofthesecondinternationalworkshop AT pereiraluismoniz logicprogrammingandnonmonotonicreasoningproceedingsofthesecondinternationalworkshop |