Counts-as : Classification or constitution? An answer using modal logicGROSSI, Davide; MEYER, John-Jules Ch; DIGNUM, Frank et al.Lecture notes in computer science. 2006, pp 115-130, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 16 p.Conference Paper

A Tableau Method for Verifying Dialogue Game Protocols for Agent CommunicationBENTAHAR, Jamal; MOULIN, Bernard; MEYER, John-Jules Ch et al.Lecture notes in computer science. 2006, pp 223-244, issn 0302-9743, isbn 3-540-33106-9, 1Vol, 22 p.Conference Paper

A question of trust : Assessing the fulfillment of commitments in terms of strategiesMULLER, Thomas.Lecture notes in computer science. 2006, pp 210-221, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 12 p.Conference Paper

Generating bids for group-related actions in the context of prior commitmentsHUNSBERGER, Luke.Lecture notes in computer science. 2002, pp 248-263, issn 0302-9743, isbn 3-540-43858-0, 16 p.Conference Paper

Deontic logic and artificial normative systems (8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006)Goble, Lou; Meyer, John-Jules Ch.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-35842-0, 1Vol, X-271 p, isbn 3-540-35842-0Conference Proceedings

Emotion models for situated normative systems?PETTA, Paolo.Lecture notes in computer science. 2006, pp 6-7, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 2 p.Conference Paper

On the epistemic feasibility of plans in multiagent systems specificationsLESPERANCE, Yves.Lecture notes in computer science. 2002, pp 69-85, issn 0302-9743, isbn 3-540-43858-0, 17 p.Conference Paper

An abstract machine for classes of communicating agents based on deductionBONZON, Pierre.Lecture notes in computer science. 2002, pp 206-220, issn 0302-9743, isbn 3-540-43858-0, 15 p.Conference Paper

Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenarioBROERSEN, Jan.Lecture notes in computer science. 2006, pp 53-68, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 16 p.Conference Paper

Agents for hand-held, mobile, or embedded devicesFININ, Tim.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43858-0, p. 422Conference Paper

Formal theories of negotiationDIGNUM, Frank.Lecture notes in computer science. 2002, pp 321-323, issn 0302-9743, isbn 3-540-43858-0, 3 p.Conference Paper

Objects, agents, and features: An introductionMEYER, John-Jules Ch; RYAN, Mark D; EHRICH, Hans-Dieter et al.Lecture notes in computer science. 2004, pp 1-7, issn 0302-9743, isbn 3-540-21989-7, 7 p.Conference Paper

Affective negotiation support systemsBROEKENS, Joost; JONKER, Catholijn M; MEYER, John-Jules Ch et al.Journal of ambient intelligence and smart environments (Print). 2010, Vol 2, Num 2, pp 121-144, issn 1876-1364, 24 p.Article

Subgoal semantics in agent programmingBIRNA VAN RIEMSDIJK, M; DASTANI, Mehdi; MEYER, John-Jules Ch et al.Lecture notes in computer science. 2005, pp 548-559, issn 0302-9743, isbn 3-540-30737-0, 1Vol, 12 p.Conference Paper

Acting with an end in sightBROWN, Mark A.Lecture notes in computer science. 2006, pp 69-84, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 16 p.Conference Paper

Sequences, obligations, and the contrary-to-duty paradoxWYNER, Adam Zachary.Lecture notes in computer science. 2006, pp 255-271, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 17 p.Conference Paper

Speech acts with institutional effects in agent societiesDEMOLOMBE, Robert; LOUIS, Vincent.Lecture notes in computer science. 2006, pp 101-114, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 14 p.Conference Paper

A complete and decidable axiomatisation for deontic interpreted systemsLOMUSCIO, Alessio; WOZNA, Bozena.Lecture notes in computer science. 2006, pp 238-254, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 17 p.Conference Paper

Conflicting obligations in multi-agent deontic logicKOOI, Barteld; TAMMINGA, Allard.Lecture notes in computer science. 2006, pp 175-186, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 12 p.Conference Paper

Propositional quantifiers in deontic logicLOKHORST, Gert-Jan C.Lecture notes in computer science. 2006, pp 201-209, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 9 p.Conference Paper

On multi-agent systems specification via Deontic logicLOMUSCIO, Alessio; SERGOT, Marek.Lecture notes in computer science. 2002, pp 86-99, issn 0302-9743, isbn 3-540-43858-0, 14 p.Conference Paper

Antisocial agents and Vickrey auctionsBRANDT, Felix; WEISS, Gerhard.Lecture notes in computer science. 2002, pp 335-347, issn 0302-9743, isbn 3-540-43858-0, 13 p.Conference Paper

Intermediate concepts in normative systemsLINDAHL, Lars; ODELSTAD, Jan.Lecture notes in computer science. 2006, pp 187-200, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 14 p.Conference Paper

Objects, agents, and features (Dagstuhl Castle, 16-21 February 203, revised and invited papers)Ryan, Mark D; Meyer, John-Jules Ch; Ehrich, Hans-Dieter et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21989-7, 226 p., isbn 3-540-21989-7Conference Proceedings

Verifying norm compliancy of protocolsALDEWERELD, Huib; VAZQUEZ-SALCEDA, Javier; DIGNUM, Frank et al.Lecture notes in computer science. 2006, pp 231-245, issn 0302-9743, isbn 3-540-35173-6, 1Vol, 15 p.Conference Paper