Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("LOMUSCIO, Alessio")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 27

  • Page / 2
Export

Selection :

  • and

Automatic verification of deontic properties of multi-agent systemsRAIMONDI, Franco; LOMUSCIO, Alessio.Lecture notes in computer science. 2004, pp 228-242, issn 0302-9743, isbn 3-540-22111-5, 15 p.Conference Paper

A Combination of Explicit and Deductive Knowledge with Branching Time : Completeness and Decidability ResultsLOMUSCIO, Alessio; WOZNA, Bozena.Lecture notes in computer science. 2006, pp 188-204, issn 0302-9743, isbn 3-540-33106-9, 1Vol, 17 p.Conference Paper

DEON 2004 : deontic logic in computer science (Madeira, 26-28 May 2004)Lomuscio, Alessio; Nute, Donald.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22111-5, X, 274 p, isbn 3-540-22111-5Conference Proceedings

The complexity of model checking concurrent programs against CTLK specificationsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 29-42, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

A logic for knowledge, correctness, and real timeWOZNA, Bozena; LOMUSCIO, Alessio.Lecture notes in computer science. 2005, pp 1-15, issn 0302-9743, isbn 3-540-28060-X, 15 p.Conference Paper

Bounded model checking for knowledge and real timeLOMUSCIO, Alessio; PENEZEK, Wojciech; WOINA, Bozena et al.Artificial intelligence. 2007, Vol 171, Num 16-17, pp 1011-1038, issn 0004-3702, 28 p.Article

MCMAS : A model checker for Multi-Agent SystemsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 450-454, issn 0302-9743, isbn 3-540-33056-9, 1Vol, 5 p.Conference Paper

Obligation change in dependence logic and situation calculusDEMOLOMBE, Robert; HERZIG, Andreas.Lecture notes in computer science. 2004, pp 57-73, issn 0302-9743, isbn 3-540-22111-5, 17 p.Conference Paper

Maintaining obligations on stative expressions in a Deontic Action LogicWYNER, Adam Zachary.Lecture notes in computer science. 2004, pp 258-274, issn 0302-9743, isbn 3-540-22111-5, 17 p.Conference Paper

On normative-informational positionsJONES, Andrew J. I.Lecture notes in computer science. 2004, pp 182-190, issn 0302-9743, isbn 3-540-22111-5, 9 p.Conference Paper

A proposal for dealing with deontic dilemmasGOBLE, Lou.Lecture notes in computer science. 2004, pp 74-113, issn 0302-9743, isbn 3-540-22111-5, 40 p.Conference Paper

Defeasible logic: Agency, intention and obligationGOVERNATORI, Guido; ROTOLO, Antonino.Lecture notes in computer science. 2004, pp 114-128, issn 0302-9743, isbn 3-540-22111-5, 15 p.Conference Paper

Quasi-matrix deontic logicKOUZNETSOV, Andrei.Lecture notes in computer science. 2004, pp 191-208, issn 0302-9743, isbn 3-540-22111-5, 18 p.Conference Paper

Combinations of tense and deontic modalityAQVIST, Lennart.Lecture notes in computer science. 2004, pp 3-28, issn 0302-9743, isbn 3-540-22111-5, 26 p.Conference Paper

Conflicting imperatives and dyadic deontic logicHANSEN, Jörg.Lecture notes in computer science. 2004, pp 146-164, issn 0302-9743, isbn 3-540-22111-5, 19 p.Conference Paper

Delegation in a role-based organizationPACHECO, Olga; SANTOS, Filipe.Lecture notes in computer science. 2004, pp 209-227, issn 0302-9743, isbn 3-540-22111-5, 19 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

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

Δ: The social delegation cycleBOELLA, Guido; VAN DER TORRE, Leendert.Lecture notes in computer science. 2004, pp 29-42, issn 0302-9743, isbn 3-540-22111-5, 14 p.Conference Paper

A logic for ignoranceVAN DER HOEK, Wiebe; LOMUSCIO, Alessio.Lecture notes in computer science. 2004, pp 97-108, issn 0302-9743, isbn 3-540-22124-7, 12 p.Conference Paper

A classification scheme for negotiation in electronic commerceLOMUSCIO, Alessio R; WOOLDRIDGE, Michael; JENNINGS, Nicholas R et al.Agent mediated electronic commerce (the European agentlink perspective). Lecture notes in computer science. 2001, pp 19-33, issn 0302-9743, isbn 3-540-41671-4Book Chapter

A tableaux system for deontic interpreted systemsGOVERNATORI, Guido; LOMUSCIO, Alessio; SERGOT, Marek J et al.Lecture notes in computer science. 2003, pp 339-351, issn 0302-9743, isbn 3-540-20646-9, 13 p.Conference Paper

Designing a deontic logic of deadlinesBROERSEN, Jan; DIGNUM, Frank; DIGNUM, Virginia et al.Lecture notes in computer science. 2004, pp 43-56, issn 0302-9743, isbn 3-540-22111-5, 14 p.Conference Paper

Specifying multiagent organizationsVAN DER TORRE, Leendert; HULSTIJN, Joris; DASTANI, Mehdi et al.Lecture notes in computer science. 2004, pp 243-257, issn 0302-9743, isbn 3-540-22111-5, 15 p.Conference Paper

On obligations and abilitiesJAMROGA, Wojciech; VAN DER HOEK, Wiebe; WOOLDRIDGE, Michael et al.Lecture notes in computer science. 2004, pp 165-181, issn 0302-9743, isbn 3-540-22111-5, 17 p.Conference Paper

  • Page / 2