Logic programming and non-monotonic reasoning: proceedings of the first international workshop
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 288 S. |
| ISBN: | 0262640279 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004735897 | ||
| 003 | DE-604 | ||
| 005 | 19920316 | ||
| 007 | t| | ||
| 008 | 920312s1991 xx |||| 10||| engod | ||
| 020 | |a 0262640279 |9 0-262-64027-9 | ||
| 035 | |a (OCoLC)23769586 | ||
| 035 | |a (DE-599)BVBBV004735897 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-20 |a DE-29 |a DE-384 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming and non-monotonic reasoning |b proceedings of the first international workshop |c ed. by Anil Nerode ... |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a 288 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 4 | |a Raisonnement - Congrès | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Nonmonotonic reasoning |v Congresses | |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Washington DC |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 1 | 1 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 3 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Nerode, Anil |d 1932- |e Sonstige |0 (DE-588)119133865 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002913871&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002913871 | |
Record in the Search Index
| _version_ | 1820868093070540800 |
|---|---|
| adam_text |
Contents
Program
Committee
vii
Preface
ix
Referees
xi
I Autoepistemic Logic
1
Autoepistemic Logics of Closed Beliefs and Logic
Programming
3
T. Przymusinski
2
Credulous and Autoepistemic Reasoning Using Ordered
Logic
21
P. Geerts andD. Vermeir
3
Computing Intersection of Autoepistemic Expansions
37
W. Marek
and M. Truszczyhski
II Properties of Logic Programming Semantics
4
Beliefs as Stable Conjectures
53
P. Bonatti
5
Dualities between Alternative Semantics for Logic
Programming and Non-monotonic Reasoning
69
C.
Barai
and V. S. Subrahmanian
6
Partial Models and Three-Valued Models in Logic
Programs with Negation
87
D.
Sacca
and C. Zaniolo
III Weil-Founded Semantics
7
Contradiction Removal within Well-Founded Semantics
105
L. M.
Pereira,
J. J.
Alferes, and
J. N.
Aparicio
VI
8
Weil-Founded Reasoning with Classical Negation
120
P. M. Dung and P. Ruamviboonsuk
9
Representing
Epistemic
Intervals in Logic Programs
133
J. S.
Schlipf
IV Theory
10
Embedding Default Logic into Modal Non-monotonic
Logics
151
M.
Truszczyński
11
Classifying Semantics of Logic Programs
166
J.Dix
12
Representing Sets of Rational Trees Using Techniques of
Non-monotonic Reasoning
181
M. Maher
V Extensions
13
JTMS and Logic Programming
199
G. Brewka, D. Makinson, andK. Schlechta
14
Circumscribing Embedded Implications
211
L, T. McCarty
15
Belief Revision and Paraconsistency in a Logic
Programming Framework
228
5.
G. Pimentel and
W. L.
Rodi
VI Miscellaneous
16
Definitions in
Epistemic
Specifications
245
M. Gelfond and H. Przymusinska
17
Autoepistemic Logic of Knowledge
260
G.
Schwarz
18
Negation as Stable Hypotheses
275
A. C. Kakas
and P. Mancarella
Author Index
289 |
| any_adam_object | 1 |
| author_GND | (DE-588)119133865 |
| building | Verbundindex |
| bvnumber | BV004735897 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1991 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)23769586 (DE-599)BVBBV004735897 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004735897</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920316</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920312s1991 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262640279</subfield><subfield code="9">0-262-64027-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23769586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004735897</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and non-monotonic reasoning</subfield><subfield code="b">proceedings of the first international workshop</subfield><subfield code="c">ed. by Anil Nerode ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">288 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Washington DC</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002913871&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002913871</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Washington DC gnd-content |
| genre_facet | Konferenzschrift 1991 Washington DC |
| id | DE-604.BV004735897 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:52Z |
| institution | BVB |
| isbn | 0262640279 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002913871 |
| oclc_num | 23769586 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-29 DE-384 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-29 DE-384 |
| physical | 288 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming and non-monotonic reasoning proceedings of the first international workshop ed. by Anil Nerode ... Cambridge, Mass. u.a. MIT Press 1991 288 S. txt rdacontent n rdamedia nc rdacarrier Logisch programmeren gtt Programmation logique - Congrès Raisonnement - Congrès Logic programming Congresses Nonmonotonic reasoning Congresses Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Washington DC gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Wissensbasiertes System (DE-588)4197554-6 s Schlussfolgern (DE-588)4251178-1 s Nichtmonotones Schließen (DE-588)4210699-0 s Nerode, Anil 1932- Sonstige (DE-588)119133865 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002913871&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming and non-monotonic reasoning proceedings of the first international workshop Logisch programmeren gtt Programmation logique - Congrès Raisonnement - Congrès Logic programming Congresses Nonmonotonic reasoning Congresses Schlussfolgern (DE-588)4251178-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4251178-1 (DE-588)4195096-3 (DE-588)4197554-6 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and non-monotonic reasoning proceedings of the first international workshop |
| title_auth | Logic programming and non-monotonic reasoning proceedings of the first international workshop |
| title_exact_search | Logic programming and non-monotonic reasoning proceedings of the first international workshop |
| title_full | Logic programming and non-monotonic reasoning proceedings of the first international workshop ed. by Anil Nerode ... |
| title_fullStr | Logic programming and non-monotonic reasoning proceedings of the first international workshop ed. by Anil Nerode ... |
| title_full_unstemmed | Logic programming and non-monotonic reasoning proceedings of the first international workshop ed. by Anil Nerode ... |
| title_short | Logic programming and non-monotonic reasoning |
| title_sort | logic programming and non monotonic reasoning proceedings of the first international workshop |
| title_sub | proceedings of the first international workshop |
| topic | Logisch programmeren gtt Programmation logique - Congrès Raisonnement - Congrès Logic programming Congresses Nonmonotonic reasoning Congresses Schlussfolgern (DE-588)4251178-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Logisch programmeren Programmation logique - Congrès Raisonnement - Congrès Logic programming Congresses Nonmonotonic reasoning Congresses Schlussfolgern Logische Programmierung Wissensbasiertes System Nichtmonotones Schließen Konferenzschrift 1991 Washington DC |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002913871&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT nerodeanil logicprogrammingandnonmonotonicreasoningproceedingsofthefirstinternationalworkshop |