Logic programs, norms and action: essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
7360 : Festschrift |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 424 S. graph. Darst. |
| ISBN: | 9783642294136 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040132049 | ||
| 003 | DE-604 | ||
| 005 | 20130102 | ||
| 007 | t| | ||
| 008 | 120514s2012 xx d||| |||| 01||| eng d | ||
| 020 | |a 9783642294136 |c pbk. |9 978-3-642-29413-6 | ||
| 035 | |a (OCoLC)794947832 | ||
| 035 | |a (DE-599)BVBBV040132049 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 006.3 |2 22//ger | |
| 245 | 1 | 0 | |a Logic programs, norms and action |b essays in honor of Marek J. Sergot on the occasion of his 60th birthday |c Alexander Artikis ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XX, 424 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7360 : Festschrift | |
| 650 | 0 | 7 | |a Normative Logik |0 (DE-588)4172034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Argumentation |0 (DE-588)4002899-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |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 Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |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 Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 1 | 2 | |a Argumentation |0 (DE-588)4002899-9 |D s |
| 689 | 1 | 3 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 1 | 4 | |a Normative Logik |0 (DE-588)4172034-9 |D s |
| 689 | 1 | 5 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Artikēs, Alexandros |e Sonstige |4 oth | |
| 700 | 1 | |a Sergot, Marek J. |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-29414-3 |
| 830 | 0 | |a Lecture notes in computer science |v 7360 : Festschrift |w (DE-604)BV000000607 |9 7360 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024989184&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024989184 | |
Datensatz im Suchindex
| _version_ | 1820875383883431936 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F CONTENTS
MAREK SERGOT: A MEMOIR 1
TREVOR BENCH-CAPON
THE SCIENTIFIC CONTRIBUTION OF MAREK SERGOT 4
STEVE BARKER, ANDREW J.I. JONES, ANTONIS KAKAS, ROBERT A. KOWALSKI,
ALESSIO LOMUSCIO, ROB MILLER, STEPHEN MUGGLETON, AND GIOVANNI SARTOR
PART I: LOGIC PROGRAMMING
TELEO-REACTIVE ABDUCTIVE LOGIC PROGRAMS 12
ROBERT A. KOWALSKI AND FARIBA SADRI
SEMI-NEGATIVE ABDUCTIVE LOGIC PROGRAMS WITH IMPLICATIVE INTEGRITY
CONSTRAINTS: SEMANTICS AND PROPERTIES 33
PAOLO MANCARELLA AND FRANCESCA TONI
WHAT IS NEGATION AS FAILURE? 52
DOV M. GABBAY
PART II: TEMPORAL REASONING AND A C T I O N LANGUAGES
THE IMPORTANCE OF THE P A S T IN INTERVAL TEMPORAL LOGICS: THE CASE OF
PROPOSITIONAL NEIGHBORHOOD LOGIC 79
DARIO DELIA MONICA, ANGELO MONTANARI, AND PIETRO SALA
ARGUMENTATION AND THE EVENT CALCULUS 103
EVGENIOS HADJISOTERIOU AND ANTONIS KAKAS
REACTIVE EVENT CALCULUS FOR MONITORING GLOBAL COMPUTING APPLICATIONS 123
STEFANO BRAGAGLIA, FEDERICO CHESANI, PAOLA MELLO, MARCO MONTALI, AND
PAOLO TORRONI
REASONING ABOUT THE INTENTIONS OF AGENTS 147
JUSTIN BLOUNT AND MICHAEL GELFOND
SYMBOLIC MODEL CHECKING FOR TEMPORAL-EPISTEMIC LOGIC 172
ALESSIO LOMUSCIO AND WOJCIECH PENCZEK
GOAL AGENTS INSTANTIATE INTENTION LOGIC 196
KOEN V. HINDRIKS, WIEBE VAN DER HOEK, AND JOHN-JULES CH. MEYER
HTTP://D-NB.INFO/102209243X
IMAGE 2
XX TABLE OF CONTENTS
P A R T III: A I AND LAW
OPEN TEXTURE AND ARGUMENTATION: W H A T MAKES A N ARGUMENT PERSUASIVE?
220
TREVOR BENCH-CAPON
IRRATIONALITY IN PERSUASIVE ARGUMENTATION 234
PAUL E. DUNNE
SOME REFLECTIONS ON TWO CURRENT TRENDS IN FORMAL ARGUMENTATION . . . .
249 HENRY PRAKKEN
P A R T IV: D E O N T I C LOGIC AND NORM-GOVERNED S Y S T E M S
ON THE REPRESENTATION OF NORMATIVE SENTENCES IN FOL 273
ANDREW J.I. JONES AND STEVEN 0 . KIMBROUGH
W H Y BE AFRAID OF IDENTITY? COMMENTS ON SERGOT AND PRAKKEN'S VIEWS 295
XAVIER PARENT
DEON + : ABDUCTION AND CONSTRAINTS FOR NORMATIVE REASONING 308
MARCO ALBERTI, MARCO GAVANELLI, AND EVELINA LAMMA
CONTRARY-TO-DUTIES IN GAMES 329
PAOLO TURRINI, XAVIER PARENT, LEENDERT VAN DER TORRE, AND SILVANO
COLOMBO TOSATTO
P A R T V: LOGICAL APPROACHES T O POLICIES AND AUTHORIZATION
LOGICAL APPROACHES T O AUTHORIZATION POLICIES 349
STEVE BARKER
DECENTRALIZED GOVERNANCE OF DISTRIBUTED SYSTEMS VIA INTERACTION CONTROL
374
NAFTALY H. MINSKY
MANAGING USER-GENERATED CONTENT AS A KNOWLEDGE COMMONS 401
JEREMY PITT
A U T H O R I N D E X 425 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040132049 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)794947832 (DE-599)BVBBV040132049 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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 cb4500</leader><controlfield tag="001">BV040132049</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130102</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120514s2012 xx d||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642294136</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-3-642-29413-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)794947832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040132049</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programs, norms and action</subfield><subfield code="b">essays in honor of Marek J. Sergot on the occasion of his 60th birthday</subfield><subfield code="c">Alexander Artikis ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 424 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7360 : Festschrift</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Normative Logik</subfield><subfield code="0">(DE-588)4172034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Normative Logik</subfield><subfield code="0">(DE-588)4172034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artikēs, Alexandros</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sergot, Marek J.</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-29414-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7360 : Festschrift</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7360</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=024989184&sequence=000001&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-024989184</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Aufsatzsammlung Festschrift |
| id | DE-604.BV040132049 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:45Z |
| institution | BVB |
| isbn | 9783642294136 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024989184 |
| oclc_num | 794947832 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XX, 424 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday Alexander Artikis ... (eds.) Berlin [u.a.] Springer 2012 XX, 424 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7360 : Festschrift Normative Logik (DE-588)4172034-9 gnd rswk-swf Argumentation (DE-588)4002899-9 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Deontische Logik (DE-588)4133538-7 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Temporale Logik (DE-588)4137542-7 s Argumentation (DE-588)4002899-9 s Deontische Logik (DE-588)4133538-7 s Normative Logik (DE-588)4172034-9 s Logischer Schluss (DE-588)4139983-3 s Artikēs, Alexandros Sonstige oth Sergot, Marek J. hnr Erscheint auch als Online-Ausgabe 978-3-642-29414-3 Lecture notes in computer science 7360 : Festschrift (DE-604)BV000000607 7360 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024989184&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday Lecture notes in computer science Normative Logik (DE-588)4172034-9 gnd Argumentation (DE-588)4002899-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Deontische Logik (DE-588)4133538-7 gnd Temporale Logik (DE-588)4137542-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| subject_GND | (DE-588)4172034-9 (DE-588)4002899-9 (DE-588)4033447-8 (DE-588)4133538-7 (DE-588)4137542-7 (DE-588)4195096-3 (DE-588)4139983-3 (DE-588)4143413-4 (DE-588)4016928-5 |
| title | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday |
| title_auth | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday |
| title_exact_search | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday |
| title_full | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday Alexander Artikis ... (eds.) |
| title_fullStr | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday Alexander Artikis ... (eds.) |
| title_full_unstemmed | Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday Alexander Artikis ... (eds.) |
| title_short | Logic programs, norms and action |
| title_sort | logic programs norms and action essays in honor of marek j sergot on the occasion of his 60th birthday |
| title_sub | essays in honor of Marek J. Sergot on the occasion of his 60th birthday |
| topic | Normative Logik (DE-588)4172034-9 gnd Argumentation (DE-588)4002899-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Deontische Logik (DE-588)4133538-7 gnd Temporale Logik (DE-588)4137542-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| topic_facet | Normative Logik Argumentation Künstliche Intelligenz Deontische Logik Temporale Logik Logische Programmierung Logischer Schluss Aufsatzsammlung Festschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024989184&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT artikesalexandros logicprogramsnormsandactionessaysinhonorofmarekjsergotontheoccasionofhis60thbirthday AT sergotmarekj logicprogramsnormsandactionessaysinhonorofmarekjsergotontheoccasionofhis60thbirthday |