Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies.
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 7360 |
| creator | Artikis, Alexander Craven, Robert Kesim Cicekli, Nihan Sadighi, Babak Stathis, Kostas |
| description | This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies. |
| doi_str_mv | 10.1007/978-3-642-29414-3 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783642294143</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3071038</sourcerecordid><originalsourceid>FETCH-LOGICAL-a41894-a513d0e4868dd64151bc37568035ffa926e287073c1f9aed86b42ed52ff7da223</originalsourceid><addsrcrecordid>eNpNkEtPwzAQhM1TlNIfwC3igpAw9XodP46lKg-pAg6Iq-UmThuaxiUu8PdJG4TYy2q034y0Q8g5sBtgTA2N0hSpFJxyI0BQ3COn2MqdkvukBxKAIgpz8P9wSHoMGadGCTwmPWWQSyNTc0IGMb6zdqSUYGSPJNMwL7PkpQnzxq3idfIUmlVMXJ0no2xThvqMHBWuin7wu_vk7W7yOn6g0-f7x_FoSp0AbQR1KWDOvNBS57kUkMIsQ5VKzTAtCme49FwrpjCDwjifazkT3OcpLwqVO86xT666YBeX_jsuQrWJ9qvysxCW0bZF_L2HLTvs2LhuynruG9tRwOy2ti1t0ba83Rns1nHZOdZN-Pj0cWN3wZmvN42r7OR2jEwBQ92SFx2Zueiqsi7tKtTbdtaLaFMBXGjAH1qgbks</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3071038</pqid></control><display><type>book</type><title>Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday</title><source>Springer Books</source><creator>Artikis, Alexander ; Craven, Robert ; Kesim Cicekli, Nihan ; Sadighi, Babak ; Stathis, Kostas</creator><contributor>Craven, Robert ; Sadighi, Babak ; Artikis, Alexander ; Kesim Cicekli, Nihan ; Stathis, Kostas ; Craven, Robert ; Artikis, Alexander ; Sadighi, Babak ; Kesim Çiçekli, Nihan</contributor><creatorcontrib>Artikis, Alexander ; Craven, Robert ; Kesim Cicekli, Nihan ; Sadighi, Babak ; Stathis, Kostas ; Craven, Robert ; Sadighi, Babak ; Artikis, Alexander ; Kesim Cicekli, Nihan ; Stathis, Kostas ; Craven, Robert ; Artikis, Alexander ; Sadighi, Babak ; Kesim Çiçekli, Nihan</creatorcontrib><description>This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies.</description><edition>1</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3642294146</identifier><identifier>ISBN: 9783642294143</identifier><identifier>ISBN: 3642294138</identifier><identifier>ISBN: 9783642294136</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3642294146</identifier><identifier>EISBN: 9783642294143</identifier><identifier>DOI: 10.1007/978-3-642-29414-3</identifier><identifier>OCLC: 793269659</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Nature</publisher><subject>Artificial Intelligence ; Computer Communication Networks ; Computer Science ; Information Systems Applications (incl. Internet) ; Logic programming ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Software Engineering ; Special computer methods</subject><creationdate>2012</creationdate><tpages>443</tpages><format>443</format><rights>Springer-Verlag Berlin Heidelberg 2012</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-642-29414-3</thumbnail><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-642-29414-3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>307,781,785,787,27930,38260,42516</link.rule.ids></links><search><contributor>Craven, Robert</contributor><contributor>Sadighi, Babak</contributor><contributor>Artikis, Alexander</contributor><contributor>Kesim Cicekli, Nihan</contributor><contributor>Stathis, Kostas</contributor><contributor>Craven, Robert</contributor><contributor>Artikis, Alexander</contributor><contributor>Sadighi, Babak</contributor><contributor>Kesim Çiçekli, Nihan</contributor><creatorcontrib>Artikis, Alexander</creatorcontrib><creatorcontrib>Craven, Robert</creatorcontrib><creatorcontrib>Kesim Cicekli, Nihan</creatorcontrib><creatorcontrib>Sadighi, Babak</creatorcontrib><creatorcontrib>Stathis, Kostas</creatorcontrib><title>Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday</title><description>This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies.</description><subject>Artificial Intelligence</subject><subject>Computer Communication Networks</subject><subject>Computer Science</subject><subject>Information Systems Applications (incl. Internet)</subject><subject>Logic programming</subject><subject>Logics and Meanings of Programs</subject><subject>Mathematical Logic and Formal Languages</subject><subject>Software Engineering</subject><subject>Special computer methods</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3642294146</isbn><isbn>9783642294143</isbn><isbn>3642294138</isbn><isbn>9783642294136</isbn><isbn>3642294146</isbn><isbn>9783642294143</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2012</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNpNkEtPwzAQhM1TlNIfwC3igpAw9XodP46lKg-pAg6Iq-UmThuaxiUu8PdJG4TYy2q034y0Q8g5sBtgTA2N0hSpFJxyI0BQ3COn2MqdkvukBxKAIgpz8P9wSHoMGadGCTwmPWWQSyNTc0IGMb6zdqSUYGSPJNMwL7PkpQnzxq3idfIUmlVMXJ0no2xThvqMHBWuin7wu_vk7W7yOn6g0-f7x_FoSp0AbQR1KWDOvNBS57kUkMIsQ5VKzTAtCme49FwrpjCDwjifazkT3OcpLwqVO86xT666YBeX_jsuQrWJ9qvysxCW0bZF_L2HLTvs2LhuynruG9tRwOy2ti1t0ba83Rns1nHZOdZN-Pj0cWN3wZmvN42r7OR2jEwBQ92SFx2Zueiqsi7tKtTbdtaLaFMBXGjAH1qgbks</recordid><startdate>2012</startdate><enddate>2012</enddate><creator>Artikis, Alexander</creator><creator>Craven, Robert</creator><creator>Kesim Cicekli, Nihan</creator><creator>Sadighi, Babak</creator><creator>Stathis, Kostas</creator><general>Springer Nature</general><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>I4C</scope></search><sort><creationdate>2012</creationdate><title>Logic Programs, Norms and Action</title><author>Artikis, Alexander ; Craven, Robert ; Kesim Cicekli, Nihan ; Sadighi, Babak ; Stathis, Kostas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a41894-a513d0e4868dd64151bc37568035ffa926e287073c1f9aed86b42ed52ff7da223</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Artificial Intelligence</topic><topic>Computer Communication Networks</topic><topic>Computer Science</topic><topic>Information Systems Applications (incl. Internet)</topic><topic>Logic programming</topic><topic>Logics and Meanings of Programs</topic><topic>Mathematical Logic and Formal Languages</topic><topic>Software Engineering</topic><topic>Special computer methods</topic><toplevel>online_resources</toplevel><creatorcontrib>Artikis, Alexander</creatorcontrib><creatorcontrib>Craven, Robert</creatorcontrib><creatorcontrib>Kesim Cicekli, Nihan</creatorcontrib><creatorcontrib>Sadighi, Babak</creatorcontrib><creatorcontrib>Stathis, Kostas</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Artikis, Alexander</au><au>Craven, Robert</au><au>Kesim Cicekli, Nihan</au><au>Sadighi, Babak</au><au>Stathis, Kostas</au><au>Craven, Robert</au><au>Sadighi, Babak</au><au>Artikis, Alexander</au><au>Kesim Cicekli, Nihan</au><au>Stathis, Kostas</au><au>Craven, Robert</au><au>Artikis, Alexander</au><au>Sadighi, Babak</au><au>Kesim Çiçekli, Nihan</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2012</date><risdate>2012</risdate><volume>7360</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3642294146</isbn><isbn>9783642294143</isbn><isbn>3642294138</isbn><isbn>9783642294136</isbn><eisbn>3642294146</eisbn><eisbn>9783642294143</eisbn><abstract>This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Nature</pub><doi>10.1007/978-3-642-29414-3</doi><oclcid>793269659</oclcid><tpages>443</tpages><edition>1</edition></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_askewsholts_vlebooks_9783642294143 |
| source | Springer Books |
| subjects | Artificial Intelligence Computer Communication Networks Computer Science Information Systems Applications (incl. Internet) Logic programming Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special computer methods |
| title | Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-12T00%3A45%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Logic%20Programs,%20Norms%20and%20Action:%20Essays%20in%20Honor%20of%20Marek%20J.%20Sergot%20on%20the%20Occasion%20of%20His%2060th%20Birthday&rft.au=Artikis,%20Alexander&rft.date=2012&rft.volume=7360&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3642294146&rft.isbn_list=9783642294143&rft.isbn_list=3642294138&rft.isbn_list=9783642294136&rft_id=info:doi/10.1007/978-3-642-29414-3&rft_dat=%3Cproquest_askew%3EEBC3071038%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3642294146&rft.eisbn_list=9783642294143&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3071038&rft_id=info:pmid/&rfr_iscdi=true |