Holdings: Logic programs, norms and action

Logic programs, norms and action: essays in honor of Marek J. Sergot on the occasion of his 60th birthday

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Berlin [u.a.] Springer 2012
Series:	Lecture notes in computer science 7360 : Festschrift
Subjects:	Normative Logik Argumentation Künstliche Intelligenz Deontische Logik Temporale Logik Logische Programmierung Logischer Schluss Aufsatzsammlung Festschrift
Online Access:	Inhaltsverzeichnis
Physical Description:	XX, 424 S. graph. Darst.
ISBN:	9783642294136

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items