Result 1 to 20 of 204 total
Visualizing normative systems: an abstract approach. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012).
1
Conditional labelling for abstract argumentation. (English)
Modgil, Sanjay (ed.) et al., Theory and applications of formal argumentation. First international workshop, TAFA 2011. Barcelona, Spain, July 16‒17, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29183-8/pbk). Lecture Notes in Computer Science 7132. Lecture Notes in Artificial Intelligence, 232-248 (2012).
2
Time and defeasibility in FIPA ACL semantics. (English)
J. Appl. Log. 9, No. 4, 274-288 (2011).
3
Argumentative agents negotiating on potential attacks. (English)
O’Shea, James (ed.) et al., Agent and multi-agent systems: technologies and applications. 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21999-3/pbk). Lecture Notes in Computer Science 6682. Lecture Notes in Artificial Intelligence, 280-290 (2011).
4
Group intention is social choice with commitment. (English)
De Vos, Marina (ed.) et al., Coordination, organizations, institutions, and norms in agent systems VI. COIN 2010 international workshops, COIN\@AAMAS 2010, Toronto, Canada, May 2010, COIN\@MALLOW 2010, Lyon, France, August 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21267-3/pbk). Lecture Notes in Computer Science 6541. Lecture Notes in Artificial Intelligence, 152-171 (2011).
5
Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17‒18, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). xv, 383~p. EUR~57.78 (2011).
6
Dynamics in delegation and revocation schemes: A logical approach. (English)
Li, Yingjiu (ed.), Data and applications security and privacy XXV. 25th annual IFIP WG 11.3 conference, DBSec 2011, Richmond, VA, USA, July 11‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22347-1/pbk). Lecture Notes in Computer Science 6818, 90-105 (2011).
7
Arguing about the trustworthiness of the information sources. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 74-85 (2011).
8
Preface (English)
Computational & Mathematical Organization Theory 17, No. 4, 315-317 (2011).
9
Attack semantics for abstract argumentation (English)
IJCAI, 406-413 (2011).
10
Arguing about the trustworthiness of the information sources (English)
ECSQARU, 74-85 (2011).
11
Argumentative agents negotiating on potential attacks (English)
KES-AMSTA, 280-290 (2011).
12
Neural symbolic architecture for normative agents (English)
AAMAS, 1203-1204 (2011).
13
Dynamics in delegation and revocation schemes: A logical approach (English)
DBSec, 90-105 (2011).
14
How users’ participation affects reputation management systems: the case of P2P networks. (English)
Simul. Model. Pract. Theory 18, No. 10, 1493-1505 (2010).
15
Higher-order coalition logic. (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 555-560 (2010).
16
Lex minus dixit quam voluit, lex magis dixit quam voluit: a formal study on legal compliance and interpretation. (English)
Casanovas, Pompeu (ed.) et al., AI approaches to the complexity of legal systems. Complex systems, the semantic web, ontologies, argumentation, and dialogue. International workshops AICOL-I/IVR-XXIV, Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam, The Netherlands, December 16, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16523-8/pbk). Lecture Notes in Computer Science 6237. Lecture Notes in Artificial Intelligence, 162-183 (2010).
17
Prescriptive and descriptive obligations in dynamic epistemic deontic logic. (English)
Casanovas, Pompeu (ed.) et al., AI approaches to the complexity of legal systems. Complex systems, the semantic web, ontologies, argumentation, and dialogue. International workshops AICOL-I/IVR-XXIV, Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam, The Netherlands, December 16, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16523-8/pbk). Lecture Notes in Computer Science 6237. Lecture Notes in Artificial Intelligence, 150-161 (2010).
18
A middleware for modeling organizations and roles in Jade. (English)
Braubach, Lars (ed.) et al., Programming multi-agent systems. 7th international workshop, ProMAS 2009, Budapest, Hungary, May 10‒15, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14842-2/pbk). Lecture Notes in Computer Science 5919. Lecture Notes in Artificial Intelligence, 100-117 (2010).
19
Privacy policies with modal logic: the dynamic turn. (English)
Governatori, Guido (ed.) et al., Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14182-9/pbk). Lecture Notes in Computer Science 6181. Lecture Notes in Artificial Intelligence, 196-213 (2010).
20
Result 1 to 20 of 204 total