Pavlos Peppas

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 24

Top Topics

Compact Representations

Axiomatic Characterization

Possibilistic Logic

Top Venues

Ann. Math. Artif. Intell.

Publications

Pavlos Peppas, Mary-Anne Williams, Grigoris Antoniou
Revision operators with compact representations. Artif. Intell. 329 (2024)
Theofanis I. Aravanis, Pavlos Peppas
Theory-relational belief revision. Ann. Math. Artif. Intell. 90 (6) (2022)
Matthew James Lynn, James P. Delgrande, Pavlos Peppas
Using Conditional Independence for Belief Revision. AAAI (2022)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
An investigation of parametrized difference revision operators. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
A study of possible-worlds semantics of relevance-sensitive belief revision. J. Log. Comput. 30 (5) (2020)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Modelling Belief-Revision Functions at Extended Languages. ECAI (2020)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision. J. Artif. Intell. Res. 69 (2020)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision. IJCAI (2019)
Sammy Pfeiffer, Daniel Ebrahimian, Sarita Herse, Tran Nhut Le, Suwen Leong, Bethany Lu, Katie Powell, Syed Ali Raza, 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. RoboCup (2019)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision. J. Artif. Intell. Res. 66 (2019)
Theofanis I. Aravanis, Konstantinos Demiris, Pavlos Peppas
Legal Reasoning in Answer Set Programming. ICTAI (2018)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Iterated Belief Revision and Dalal's Operator. SETN (2018)
Peter Gärdenfors, Mary-Anne Williams, Benjamin Johnston, Richard Billingsley, Jonathan Vitale, Pavlos Peppas, Jesse Clark
Event Boards as Tools for Holistic AI. AIC (2018)
James P. Delgrande, Pavlos Peppas, Stefan Woltran
General Belief Revision. J. ACM 65 (5) (2018)
James P. Delgrande, Pavlos Peppas
Incorporating Relevance in Epistemic States in Belief Revision. KR (2018)
Pavlos Peppas, Mary-Anne Williams
Parametrised Difference Revision. KR (2018)
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. CoRR (2017)
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
Epistemic-entrenchment Characterization of Parikh's Axiom. IJCAI (2017)
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). IJCAI (2017)
Theofanis I. Aravanis, Pavlos Peppas
Belief Revision in Answer Set Programming. PCI (2017)
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. SUM (2017)
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. Ann. Math. Artif. Intell. 78 (3-4) (2016)
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. Artif. Intell. 233 (2016)
Pavlos Peppas, Mary-Anne Williams
Kinetic Consistency and Relevance in Belief Revision. JELIA (2016)
James P. Delgrande, Pavlos Peppas
Belief revision in Horn theories. Artif. Intell. 218 (2015)
Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo
Relevance in belief revision. Artif. Intell. 229 (2015)
Nikos I. Karacapilidis, Pavlos Peppas
On the Formal Assessment of Argumentation Support Systems. IDT/IIMSS/STET (2014)
Pavlos Peppas, Mary-Anne Williams
Belief Change and Semiorders. KR (2014)
Pavlos Peppas, Mary-Anne Williams
Constructive Models for Contraction with Intransitive Plausibility Indifference. JELIA (2014)
James P. Delgrande, Pavlos Peppas, Stefan Woltran
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. LPNMR (2013)
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
Maps in Multiple Belief Change. ACM Trans. Comput. Log. 13 (4) (2012)
Pavlos Peppas
Comparative Possibility in Set Contraction. J. Philos. Log. 41 (1) (2012)
James P. Delgrande, Pavlos Peppas
Revising Horn Theories. IJCAI (2011)
Vasilis Giannopoulos, Pavlos Peppas
Associations between Constructive Models for Set Contraction. SETN (2010)
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
' Belief. Log. J. IGPL 16 (6) (2008)
Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki
Conflicts between Relevance-Sensitive and Iterated Belief Revision. ECAI (2008)
Pavlos Peppas, Samir Chopra, Norman Y. Foo
Distance Semantics for Relevance-Sensitive Belief Revision. Formal Models of Belief Change in Rational Agents (2007)
Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher
Preface. J. Log. Comput. 17 (5) (2007)
Gerhard Brewka, Pavlos Peppas
Preface. Stud Logica 79 (1) (2005)
Dimitris Stavrinoudis, Michalis Nik Xenos, Pavlos Peppas, Dimitris Christodoulakis
Early Estimation of Users' Perception of Software Quality. Softw. Qual. J. 13 (2) (2005)
Pavlos Peppas, Samir Chopra, Norman Y. Foo
Distance Semantics for Relevance-Sensitive Belief Revision. KR (2004)
Norman Y. Foo, Pavlos Peppas
Systems Theory: Melding the AI and Simulation Perspectives. AIS (2004)
Norman Y. Foo, Pavlos Peppas, Yan Zhang
Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence (2004)
Pavlos Peppas
The Limit Assumption and Multiple Revision. J. Log. Comput. 14 (3) (2004)
Norman Y. Foo, Pavlos Peppas
System Properties of Action Theories. AIS (2004)
Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas
Dynamic belief revision operators. Artif. Intell. 146 (2) (2003)
G. Tselekidis, Pavlos Peppas, Mary-Anne Williams
Belief revision and organisational knowledge dynamics. J. Oper. Res. Soc. 54 (9) (2003)
Costas D. Koutras, Pavlos Peppas
Weaker Axioms, More Ranges. Fundam. Informaticae 51 (3) (2002)
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
Canonicity and Completeness Results for Many-Valued Modal Logics. J. Appl. Non Class. Logics 12 (1) (2002)
Maurice Pagnucco, Pavlos Peppas
Causality and Minimal Change Demystified. IJCAI (2001)
Norman Y. Foo, Pavlos Peppas
Realization for Causal Nondeterministic Input-Output Systems. Stud Logica 67 (3) (2001)
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
Prolegomena to Concise Theories of Action. Stud Logica 67 (3) (2001)
Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak
Measuring similarity in belief revision. J. Log. Comput. 10 (4) (2000)
Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak
A Unifying Semantics for Causal Ramifications. PRICAI (2000)
Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak
Causal Propagation Semantics - A Study. Australian Joint Conference on Artificial Intelligence (1999)
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak
Preferential Semantics for Causal Systems. IJCAI (1999)
Norman Y. Foo, Pavlos Peppas, Yan Zhang
Inductive Properties of States. Australian Joint Conference on Artificial Intelligence (1997)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) (1997)
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo
Preferential Semantics for Causal Fixpoints. Australian Joint Conference on Artificial Intelligence (1997)
Mikhail Prokopenko, Pavlos Peppas
Modelling intertia in action languages. PRICAI Workshops (1996)
Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko
Revision vs. Update: Taking a Closer Look. ECAI (1996)
Didar Zowghi, Aditya Ghose, Pavlos Peppas
A Framework for Reasoning about Requirements Evolution. PRICAI (1996)
Pavlos Peppas
Well Behaved and Multiple Belief Revision. ECAI (1996)
Pavlos Peppas
PMA Epistemic Entrenchments: The General Case. ECAI (1996)
Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas
Learning From Conditionals: Judy Benjamin's Other Problems. ECAI (1996)
Pavlos Peppas, Mary-Anne Williams
Constructive Modelings for Theory Change. Notre Dame J. Formal Log. 36 (1) (1995)
Pavlos Peppas, Wayne Wobcke
On the Use of Epistemic Entrenchment in Reasoning about Action. ECAI (1992)