Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Satoru Suzuki |
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 278-291, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conditional expected utility maximisation, preference, projective geometry, deontic logic, measurement theory, representation theorem |
112 | Andrei Kouznetsov |
Quasi-matrix Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 191-208, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
107 | Takahiro Tagawa, Jingde Cheng |
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 39-48, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
101 | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
On Obligations and Abilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 165-181, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
alternating-time logic, multi-agent systems, deontic logic |
100 | Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali |
A State/Event Temporal Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 85-100, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
100 | Lou Goble |
A Proposal for Dealing with Deontic Dilemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 74-113, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
96 | Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki |
Annotated Semantics for Defeasible Deontic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 470-478, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic |
95 | Adam Zachary Wyner |
Sequences, Obligations, and the Contrary-to-Duty Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 255-271, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
89 | Leendert W. N. van der Torre |
Violation Contexts and Deontic Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 361-374, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
89 | Pilar Dellunde, Lluís Godo |
Introducing Grades in Deontic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 248-262, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy Logic, Norms, Institutions, Deontic Logic |
88 | Jan M. Broersen |
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 53-68, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Gert-Jan C. Lokhorst |
Propositional Quantifiers in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 201-209, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Barteld P. Kooi, Allard M. Tamminga |
Conflicting Obligations in Multi-agent Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 175-186, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Adam Zachary Wyner |
Maintaining Obligations on Stative Expressions in a Deontic Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 258-274, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
88 | Lennart Åqvist |
Combinations of Tense and Deontic Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 3-28, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal realization operators, historical necessity, conditional obligation, finite two-dimensional co-ordinate system, frame constants |
77 | Adam Zachary Wyner |
A Functional Program for Agents, Actions, and Deontic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, pp. 239-256, 2006, Springer, 3-540-68959-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
77 | Leendert W. N. van der Torre, Yao-Hua Tan |
Prohairetic Deontic Logic (PDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 77-91, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
77 | Jörg Hansen |
Conflicting Imperatives and Dyadic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 146-164, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
72 | Stéphanie Combettes |
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 589-598, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Deontic protocol, Organizational Petri Net, Methodology |
72 | Paul McNamara |
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 233-247, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral |
72 | Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung |
Defeasible Deontic Control for Discrete Events Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 310-315, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning |
66 | Sven Ove Hansson |
Ideal Worlds - Wishful Thinking in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(3), pp. 329-336, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
deontic paradoxes, ideal worlds, truth-functional representation, deontic logic, possible worlds |
66 | Sven Ove Hansson |
A New Representation Theorem for Contranegative Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 1-7, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
contranegative predicate, standard deontic logic, preference logic, SDL, deontic logic, representation theorem |
65 | Vineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert M. Colomb, Antonino Rotolo |
Process modelling: the deontic way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006, pp. 75-84, 2006, Australian Computer Society, 1-920-68235-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
enterprise and process modelling, business |
65 | Layman E. Allen, Charles S. Saxon |
Application of enriched deontic legal relations: Federal Rules of Civil Procedure Rule 7(a), pleadings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 80-89, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
65 | Frank Dignum, Ruurd Kuiper 0001 |
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 336-346, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
65 | Young U. Ryu |
Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 485-493, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
65 | Pablo F. Castro, T. S. E. Maibaum |
A Tableaux System for Deontic Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 34-48, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification |
65 | Marek J. Sergot, Robert Craven |
The Deontic Component of Action Language nC+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 222-237, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Alessio Lomuscio, Bozena Wozna |
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 238-254, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 25-43, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
60 | Albert J. J. Anglberger |
Dynamic Deontic Logic and its Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 427-435, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic deontic logic, PDeL, Chisholm’s paradox, contrary to duty obligations |
60 | Jan M. Broersen, Julien Brunel |
Preservation of obligations in a temporal and deontic framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 177, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
temporal logic, product, deontic logic |
60 | Nardine Osman 0001, David Robertson 0001, Christopher Walton |
Run-time model checking of interaction and deontic models for multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 238-240, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
deontic models, dynamic model checking, interaction models |
60 | Xiaofeng Gong, Julian Newman |
The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings, pp. 807-815, 2003, Springer, 3-540-20494-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification |
59 | Olga Pacheco, Filipe Santos 0001 |
Delegation in a Role-Based Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 209-227, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe |
EVALPSN Based Intelligent Drivers' Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 858-865, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning |
54 | Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki |
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 954-960, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning |
53 | Pablo F. Castro, T. S. E. Maibaum |
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 151-160, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | John F. Horty |
Precedent, deontic logic, and inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 63-72, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Leendert W. N. van der Torre |
Deontic Redundancy: A Fundamental Challenge for Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 11-32, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
53 | José Carmo |
Roles, Counts-as and Deontic and Action Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Franco Raimondi, Alessio Lomuscio |
Automatic Verification of Deontic Properties of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 228-242, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer |
Designing a Deontic Logic of Deadlines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 43-56, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Layman E. Allen |
From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996, pp. 1-26, 1996, Springer, 3-540-76015-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Alberto Artosi, Guido Governatori, Giovanni Sartor |
Towards a Computational Treatment of Deontic Defeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996, pp. 27-46, 1996, Springer, 3-540-76015-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Frédéric Cuppens, Robert Demolombe |
A Deontic Logic for Reasoning about Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996, pp. 66-79, 1996, Springer, 3-540-76015-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Yao-Hua Tan, Leendert W. N. van der Torre |
How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996, pp. 216-232, 1996, Springer, 3-540-76015-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Cristian Prisacariu, Gerardo Schneider |
A Formal Language for Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 174-189, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Magnus Hjelmblom, Jan Odelstad |
jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 110-119, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deontic action-logic, normative positions, norm-regulated MAS, DALMAS, logic server |
48 | Jingde Cheng |
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 517-525, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Knowledge management, Knowledge representation, Knowledge discovery, Deontic logic, Legal reasoning, Relevant logic |
48 | David Evans 0002, David M. Eyers |
Deontic logic for modelling data flow and use compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 19-24, 2008, ACM, 978-1-60558-364-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
48 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 109-123, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
48 | Jörg Hansen |
Deontic logics for prioritized imperatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 14(1-2), pp. 1-34, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logic of imperatives, priorities, deontic logic |
48 | Alessio Lomuscio, Marek J. Sergot |
Deontic Interpreted Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(1), pp. 63-92, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiagent systems, deontic logic, Interpreted systems |
47 | Xavier Parent |
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 189-202, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conditional obligation, preference-based semantics, DSDL3, strong completeness |
47 | Nora Cuppens-Boulahia, Frédéric Cuppens |
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 65-80, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Souhila Kaci, Leendert W. N. van der Torre |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 161-174, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Mark A. Brown |
Acting with an End in Sight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 69-84, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Jesse Hughes, Lambèr M. M. Royakkers |
Don't Ever Do That! Long-Term Duties in PDeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 131-148, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer |
Collective Obligations and Agents: Who Gets the Blame? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 129-145, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Mark A. Brown |
Obligation, Contracts, and Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 1, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 460-474, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
42 | Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki |
Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 719-723, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning |
41 | Gersende Georg, Hugo Hernault, Marc Cavazza, Helmut Prendinger, Mitsuru Ishizuka |
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 86-90, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
natural language processing, guidelines, rhetorical structure theory |
41 | Tomoyuki Yamada |
Acts of Promising in Dynamified Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, pp. 95-108, 2007, Springer, 978-3-540-78196-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Christophe Garion, Leendert W. N. van der Torre |
Design by Contract Deontic Design Language for Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 170-182, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Marco Alberti 0001, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
A Social ACL Semantics by Deontic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, pp. 204-213, 2003, Springer, 3-540-40450-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Leendert W. N. van der Torre, Yao-Hua Tan |
Contextual Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelAge Workshop ![In: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers, pp. 240-251, 1997, Springer, 3-540-67027-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Frank Dignum, Hans Weigand, Egon Verharen |
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 243-252, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Ronald M. Lee |
Bureaucracies as Deontic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 6(2), pp. 87-108, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Arjan Foekens, Andreas Mitrakas, Yao-Hua Tan |
Facilitating International Electronic Commerce by Formalising the Incoterms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 459-467, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Dominik Pichler, Xavier Parent |
Perspectival Obligation and Extensionality in an Alethic-Deontic Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 57-77, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Edi Pavlovic, Frederik Van De Putte |
Proof Theory for Admissibility in Two-Player (Deontic) Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 21-38, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Rodrigo Mena González |
Deontic Logic in a Hierarchical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 275-295, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Stef Frijters |
An Andersonian-Kangerian Reduction of Term-Modal Deontic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 159-176, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee |
Rights and Practical Reasoning in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 1-19, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Vincent de Wit |
Rule rather than Exception: Defeasible Probabilistic Dyadic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 343-345, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Ilaria Canavotto |
Inconsistent Precedents and Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023, pp. 317-333, 2023, College Publications. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Guido Governatori, Antonino Rotolo |
Is Free Choice Permission Admissible in Classical Deontic Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 255-271, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Valentin Goranko |
How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 219-238, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Kees van Berkel 0002, Tim Lyon |
The Varieties of Ought-Implies-Can and Deontic STIT Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 56-76, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces |
Deontic Action Logics via Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 77-93, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo |
A Defeasible Deontic Logic for Pragmatic Oddity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 239-254, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Alessandro Giordani |
Reason-Based Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 183-200, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Edgar Avendano-Mejia, Yolanda Torres-Falcon |
The Roles of Authority and Norm-Addressees in Deontic Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 1-16, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Takahiro Sawasaki, Katsuhiko Sano |
Term-Sequence-Dyadic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 376-393, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Karl Nygren |
Deontic Logic Based on Inquisitive Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021., pp. 339-357, 2021, College Publications, 978-1-84890-352-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Krystian Jobczyk |
Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(5), pp. 5091-5103, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | |
Special Issue 'deontic modalities in natural language' - selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 29(3), pp. 319-320, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Guido Governatori, Antonino Rotolo, Régis Riveret |
A Deontic Argumentation Framework Based on Deontic Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings, pp. 484-492, 2018, Springer, 978-3-030-03097-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Christoph Benzmüller, Ali Farjami, Xavier Parent |
A Dyadic Deontic Logic in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018., pp. 33-49, 2018, College Publications, 9781848902787. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
35 | Frederik Van De Putte, Stefan Frijters, Joke Meheus |
How to Take Heroin (if at all). Holistic Detachment in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018., pp. 317-335, 2018, College Publications, 9781848902787. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
35 | Fengkui Ju |
S5 as a Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018., pp. 177-192, 2018, College Publications, 9781848902787. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
35 | Frederik Van De Putte |
Coarse Deontic Logic (short version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2018., pp. 256-271, 2016, College Publications, 9781848902152. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
35 | Alessandro Giordani, Ilaria Canavotto |
Basic Action Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2018., pp. 80-92, 2016, College Publications, 9781848902152. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
35 | Zarnic Berislav |
Deontic Logic as a Study of Conditions of Rationality in Norm-related Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2018., pp. 272-287, 2016, College Publications, 9781848902152. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
35 | Dov M. Gabbay, Livio Robaldo, Xin Sun 0001, Leendert W. N. van der Torre, Zohreh Baniasadi |
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 108-123, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Melissa Fusco |
Factoring Disjunction Out of Deontic Modal Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 95-107, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Robert Trypuz, Piotr Kulicki |
A Deontic Logic of Actions and States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 258-272, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|