04596nam 22007815 450 99619999320331620200629220943.03-319-08615-410.1007/978-3-319-08615-6(CKB)3710000000143892(SSID)ssj0001275272(PQKBManifestationID)11841261(PQKBTitleCode)TC0001275272(PQKBWorkID)11337931(PQKB)10881513(DE-He213)978-3-319-08615-6(MiAaPQ)EBC3093503(PPN)179766597(EXLCZ)99371000000014389220140630d2014 u| 0engurnn|008mamaatxtccrDeontic Logic and Normative Systems[electronic resource] 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XII, 273 p. 29 illus.) Lecture Notes in Artificial Intelligence ;8554Bibliographic Level Mode of Issuance: Monograph3-319-08614-6 Challenges from natural language for deontic logic -- The relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc. -- The deontic paradoxes -- The modeling of normative concepts other than obligation and permission, e.g., values -- The game-theoretical aspects of deontic reasoning -- The emergence of norms -- Norms from a conversational and pragmatic point of view.- Norms and argumentation.This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.Lecture Notes in Artificial Intelligence ;8554Mathematical logicArtificial intelligenceComputer logicApplication softwareComputer programmingComputer science—MathematicsMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical logic.Artificial intelligence.Computer logic.Application software.Computer programming.Computer science—Mathematics.Mathematical Logic and Formal Languages.Artificial Intelligence.Logics and Meanings of Programs.Computer Appl. in Administrative Data Processing.Programming Techniques.Discrete Mathematics in Computer Science.005.131Cariani Fabrizioedthttp://id.loc.gov/vocabulary/relators/edtGrossi Davideedthttp://id.loc.gov/vocabulary/relators/edtMeheus Jokeedthttp://id.loc.gov/vocabulary/relators/edtParent Xavieredthttp://id.loc.gov/vocabulary/relators/edtBOOK996199993203316Deontic Logic and Normative Systems2830012UNISA