Found 10 Documents (Results 1–10)
NorMC: a norm compliance temporal logic model checker. (English) Zbl 1394.68232
Kersting, Kristian (ed.) et al., STAIRS 2012. Proceedings of the sixth starting AI researchers’ symposium, Montpellier, France, August 27–28, 2012. Amsterdam: IOS Press (ISBN 978-1-61499-095-6/hbk; 978-1-61499-096-3/ebook). Frontiers in Artificial Intelligence and Applications 241, 168-179 (2012).
A temporal logic of normative systems. (English) Zbl 1156.03017
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 69-106 (2009).
Interaction in normative multi-agent systems. (English) Zbl 1276.68149
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005).
On obligations and normative ability: Towards a logical analysis of the social contract. (English) Zbl 1081.03021
Reviewer: Louis F. Goble (Salem)
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (3)
all
top 5
Author
- Ågotnes, Thomas (2)
- van der Hoek, Wiebe (2)
- Wooldridge, Michael J. (2)
- Boella, Guido (1)
- Boissier, Olivier (1)
- Bordini, Rafael H. (1)
- Cerquides, Jesús (1)
- Colombetti, Marco (1)
- Dastani, Mehdi M. (1)
- Fagundes, Moser Silva (1)
- Fornara, Nicoletta (1)
- Gaudou, Benoit (1)
- Grossi, Davide (1)
- Herzig, Andreas (1)
- Hübner, Jomi Fred (1)
- Hulstijn, Joris (1)
- Kaźmierczak, Piotr (1)
- Longin, Dominique (1)
- Lorini, Emiliano (1)
- Meyer, John-Jules Charles (1)
- Noriega, Pablo (1)
- Odelstad, Jan (1)
- Ossowski, Sascha (1)
- Pedersen, Truls (1)
- Rodríguez-Aguilar, Juan Antonio (1)
- Sierra, Carles (1)
- van der Torre, Leendert W. N. (1)
Serial
- J. Log. Comput. (2)
- Ann. Math. Artif. Intell. (2)
- Int. J. Approx. Reasoning (1)
- AI Commun. (1)
- J. Appl. Log. (1)