Deontic logic in computer science: 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
Lecture notes in artificial intelligence ; 7393 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 214 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642315690 9783642315695 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040411650 | ||
| 003 | DE-604 | ||
| 005 | 20120921 | ||
| 007 | t | ||
| 008 | 120911s2012 gw d||| |||| 00||| eng d | ||
| 015 | |a 12,N24 |2 dnb | ||
| 016 | 7 | |a 1023016621 |2 DE-101 | |
| 020 | |a 3642315690 |9 3-642-31569-0 | ||
| 020 | |a 9783642315695 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-31569-5 | ||
| 024 | 3 | |a 9783642315695 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86125161 |
| 035 | |a (OCoLC)812265251 | ||
| 035 | |a (DE-599)DNB1023016621 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Deontic logic in computer science |b 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings |c Thomas Ågotnes ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XII, 214 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science : Lecture notes in artificial intelligence |v 7393 | |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Bergen Norwegen |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ågotnes, Thomas |e Sonstige |4 oth | |
| 711 | 2 | |a DEON |n 11 |d 2012 |c Bergen |j Sonstige |0 (DE-588)1025857925 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-31570-1 |
| 830 | 0 | |a Lecture notes in computer science |v Lecture notes in artificial intelligence ; 7393 |w (DE-604)BV000000607 |9 7393 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4052455&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=025264601&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025264601 | |
Datensatz im Suchindex
| _version_ | 1807953656198201344 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
CAUSALITY IN THE CONTEXT OF MULTIPLE AGENTS 1
ROBERT DEMOLOMBE
VISUALIZING NORMATIVE SYSTEMS: AN ABSTRACT APPROACH 16
SILVANO COLOMBO TOSATTO, GUIDO BOELLA, LEENDERT VAN DER TORRE, AND
SERENA VILLATA
AGREEMENTS AS NORMS 31
PAOLO TURRINI
POSSIBLE WORLD SEMANTICS FOR DEFEASIBLE DEONTIC LOGIC 46
GUIDO GOVERNATORI, ANTONINO ROTOLO, AND ERICA CALARDO
AN EMBEDDING OF INPUT-OUTPUT LOGIC IN DEONTIC LOGIC PROGRAMS 61
RICARDO GONGALVES AND JOSE JULIO ALFERES
SANCTION SEMANTICS AND CONTRARY-TO-DUTY OBLIGATIONS 76
LOUWE B. KUIJER
TEMPORAL DEONTIC LOGIC FOR THE GENERALISED CHISHOLM SET OF CONTRARY T O
DUTY OBLIGATIONS 91
DOV GABBAY
O N THE LOGICAL FOUNDATIONS OF MORAL AGENCY 108
EMILIANO LORINI
NORMS AND LEARNING IN PROBABILISTIC LOGIC-BASED AGENTS 123
REGIS RIVERET, ANTONINO ROTOLO, AND GIOVANNI SARTOR
THE LOGIC OF OBLIGATION AS WEAKEST PERMISSION (SHORT VERSION) 139
OLIVIER ROY, ALBERT J.J. ANGLBERGER, AND NORBERT GRATZL
AN ANDERSONIAN DEONTIC LOGIC WITH CONTEXTUALIZED SANCTIONS 151
CHRISTIAN STRAFIER AND MATHIEU BEIRLAEN
A COMPUTATIONALLY GROUNDED DYNAMIC LOGIC OF AGENCY, WITH AN APPLICATION
T O LEGAL ACTIONS 170
ANDREAS HERZIG, TIAGO DE LIMA, EMILIANO LORINI, AND NICOLAS TROQUARD
HTTP://D-NB.INFO/1023016621
IMAGE 2
XII TABLE OF CONTENTS
A DEONTIC ACTION LOGIC WITH SEQUENTIAL COMPOSITION OF ACTIONS 184 PIOTR
KULICKI AND ROBERT TRYPUZ
DISCUSSION PAPER: CHANGING NORMS IS CHANGING OBLIGATION CHANGE . . . .
199 JAN BROERSEN, DOV GABBAY, AND LEENDERT VAN DER TORRE
A U T H O R I N D E X 215 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040411650 |
| ctrlnum | (OCoLC)812265251 (DE-599)DNB1023016621 |
| dewey-full | 004.015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015113 |
| dewey-search | 004.015113 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV040411650</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120921</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120911s2012 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023016621</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642315690</subfield><subfield code="9">3-642-31569-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642315695</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-31569-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642315695</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86125161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812265251</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023016621</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deontic logic in computer science</subfield><subfield code="b">11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings</subfield><subfield code="c">Thomas Ågotnes ... (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">XII, 214 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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 : Lecture notes in artificial intelligence</subfield><subfield code="v">7393</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">2012</subfield><subfield code="z">Bergen Norwegen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ågotnes, Thomas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DEON</subfield><subfield code="n">11</subfield><subfield code="d">2012</subfield><subfield code="c">Bergen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025857925</subfield><subfield code="4">oth</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-31570-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">Lecture notes in artificial intelligence ; 7393</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7393</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4052455&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025264601&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-025264601</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Bergen Norwegen gnd-content |
| genre_facet | Konferenzschrift 2012 Bergen Norwegen |
| id | DE-604.BV040411650 |
| illustrated | Illustrated |
| indexdate | 2024-08-21T00:09:26Z |
| institution | BVB |
| institution_GND | (DE-588)1025857925 |
| isbn | 3642315690 9783642315695 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025264601 |
| oclc_num | 812265251 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XII, 214 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science : Lecture notes in artificial intelligence |
| spelling | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings Thomas Ågotnes ... (eds.) Berlin [u.a.] Springer 2012 XII, 214 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science : Lecture notes in artificial intelligence 7393 Deontische Logik (DE-588)4133538-7 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Bergen Norwegen gnd-content Informatik (DE-588)4026894-9 s Deontische Logik (DE-588)4133538-7 s DE-604 Ågotnes, Thomas Sonstige oth DEON 11 2012 Bergen Sonstige (DE-588)1025857925 oth Erscheint auch als Online-Ausgabe 978-3-642-31570-1 Lecture notes in computer science Lecture notes in artificial intelligence ; 7393 (DE-604)BV000000607 7393 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4052455&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025264601&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings Lecture notes in computer science Deontische Logik (DE-588)4133538-7 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4133538-7 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings |
| title_auth | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings |
| title_exact_search | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings |
| title_full | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings Thomas Ågotnes ... (eds.) |
| title_fullStr | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings Thomas Ågotnes ... (eds.) |
| title_full_unstemmed | Deontic logic in computer science 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings Thomas Ågotnes ... (eds.) |
| title_short | Deontic logic in computer science |
| title_sort | deontic logic in computer science 11th international conference deon 2012 bergen norway july 16 18 2012 proceedings |
| title_sub | 11th international conference, DEON 2012, Bergen, Norway, July 16 - 18, 2012 ; proceedings |
| topic | Deontische Logik (DE-588)4133538-7 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Deontische Logik Informatik Konferenzschrift 2012 Bergen Norwegen |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4052455&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025264601&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT agotnesthomas deonticlogicincomputerscience11thinternationalconferencedeon2012bergennorwayjuly16182012proceedings AT deonbergen deonticlogicincomputerscience11thinternationalconferencedeon2012bergennorwayjuly16182012proceedings |