Shakarian, Paulo; Simari, Gerardo I.; Moores, Geoffrey; Paulo, Damon; Parsons, Simon; Falappa, Marcelo A.; Aleali, Ashkan Belief revision in structured probabilistic argumentation, model and application to cyber security. (English) Zbl 1405.68367 Ann. Math. Artif. Intell. 78, No. 3-4, 259-301 (2016). MSC: 68T27 68N17 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{P. Shakarian} et al., Ann. Math. Artif. Intell. 78, No. 3--4, 259--301 (2016; Zbl 1405.68367) Full Text: DOI
Simari, Gerardo I.; Shakarian, Paulo; Falappa, Marcelo A. A quantitative approach to belief revision in structured probabilistic argumentation. (English) Zbl 1356.68224 Ann. Math. Artif. Intell. 76, No. 3-4, 375-408 (2016). MSC: 68T27 68N17 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{G. I. Simari} et al., Ann. Math. Artif. Intell. 76, No. 3--4, 375--408 (2016; Zbl 1356.68224) Full Text: DOI
Shakarian, Paulo; Simari, Gerardo I.; Subrahmanian, V. S. Annotated probabilistic temporal logic: approximate fixpoint implementation. (English) Zbl 1351.68055 ACM Trans. Comput. Log. 13, No. 2, Article No. 13, 33 p. (2012). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{P. Shakarian} et al., ACM Trans. Comput. Log. 13, No. 2, Article No. 13, 33 p. (2012; Zbl 1351.68055) Full Text: DOI
Shakarian, Paulo; Parker, Austin; Simari, Gerardo; Subrahmanian, Venkatramana V. S. Annotated probabilistic temporal logic. (English) Zbl 1352.03043 ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011). MSC: 03B70 03B44 03B48 68N17 PDFBibTeX XMLCite \textit{P. Shakarian} et al., ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011; Zbl 1352.03043) Full Text: DOI