Aravanis, Theofanis; Peppas, Pavlos Theory-relational belief revision. (English) Zbl 1508.03051 Ann. Math. Artif. Intell. 90, No. 6, 573-594 (2022). Reviewer: Eduardo Fermé (Funchal) MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{T. Aravanis} and \textit{P. Peppas}, Ann. Math. Artif. Intell. 90, No. 6, 573--594 (2022; Zbl 1508.03051) Full Text: DOI
Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne An investigation of parametrized difference revision operators. (English) Zbl 1511.68262 Ann. Math. Artif. Intell. 89, No. 1-2, 7-28 (2021). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{T. Aravanis} et al., Ann. Math. Artif. Intell. 89, No. 1--2, 7--28 (2021; Zbl 1511.68262) Full Text: DOI
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne Incompatibilities between iterated and relevance-sensitive belief revision. (English) Zbl 1490.68208 J. Artif. Intell. Res. (JAIR) 69, 85-108 (2020). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{T. I. Aravanis} et al., J. Artif. Intell. Res. (JAIR) 69, 85--108 (2020; Zbl 1490.68208) Full Text: DOI
Reis, Maurício D. L.; Peppas, Pavlos; Fermé, Eduardo Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions. (English) Zbl 1397.03021 Ann. Math. Artif. Intell. 78, No. 3-4, 181-203 (2016). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{M. D. L. Reis} et al., Ann. Math. Artif. Intell. 78, No. 3--4, 181--203 (2016; Zbl 1397.03021) Full Text: DOI Link
Peppas, Pavlos; Williams, Mary-Anne Kinetic consistency and relevance in belief revision. (English) Zbl 1483.03012 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 401-414 (2016). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{P. Peppas} and \textit{M.-A. Williams}, Lect. Notes Comput. Sci. 10021, 401--414 (2016; Zbl 1483.03012) Full Text: DOI
Reis, Maurício D. L.; Fermé, Eduardo; Peppas, Pavlos Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result. (English) Zbl 1352.03025 Artif. Intell. 233, 122-141 (2016). MSC: 03B42 PDFBibTeX XMLCite \textit{M. D. L. Reis} et al., Artif. Intell. 233, 122--141 (2016; Zbl 1352.03025) Full Text: DOI
Delgrande, James P.; Peppas, Pavlos Belief revision in Horn theories. (English) Zbl 1322.68192 Artif. Intell. 218, 1-22 (2015). Reviewer: David Makinson (London) MSC: 68T30 03B42 68T27 PDFBibTeX XMLCite \textit{J. P. Delgrande} and \textit{P. Peppas}, Artif. Intell. 218, 1--22 (2015; Zbl 1322.68192) Full Text: DOI
Peppas, Pavlos A panorama of iterated revision. (English) Zbl 1311.03033 Hansson, Sven Ove (ed.), David Makinson on classical methods for non-classical problems. Dordrecht: Springer (ISBN 978-94-007-7758-3/hbk; 978-94-007-7759-0/ebook). Outstanding Contributions to Logic 3, 71-94 (2014). MSC: 03B42 03A05 PDFBibTeX XMLCite \textit{P. Peppas}, Outst. Contrib. Log. 3, 71--94 (2014; Zbl 1311.03033) Full Text: DOI
Peppas, Pavlos Comparative possibility in set contraction. (English) Zbl 1243.03021 J. Philos. Log. 41, No. 1, 53-75 (2012). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{P. Peppas}, J. Philos. Log. 41, No. 1, 53--75 (2012; Zbl 1243.03021) Full Text: DOI
Nayak, Abhaya C.; Pagnucco, Maurice; Peppas, Pavlos Dynamic belief revision operators. (English) Zbl 1082.03503 Artif. Intell. 146, No. 2, 193-228 (2003). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{A. C. Nayak} et al., Artif. Intell. 146, No. 2, 193--228 (2003; Zbl 1082.03503) Full Text: DOI
Peppas, Pavlos; Williams, Mary-Anne Constructive modelings for theory change. (English) Zbl 0844.03017 Notre Dame J. Formal Logic 36, No. 1, 120-133 (1995). Reviewer: S.O.Hansson (Uppsala) MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{P. Peppas} and \textit{M.-A. Williams}, Notre Dame J. Formal Logic 36, No. 1, 120--133 (1995; Zbl 0844.03017) Full Text: DOI