×

Found 16 Documents (Results 1–16)

Runtime verification through forward chaining. (English) Zbl 1464.68212

Bjørner, Nikolaj (ed.) et al., Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 169, 68-81 (2014).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

Visualizing normative systems: an abstract approach. (English) Zbl 1297.68218

Å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).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: DOI Link

Higher-order coalition logic. (English) Zbl 1211.03034

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).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI

Privacy policies with modal logic: the dynamic turn. (English) Zbl 1250.68241

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).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: DOI Link

A logic of abstract argumentation. (English) Zbl 1236.68246

Parsons, Simon (ed.) et al., Argumentation in multi-agent systems. Second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-36355-6/pbk). Lecture Notes in Computer Science 4049. Lecture Notes in Artificial Intelligence, 29-41 (2006).
MSC:  68T42 03B45 68T27
PDFBibTeX XMLCite
Full Text: DOI

Delegation of power in normative multiagent systems. (English) Zbl 1148.68479

Goble, Lou (ed.) et al., 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. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 36-52 (2006).
MSC:  68T27 03B45 03B60
PDFBibTeX XMLCite
Full Text: DOI Link

A logical architecture of a normative system. (English) Zbl 1148.68478

Goble, Lou (ed.) et al., 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. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 24-35 (2006).
MSC:  68T27 03B45 03B60
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  68T42 03B45 68T27
PDFBibTeX XMLCite
Full Text: Link

\(\Delta \): The social delegation cycle. (English) Zbl 1169.68612

Lomuscio, Alessio (ed.) et al., Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22111-5/pbk). Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence, 29-42 (2004).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: DOI

Obligations as social constructs. (English) Zbl 1186.03040

Cappelli, Amedeo (ed.) et al., AI*IA 2003: Advances in artificial intelligence. 8th congress of the Italian association for artificial intelligence, Pisa, Italy, September 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20119-X/pbk). Lect. Notes Comput. Sci. 2829, 27-38 (2003).
MSC:  03B45 03A05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software