Craven, Robert; Sergot, Marek Agent strands in the action language \(n\mathcal C +\). (English) Zbl 1149.68419 J. Appl. Log. 6, No. 2, 172-191 (2008). MSC: 68T27 PDF BibTeX XML Cite \textit{R. Craven} and \textit{M. Sergot}, J. Appl. Log. 6, No. 2, 172--191 (2008; Zbl 1149.68419) Full Text: DOI
Sergot, Marek; Craven, Robert The deontic component of action language \(n{\mathcal{C}}+\). (English) Zbl 1148.68489 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, 222-237 (2006). MSC: 68T27 03B45 03B60 PDF BibTeX XML Cite \textit{M. Sergot} and \textit{R. Craven}, Lect. Notes Comput. Sci. 4048, 222--237 (2006; Zbl 1148.68489) Full Text: DOI
Sergot, Marek; Craven, Robert Some logical properties of nonmonotonic causal theories. (English) Zbl 1152.68616 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 198-210 (2005). MSC: 68T27 03B60 68T30 PDF BibTeX XML Cite \textit{M. Sergot} and \textit{R. Craven}, Lect. Notes Comput. Sci. 3662, 198--210 (2005; Zbl 1152.68616) Full Text: DOI
Craven, Robert; Sergot, Marek Distant causation in \(\mathcal C+\). (English) Zbl 1079.03018 Stud. Log. 79, No. 1, 73-96 (2005). MSC: 03B70 68T27 03B44 PDF BibTeX XML Cite \textit{R. Craven} and \textit{M. Sergot}, Stud. Log. 79, No. 1, 73--96 (2005; Zbl 1079.03018) Full Text: DOI