Craven, Robert; Toni, Francesca Argument graphs and assumption-based argumentation. (English) Zbl 1351.68264 Artif. Intell. 233, 1-59 (2016). MSC: 68T27 PDF BibTeX XML Cite \textit{R. Craven} and \textit{F. Toni}, Artif. Intell. 233, 1--59 (2016; Zbl 1351.68264) Full Text: DOI
Craven, Robert; Toni, Francesca; Williams, Matthew Graph-based dispute derivations in assumption-based argumentation. (English) Zbl 1405.68345 Black, Elizabeth (ed.) et al., Theory and applications of formal argumentation. Second international workshop, TAFA 2013, Beijing, China, August 3–5, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-54372-2/pbk). Lecture Notes in Computer Science 8306. Lecture Notes in Artificial Intelligence, 46-62 (2014). MSC: 68T27 68T42 PDF BibTeX XML Cite \textit{R. Craven} et al., Lect. Notes Comput. Sci. 8306, 46--62 (2014; Zbl 1405.68345) Full Text: DOI
Fan, Xiuyi; Craven, Robert; Singer, Ramsay; Toni, Francesca; Williams, Matthew Assumption-based argumentation for decision-making with preferences: a medical case study. (English) Zbl 1401.68336 Leite, João (ed.) et al., Computational logic in multi-agent systems. 14th international workshop, CLIMA XIV, Corunna, Spain, September 16–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40623-2/pbk). Lecture Notes in Computer Science 8143. Lecture Notes in Artificial Intelligence, 374-390 (2013). MSC: 68T42 68T27 68U35 92C50 PDF BibTeX XML Cite \textit{X. Fan} et al., Lect. Notes Comput. Sci. 8143, 374--390 (2013; Zbl 1401.68336) Full Text: DOI
Gao, Yang; Toni, Francesca; Craven, Robert Argumentation-based reinforcement learning for RoboCup soccer Keepaway. (English) Zbl 1327.68191 De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 342-347 (2012). MSC: 68T05 68T40 PDF BibTeX XML Cite \textit{Y. Gao} et al., Front. Artif. Intell. Appl. 242, 342--347 (2012; Zbl 1327.68191) Full Text: Link
Artikis, Alexander (ed.); Craven, Robert (ed.); Kesim Çiçekli, Nihan (ed.); Sadighi, Babak (ed.); Stathis, Kostas (ed.) Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. (English) Zbl 1241.68007 Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). xx, 425 p. (2012). MSC: 68-06 68N17 68T27 00B30 PDF BibTeX XML Cite \textit{A. Artikis} (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (2012; Zbl 1241.68007) Full Text: DOI
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
Craven, Robert P. M.; Preece, William K.; Smith, James E. Evaluation of three spherical characterization algorithms. (English) Zbl 0803.68119 Math. Model. Sci. Comput. 2(Sect.A), 523-528 (1993). MSC: 68T10 68U10 PDF BibTeX XML Cite \textit{R. P. M. Craven} et al., Math. Model. Sci. Comput. 2(Sect.A), 523--528 (1993; Zbl 0803.68119)