Auto-Relational Reasoning.

Pavlos Peppas https://orcid.org/0000-0002-0008-5505

Ioannis Konstantoulas Dimosthenis Tsimas Pavlos Peppas Kyriakos N. Sgarbas Auto-Relational Reasoning. 2026 April abs/2604.26507 CoRR https://doi.org/10.48550/arXiv.2604.26507 db/journals/corr/corr2604.html#abs-2604-26507 streams/journals/corr

Maria Andrikopoulou Theofanis Aravanis James P. Delgrande Panagis Karazeris Pavlos Peppas Filters-based revision. 633-659 2025 October 93 Ann. Math. Artif. Intell. 5 https://doi.org/10.1007/s10472-024-09963-5 db/journals/amai/amai93.html#AndrikopoulouADKP25 streams/journals/amai

Pavlos Peppas Mary-Anne Williams Grigoris Antoniou Revision operators with compact representations. 104080 2024 329 Artif. Intell. https://doi.org/10.1016/j.artint.2024.104080 db/journals/ai/ai329.html#PeppasWA24

Theofanis I. Aravanis Pavlos Peppas Theory-relational belief revision. 573-594 2022 90 Ann. Math. Artif. Intell. 6 https://doi.org/10.1007/s10472-022-09794-2 db/journals/amai/amai90.html#AravanisP22

Matthew James Lynn James P. Delgrande Pavlos Peppas Using Conditional Independence for Belief Revision. 5809-5816 2022 AAAI https://doi.org/10.1609/aaai.v36i5.20524 conf/aaai/2022 db/conf/aaai/aaai2022.html#LynnDP22

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams An investigation of parametrized difference revision operators. 7-28 2021 89 Ann. Math. Artif. Intell. 1-2 https://doi.org/10.1007/s10472-019-09625-x db/journals/amai/amai89.html#AravanisPW21

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision. 85-108 2020 69 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.11871 db/journals/jair/jair69.html#AravanisPW20

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams A study of possible-worlds semantics of relevance-sensitive belief revision. 1125-1142 2020 30 J. Log. Comput. 5 https://doi.org/10.1093/logcom/exaa029 db/journals/logcom/logcom30.html#AravanisPW20

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Modelling Belief-Revision Functions at Extended Languages. 601-607 2020 ECAI https://doi.org/10.3233/FAIA200144 conf/ecai/2020 db/conf/ecai/ecai2020.html#AravanisPW20

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision. 765-792 2019 66 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.11838 https://www.wikidata.org/entity/Q114006250 db/journals/jair/jair66.html#AravanisPW19

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Observations on Darwiche and Pearl's Approach for Iterated Belief Revision. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/209 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#AravanisPW19 1509-1515 Sammy Pfeiffer Daniel Ebrahimian Sarita Herse Tran Nhut Le Suwen Leong Bethany Lu Katie Powell 0002 Syed Ali Raza 0002 Tian Sang Ishan Sawant Meg Tonkin Christine Vinaviles The Duc Vu Qijun Yang Richard Billingsley Jesse Clark Benjamin Johnston Srinivas Madhisetty Neil McLaren Pavlos Peppas Jonathan Vitale Mary-Anne Williams UTS Unleashed! RoboCup@Home SSPL Champions 2019. 603-615 2019 RoboCup https://doi.org/10.1007/978-3-030-35699-6_49 conf/robocup/2019 db/conf/robocup/robocup2019.html#PfeifferEHLLLP019

James P. Delgrande Pavlos Peppas Stefan Woltran General Belief Revision. 29:1-29:34 2018 65 J. ACM 5 https://doi.org/10.1145/3203409 https://www.wikidata.org/entity/Q129273516 db/journals/jacm/jacm65.html#DelgrandePW18

Peter Gärdenfors Mary-Anne Williams Benjamin Johnston Richard Billingsley Jonathan Vitale Pavlos Peppas Jesse Clark Event Boards as Tools for Holistic AI. 1-10 2018 AIC https://ceur-ws.org/Vol-2418/paper1.pdf conf/aic/2018 db/conf/aic/aic2018.html#GardenforsWJBVP18 Theofanis I. Aravanis Konstantinos Demiris Pavlos Peppas Legal Reasoning in Answer Set Programming. 302-306 2018 ICTAI https://doi.org/10.1109/ICTAI.2018.00055 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00055 conf/ictai/2018 db/conf/ictai/ictai2018.html#AravanisDP18 James P. Delgrande Pavlos Peppas Incorporating Relevance in Epistemic States in Belief Revision. 230-239 2018 KR https://aaai.org/papers/27-18033-incorporating-relevance-in-epistemic-states-in-belief-revision/ conf/kr/2018 db/conf/kr/kr2018.html#DelgrandeP18 Pavlos Peppas Mary-Anne Williams Parametrised Difference Revision. 277-286 2018 KR https://aaai.org/papers/32-18073-parametrised-difference-revision/ conf/kr/2018 db/conf/kr/kr2018.html#PeppasW18 Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Iterated Belief Revision and Dalal's Operator. 26:1-26:4 2018 SETN https://doi.org/10.1145/3200947.3201038 conf/setn/2018 db/conf/setn/setn2018.html#AravanisPW18 Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams Epistemic-entrenchment Characterization of Parikh's Axiom. 772-778 2017 IJCAI https://doi.org/10.24963/ijcai.2017/107 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#AravanisPW17 Maurício D. Luís Reis Eduardo Fermé Pavlos Peppas Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract). 5045-5049 2017 IJCAI https://doi.org/10.24963/ijcai.2017/719 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#ReisFP17 Theofanis I. Aravanis Pavlos Peppas Belief Revision in Answer Set Programming. 2:1-2:5 2017 PCI https://doi.org/10.1145/3139367.3139387 conf/pci/2017 db/conf/pci/pci2017.html#AravanisP17 Richard Billingsley John Billingsley Peter Gärdenfors Pavlos Peppas Henri Prade David B. Skillicorn Mary-Anne Williams The Altruistic Robot: Do What I Want, Not Just What I Say. 149-162 2017 SUM https://doi.org/10.1007/978-3-319-67582-4_11 conf/sum/2017 db/conf/sum/sum2017.html#BillingsleyBGPP17

Mikhail Prokopenko Michael Harré Joseph T. Lizier Fabio Boschetti Pavlos Peppas Stuart A. Kauffman Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos. 2017 abs/1711.02456 CoRR http://arxiv.org/abs/1711.02456 db/journals/corr/corr1711.html#abs-1711-02456

Maurício D. Luís Reis Eduardo Fermé Pavlos Peppas Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. 122-141 2016 233 Artif. Intell. https://doi.org/10.1016/j.artint.2016.01.001 https://www.wikidata.org/entity/Q62045338 db/journals/ai/ai233.html#ReisFP16

Maurício D. Luís Reis Pavlos Peppas Eduardo Fermé Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions. 181-203 2016 78 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-015-9454-x https://www.wikidata.org/entity/Q62045340 db/journals/amai/amai78.html#ReisPF16

Pavlos Peppas Mary-Anne Williams Kinetic Consistency and Relevance in Belief Revision. 401-414 2016 JELIA https://doi.org/10.1007/978-3-319-48758-8_26 conf/jelia/2016 db/conf/jelia/jelia2016.html#PeppasW16

James P. Delgrande Pavlos Peppas Belief revision in Horn theories. 1-22 2015 218 Artif. Intell. https://doi.org/10.1016/j.artint.2014.08.006 db/journals/ai/ai218.html#DelgrandeP15

Pavlos Peppas Mary-Anne Williams Samir Chopra Norman Y. Foo Relevance in belief revision. 126-138 2015 229 Artif. Intell. https://doi.org/10.1016/j.artint.2015.08.007 db/journals/ai/ai229.html#PeppasWCF15

Nikos I. Karacapilidis Pavlos Peppas On the Formal Assessment of Argumentation Support Systems. 182-189 2014 IDT/IIMSS/STET https://doi.org/10.3233/978-1-61499-405-3-182 conf/iimss/2014 db/conf/iimss/iimss2014.html#KaracapilidisP14 Pavlos Peppas Mary-Anne Williams Constructive Models for Contraction with Intransitive Plausibility Indifference. 355-367 2014 JELIA https://doi.org/10.1007/978-3-319-11558-0_25 conf/jelia/2014 db/conf/jelia/jelia2014.html#PeppasW14 Pavlos Peppas Mary-Anne Williams Belief Change and Semiorders. 2014 KR https://aaai.org/papers/0160-8026-belief-change-and-semiorders/ conf/kr/2014 db/conf/kr/kr2014.html#PeppasW14 James P. Delgrande Pavlos Peppas Stefan Woltran AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. 264-276 2013 LPNMR https://doi.org/10.1007/978-3-642-40564-8_27 conf/lpnmr/2013 db/conf/lpnmr/lpnmr2013.html#DelgrandePW13

Pavlos Peppas Comparative Possibility in Set Contraction. 53-75 2012 41 J. Philos. Log. 1 https://doi.org/10.1007/s10992-011-9199-x db/journals/jphil/jphil41.html#Peppas12

Pavlos Peppas Costas D. Koutras Mary-Anne Williams Maps in Multiple Belief Change. 30:1-30:23 2012 13 ACM Trans. Comput. Log. 4 https://doi.org/10.1145/2362355.2362358 db/journals/tocl/tocl13.html#PeppasKW12

James P. Delgrande Pavlos Peppas Revising Horn Theories. 839-844 2011 IJCAI https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-146 conf/ijcai/2011 db/conf/ijcai/ijcai2011.html#DelgrandeP11 Vasilis Giannopoulos Pavlos Peppas Associations between Constructive Models for Set Contraction. 113-121 2010 SETN https://doi.org/10.1007/978-3-642-12842-4_15 conf/setn/2010 db/conf/setn/setn2010.html#GiannopoulosP10

Costas D. Koutras Christos Nomikos Pavlos Peppas On a Simple 3-valued Modal Language and a 3-valued Logic of '<i>not-fully-justified</i>' Belief. 591-604 2008 16 Log. J. IGPL 6 https://doi.org/10.1093/jigpal/jzn024 db/journals/igpl/igpl16.html#KoutrasNP08

Pavlos Peppas Anastasios Michael Fotinopoulos Stella Seremetaki Conflicts between Relevance-Sensitive and Iterated Belief Revision. 85-88 2008 ECAI https://doi.org/10.3233/978-1-58603-891-5-85 conf/ecai/2008 db/conf/ecai/ecai2008.html#PeppasFS08 Pavlos Peppas Belief Revision. 317-359 2008 Handbook of Knowledge Representation https://doi.org/10.1016/S1574-6526(07)03008-8 reference/fai/3 db/reference/fai/fai3.html#Peppas08

Sheila A. McIlraith Pavlos Peppas Michael Thielscher Preface. 847-849 2007 17 J. Log. Comput. 5 https://doi.org/10.1093/logcom/exm044 db/journals/logcom/logcom17.html#McIlraithPT07

Pavlos Peppas Samir Chopra Norman Y. Foo Distance Semantics for Relevance-Sensitive Belief Revision. 2007 Formal Models of Belief Change in Rational Agents http://drops.dagstuhl.de/opus/volltexte/2007/1215 conf/dagstuhl/2007P7351 db/conf/dagstuhl/P7351.html#PeppasCF07 Loris Penserini Pavlos Peppas Anna Perini STAIRS 2006 - Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006 142 Frontiers in Artificial Intelligence and Applications 2006 978-1-58603-645-4 IOS Press STAIRS db/conf/stairs/stairs2006.html

Gerhard Brewka Pavlos Peppas Preface. 3-5 2005 79 Stud Logica 1 https://doi.org/10.1007/s11225-005-0491-z db/journals/sLogica/sLogica79.html#BrewkaP05

Dimitris Stavrinoudis Michalis Nik Xenos Pavlos Peppas Dimitris Christodoulakis Early Estimation of Users' Perception of Software Quality. 155-175 2005 13 Softw. Qual. J. 2 https://doi.org/10.1007/s11219-005-6215-9 https://www.wikidata.org/entity/Q122690375 db/journals/sqj/sqj13.html#StavrinoudisXPC05

Pavlos Peppas The Limit Assumption and Multiple Revision. 355-371 2004 14 J. Log. Comput. 3 https://doi.org/10.1093/logcom/14.3.355 db/journals/logcom/logcom14.html#Peppas04

Norman Y. Foo Pavlos Peppas Systems Theory: Melding the AI and Simulation Perspectives. 14-23 https://doi.org/10.1007/978-3-540-30583-5_2 2004 conf/ais/2004 AIS db/conf/ais/ais2004.html#FooP04 Norman Y. Foo Pavlos Peppas System Properties of Action Theories. 416-427 https://doi.org/10.1007/978-3-540-30583-5_45 2004 conf/ais/2004 AIS db/conf/ais/ais2004.html#FooP04a Norman Y. Foo Pavlos Peppas Yan Zhang 0003 Constraints from STRIPS - Preliminary Report. 670-680 https://doi.org/10.1007/978-3-540-30549-1_58 2004 conf/ausai/2004 Australian Conference on Artificial Intelligence db/conf/ausai/ausai2004.html#FooPZ04 Pavlos Peppas Samir Chopra Norman Y. Foo Distance Semantics for Relevance-Sensitive Belief Revision. 319-328 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#PeppasCF04 https://aaai.org/papers/KR04-034-distance-semantics-for-relevance-sensitive-belief-revision/

Abhaya C. Nayak Maurice Pagnucco Pavlos Peppas Dynamic belief revision operators. 193-228 2003 146 Artif. Intell. 2 https://doi.org/10.1016/S0004-3702(03)00017-1 db/journals/ai/ai146.html#NayakPP03

G. Tselekidis Pavlos Peppas Mary-Anne Williams Belief revision and organisational knowledge dynamics. 914-923 2003 54 J. Oper. Res. Soc. 9 https://doi.org/10.1057/palgrave.jors.2601592 db/journals/jors/jors54.html#TselekidisPW03

Costas D. Koutras Pavlos Peppas Weaker Axioms, More Ranges. 297-310 2002 51 Fundam. Informaticae 3 db/journals/fuin/fuin51.html#KoutrasP02 http://content.iospress.com/articles/fundamenta-informaticae/fi51-3-03

Costas D. Koutras Christos Nomikos Pavlos Peppas Canonicity and Completeness Results for Many-Valued Modal Logics. 7-42 2002 12 J. Appl. Non Class. Logics 1 db/journals/jancl/jancl12.html#KoutrasNP02 https://doi.org/10.3166/jancl.12.7-41

Pavlos Peppas Costas D. Koutras Mary-Anne Williams Prolegomena to Concise Theories of Action. 403-418 2001 67 Stud Logica 3 db/journals/sLogica/sLogica67.html#PeppasKW01 https://doi.org/10.1023/A:1010516501232

Norman Y. Foo Pavlos Peppas Realization for Causal Nondeterministic Input-Output Systems. 419-437 2001 67 Stud Logica 3 db/journals/sLogica/sLogica67.html#FooP01 https://doi.org/10.1023/A:1010524802140

Maurice Pagnucco Pavlos Peppas Causality and Minimal Change Demystified. 125-130 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#PagnuccoP01

Pavlos Peppas Norman Y. Foo Abhaya C. Nayak Measuring similarity in belief revision. 603-619 2000 10 J. Log. Comput. 4 db/journals/logcom/logcom10.html#PeppasFN00 https://doi.org/10.1093/logcom/10.4.603

Mikhail Prokopenko Maurice Pagnucco Pavlos Peppas Abhaya C. Nayak A Unifying Semantics for Causal Ramifications. 38-49 2000 conf/pricai/2000 PRICAI db/conf/pricai/pricai2000.html#ProkopenkoPPN00 https://doi.org/10.1007/3-540-44533-1_8 Mikhail Prokopenko Maurice Pagnucco Pavlos Peppas Abhaya C. Nayak Causal Propagation Semantics - A Study. 378-392 1999 conf/ausai/1999 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1999.html#ProkopenkoPPN99 https://doi.org/10.1007/3-540-46695-9_32 Pavlos Peppas Maurice Pagnucco Mikhail Prokopenko Norman Y. Foo Abhaya C. Nayak Preferential Semantics for Causal Systems. 118-123 1999 conf/ijcai/99 IJCAI db/conf/ijcai/ijcai99.html#PeppasPPFN99 http://ijcai.org/Proceedings/99-1/Papers/018.pdf Pavlos Peppas Maurice Pagnucco Mikhail Prokopenko Norman Y. Foo Preferential Semantics for Causal Fixpoints. 197-206 1997 conf/ausai/1997 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1997.html#PeppasPPF97 https://doi.org/10.1007/3-540-63797-4_72 Norman Y. Foo Pavlos Peppas Yan Zhang 0003 Inductive Properties of States. 227-235 1997 conf/ausai/1997 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1997.html#FooPZ97 https://doi.org/10.1007/3-540-63797-4_75 Norman Y. Foo Abhaya C. Nayak Maurice Pagnucco Pavlos Peppas Yan Zhang 0003 Action Localness, Genericity and Invariants in STRIPS. 549-554 1997 conf/ijcai/1997 IJCAI (1) db/conf/ijcai/ijcai97.html#FooNPPZ97 Abhaya C. Nayak Maurice Pagnucco Norman Y. Foo Pavlos Peppas Learning From Conditionals: Judy Benjamin's Other Problems. 75-79 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#NayakPFP96 Pavlos Peppas PMA Epistemic Entrenchments: The General Case. 85-89 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#Peppas96 Pavlos Peppas Well Behaved and Multiple Belief Revision. 90-94 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#Peppas96a Pavlos Peppas Abhaya C. Nayak Maurice Pagnucco Norman Y. Foo Rex Bing Hung Kwok Mikhail Prokopenko Revision vs. Update: Taking a Closer Look. 95-99 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#PeppasNPFKP96 Didar Zowghi Aditya Ghose Pavlos Peppas A Framework for Reasoning about Requirements Evolution. 157-168 1996 conf/pricai/1996 PRICAI db/conf/pricai/pricai96.html#ZowghiGP96 https://doi.org/10.1007/3-540-61532-6_14 Mikhail Prokopenko Pavlos Peppas Modelling intertia in action languages. 234-247 1996 conf/pricai/1996w PRICAI Workshops db/conf/pricai/pricai1996w.html#ProkopenkoP96 https://doi.org/10.1007/3-540-64413-X_39

Pavlos Peppas Mary-Anne Williams Constructive Modelings for Theory Change. 120-133 1995 36 Notre Dame J. Formal Log. 1 db/journals/ndjfl/ndjfl36.html#PeppasW95 https://doi.org/10.1305/ndjfl/1040308831

Pavlos Peppas Wayne Wobcke On the Use of Epistemic Entrenchment in Reasoning about Action. 403-407 1992 conf/ecai/1992 ECAI db/conf/ecai/ecai92.html#PeppasW92 Maria Andrikopoulou Grigoris Antoniou Theofanis AravanisTheofanis I. Aravanis John Billingsley Richard Billingsley Fabio Boschetti Gerhard Brewka Samir Chopra Dimitris Christodoulakis Jesse Clark James P. Delgrande Konstantinos Demiris Daniel Ebrahimian Eduardo L. FerméEduardo Fermé Norman Y. Foo Anastasios Michael Fotinopoulos Peter Gärdenfors Aditya Ghose Vasilis Giannopoulos Michael Harré Sarita Herse Benjamin Johnston Nikos I. Karacapilidis Panagis Karazeris Stuart A. Kauffman Ioannis Konstantoulas Costas D. Koutras Rex Bing Hung Kwok Tran Nhut Le Suwen Leong Joseph T. Lizier Bethany Lu Matthew James Lynn Srinivas Madhisetty Sheila A. McIlraith Neil McLaren Abhaya C. Nayak Christos Nomikos Maurice Pagnucco Loris Penserini Anna Perini Sammy Pfeiffer Katie Powell 0002 Henri Prade Mikhail Prokopenko Syed Ali Raza 0002 Maurício D. Luís Reis Tian Sang Ishan Sawant Stella Seremetaki Kyriakos N. Sgarbas David B. Skillicorn Dimitris Stavrinoudis Michael Thielscher Meg Tonkin G. Tselekidis Dimosthenis Tsimas Christine Vinaviles Jonathan Vitale The Duc Vu Mary-Anne Williams Wayne Wobcke Stefan Woltran Michalis Nik Xenos Qijun Yang Yan Zhang 0003 Didar Zowghi