Norms, logics and information systems: new studies in deontic logic and computer science
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
IOS Press [u.a.]
1999
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
49 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 363 S. |
| ISBN: | 9051994273 4274902609 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012559172 | ||
| 003 | DE-604 | ||
| 005 | 20100120 | ||
| 007 | t | ||
| 008 | 990512s1999 |||| 00||| eng d | ||
| 020 | |a 9051994273 |9 90-5199-427-3 | ||
| 020 | |a 4274902609 |9 4-274-90260-9 | ||
| 035 | |a (OCoLC)47363961 | ||
| 035 | |a (DE-599)BVBBV012559172 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-355 | ||
| 050 | 0 | |a BC145 | |
| 050 | 0 | |a QA75.5 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Norms, logics and information systems |b new studies in deontic logic and computer science |c ed. by P. McNamara ... |
| 264 | 1 | |a Amsterdam [u.a.] |b IOS Press [u.a.] |c 1999 | |
| 300 | |a X, 363 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications |v 49 | |
| 650 | 7 | |a Deontische logica |2 gtt | |
| 650 | 7 | |a Informatiesystemen |2 gtt | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Deontic logic |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a McNamara, Paul |e Sonstige |4 oth | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications |v 49 |w (DE-604)BV009804456 |9 49 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008527662&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008527662 | ||
Datensatz im Suchindex
| _version_ | 1804127205929779200 |
|---|---|
| adam_text | NORMS, LOGICS AND INFORMATION SYSTEMS NEW STUDIES IN DEONTIC LOGIC AND
COMPUTER SCIENCE EDITED BY P. MCNAMARA UNIVERSITY OF NEW HAMPSHIRE,
DURHAM, NH, USA AND H. PRAKKEN FREE UNIVERSITY, AMSTERDAM, THE
NETHERLANDS IOS PRESS OHMSHA AMSTERDAM * BERLIN * OXFORD * TOKYO *
WASHINGTON, DC CONTENTS PREFACE VII INTRODUCTION, P. MCNAMARA AND H.
PRAKKEN 1 DEONTIC LOGIC - AS I SEE IT, G. H. VON WRIGHT 15 I. NORMS AND
TRUTH ON A FUNDAMENTAL PROBLEM OF DEONTIC LOGIC, D. MAKINSON 29
MODERATELY NATURALISTIC DEONTIC LOGIC, J. HAGE 55 AN UPDATE SEMANTICS
FOR DEONTIC REASONING, L. W.N. VAN DER TORRE AND Y.-H. TAN 73 II. AGENCY
AND TIME MORAL PREFERENCE, CONTRARY-TO-DUTY OBLIGATION AND DEFEASIBLE
OUGHTS, P. BARTHA 93 AGENTS WITH CHANGING AND CONFLICTING COMMITMENTS: A
PRELIMINARY STUDY, M.A. BROWN 109 ON RELATIONS BETWEEN AQVIST S DEONTIC
SYSTEM G AN D VAN ECK S DEONTIC TEMPORAL LOGIC, J. HANSEN 127 HI.
ANALYSIS OF NORMATIVE CONCEPTS ITERATED CONDITIONALS AND CAUSAL
IMPUTATION, C. PIZZI 147 INTERMEDIATE CONCEPTS AS COUPLINGS OF
CONCEPTUAL STRUCTURES, L. LINDAHL AND J. ODELSTAD 163 DOING WELL ENOUGH
IN AN ANDERSONIAN-KANGERIAN FRAMEWORK, P. MCNAMARA 18 1 IV.
DEFEASIBILITY AND NORM CONFLICTS NORMS, PRIORITIES, AND DEFEASIBILITY,
D. NUTE 201 SOME OBSERVATIONS ON CARLOS ALCHOURR6N S THEORY OF
DEFEASIBLE CONDITIONALS, V. BECHER, E. FERMI, R. RODRIGUEZ, S. LAZZER,
C. OILER AND G. PALUA 219 DYNAMIC OBLIGATION HIERARCHIES, J. BELL AND Z.
HUANG 231 REASONING ABOUT NORMS PROVIDED BY CONFLICTING REGULATIONS, L.
CHOLVY AND F. CUPPENS 247 V. COMPUTER SYSTEMS APPLICATIONS PROTOCOL
BREACHES AND VIOLATION FLAWS, C. KROGH AND A.J.I. JONES 265 FORMAL
DEFINITIONS OF FRAUD, B. SADIGHI FIROZABADI, Y.-H. TAN ANDR.M. LEE 275
NORMATIVE POSITIONS, M. SERGOT 289 VI. COMBINATIONS OF LOGICS DEALING
WITH LABEL DEPENDENT DEONTIC MODALITIES, D.M. GABBAY AND G. GOVERNATORI
311 DEONTIC LOGIC WITH RELEVANCE, L. GOBLE 331 CONTEXTUAL DEONTIC
LOGICS, J. KRABBENDAM ANDJ.-J. MEYER 347 AUTHOR INDEX 363
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV012559172 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC145 |
| callnumber-raw | BC145 QA75.5 |
| callnumber-search | BC145 QA75.5 |
| callnumber-sort | BC 3145 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)47363961 (DE-599)BVBBV012559172 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01985nam a2200505 cb4500</leader><controlfield tag="001">BV012559172</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100120 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990512s1999 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9051994273</subfield><subfield code="9">90-5199-427-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274902609</subfield><subfield code="9">4-274-90260-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47363961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012559172</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-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC145</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Norms, logics and information systems</subfield><subfield code="b">new studies in deontic logic and computer science</subfield><subfield code="c">ed. by P. McNamara ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">IOS Press [u.a.]</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 363 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="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">49</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Deontische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatiesystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deontic logic</subfield><subfield code="v">Congresses</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="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="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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">McNamara, Paul</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">49</subfield><subfield code="w">(DE-604)BV009804456</subfield><subfield code="9">49</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=008527662&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008527662</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV012559172 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:29:39Z |
| institution | BVB |
| isbn | 9051994273 4274902609 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008527662 |
| oclc_num | 47363961 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-29 DE-355 DE-BY-UBR |
| physical | X, 363 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | IOS Press [u.a.] |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Norms, logics and information systems new studies in deontic logic and computer science ed. by P. McNamara ... Amsterdam [u.a.] IOS Press [u.a.] 1999 X, 363 S. txt rdacontent n rdamedia nc rdacarrier Frontiers in artificial intelligence and applications 49 Deontische logica gtt Informatiesystemen gtt Informatik Computer science Congresses Deontic logic Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Deontische Logik (DE-588)4133538-7 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Deontische Logik (DE-588)4133538-7 s Informatik (DE-588)4026894-9 s DE-604 McNamara, Paul Sonstige oth Frontiers in artificial intelligence and applications 49 (DE-604)BV009804456 49 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008527662&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Norms, logics and information systems new studies in deontic logic and computer science Frontiers in artificial intelligence and applications Deontische logica gtt Informatiesystemen gtt Informatik Computer science Congresses Deontic logic Congresses Informatik (DE-588)4026894-9 gnd Deontische Logik (DE-588)4133538-7 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4133538-7 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Norms, logics and information systems new studies in deontic logic and computer science |
| title_auth | Norms, logics and information systems new studies in deontic logic and computer science |
| title_exact_search | Norms, logics and information systems new studies in deontic logic and computer science |
| title_full | Norms, logics and information systems new studies in deontic logic and computer science ed. by P. McNamara ... |
| title_fullStr | Norms, logics and information systems new studies in deontic logic and computer science ed. by P. McNamara ... |
| title_full_unstemmed | Norms, logics and information systems new studies in deontic logic and computer science ed. by P. McNamara ... |
| title_short | Norms, logics and information systems |
| title_sort | norms logics and information systems new studies in deontic logic and computer science |
| title_sub | new studies in deontic logic and computer science |
| topic | Deontische logica gtt Informatiesystemen gtt Informatik Computer science Congresses Deontic logic Congresses Informatik (DE-588)4026894-9 gnd Deontische Logik (DE-588)4133538-7 gnd |
| topic_facet | Deontische logica Informatiesystemen Informatik Computer science Congresses Deontic logic Congresses Deontische Logik Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008527662&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009804456 |
| work_keys_str_mv | AT mcnamarapaul normslogicsandinformationsystemsnewstudiesindeonticlogicandcomputerscience |