Pavlos Peppas

70 papers A* 11A 7B 6C 1Journal 28Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Filters-based revision.
Ann. Math. Artif. Intell.
Maria Andrikopoulou, Theofanis Aravanis, James P. Delgrande, Panagis Karazeris, Pavlos Peppas
2024 J jnl
Revision operators with compact representations.
Artif. Intell.
Pavlos Peppas, Mary-Anne Williams, Grigoris Antoniou
2022 J jnl
Theory-relational belief revision.
Ann. Math. Artif. Intell.
Theofanis I. Aravanis, Pavlos Peppas
2022 A* conf
Using Conditional Independence for Belief Revision.
AAAI
Matthew James Lynn, James P. Delgrande, Pavlos Peppas
2021 J jnl
An investigation of parametrized difference revision operators.
Ann. Math. Artif. Intell.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 J jnl
A study of possible-worlds semantics of relevance-sensitive belief revision.
J. Log. Comput.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 J jnl
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.
J. Artif. Intell. Res.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 A conf
Modelling Belief-Revision Functions at Extended Languages.
ECAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2019 J jnl
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.
J. Artif. Intell. Res.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2019 A* conf
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.
IJCAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2019 C conf
UTS Unleashed! RoboCup@Home SSPL Champions 2019.
RoboCup
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
2018 — conf
Event Boards as Tools for Holistic AI.
AIC
Peter Gärdenfors, Mary-Anne Williams, Benjamin Johnston, Richard Billingsley, Jonathan Vitale, Pavlos Peppas, Jesse Clark
2018 J jnl
General Belief Revision.
J. ACM
James P. Delgrande, Pavlos Peppas, Stefan Woltran
2018 A* conf
Incorporating Relevance in Epistemic States in Belief Revision.
KR
James P. Delgrande, Pavlos Peppas
2018 — conf
Iterated Belief Revision and Dalal's Operator.
SETN
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2018 B conf
Legal Reasoning in Answer Set Programming.
ICTAI
Theofanis I. Aravanis, Konstantinos Demiris, Pavlos Peppas
2018 A* conf
Parametrised Difference Revision.
KR
Pavlos Peppas, Mary-Anne Williams
2017 — conf
Belief Revision in Answer Set Programming.
PCI
Theofanis I. Aravanis, Pavlos Peppas
2017 A* conf
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract).
IJCAI
Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas
2017 A* conf
Epistemic-entrenchment Characterization of Parikh's Axiom.
IJCAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2017 J jnl
Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos.
CoRR
Mikhail Prokopenko, Michael Harré, Joseph T. Lizier, Fabio Boschetti, Pavlos Peppas, Stuart A. Kauffman
2017 — conf
The Altruistic Robot: Do What I Want, Not Just What I Say.
SUM
Richard Billingsley, John Billingsley, Peter Gärdenfors, Pavlos Peppas, Henri Prade, David B. Skillicorn, Mary-Anne Williams
2016 J jnl
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result.
Artif. Intell.
Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas
2016 B conf
Kinetic Consistency and Relevance in Belief Revision.
JELIA
Pavlos Peppas, Mary-Anne Williams
2016 J jnl
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions.
Ann. Math. Artif. Intell.
Maurício D. Luís Reis, Pavlos Peppas, Eduardo Fermé
2015 J jnl
Belief revision in Horn theories.
Artif. Intell.
James P. Delgrande, Pavlos Peppas
2015 J jnl
Relevance in belief revision.
Artif. Intell.
Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo
2014 A* conf
Belief Change and Semiorders.
KR
Pavlos Peppas, Mary-Anne Williams
2014 B conf
Constructive Models for Contraction with Intransitive Plausibility Indifference.
JELIA
Pavlos Peppas, Mary-Anne Williams
2014 — conf
On the Formal Assessment of Argumentation Support Systems.
IDT/IIMSS/STET
Nikos I. Karacapilidis, Pavlos Peppas
2013 B conf
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.
LPNMR
James P. Delgrande, Pavlos Peppas, Stefan Woltran
2012 J jnl
Comparative Possibility in Set Contraction.
J. Philos. Log.
Pavlos Peppas
2012 J jnl
Maps in Multiple Belief Change.
ACM Trans. Comput. Log.
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
2011 A* conf
Revising Horn Theories.
IJCAI
James P. Delgrande, Pavlos Peppas
2010 — conf
Associations between Constructive Models for Set Contraction.
SETN
Vasilis Giannopoulos, Pavlos Peppas
2008 — ch.
Belief Revision.
Handbook of Knowledge Representation
Pavlos Peppas
2008 A conf
Conflicts between Relevance-Sensitive and Iterated Belief Revision.
ECAI
Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki
2008 J jnl
On a Simple 3-valued Modal Language and a 3-valued Logic of '
Log. J. IGPL
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2007 — conf
Distance Semantics for Relevance-Sensitive Belief Revision.
Formal Models of Belief Change in Rational Agents
Pavlos Peppas, Samir Chopra, Norman Y. Foo
2007 J jnl
Preface.
J. Log. Comput.
Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher
2006 — ed.
STAIRS 2006 - Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006
STAIRS
Loris Penserini, Pavlos Peppas, Anna Perini
2005 J jnl
Early Estimation of Users' Perception of Software Quality.
Softw. Qual. J.
Dimitris Stavrinoudis, Michalis Nik Xenos, Pavlos Peppas, Dimitris Christodoulakis
2005 J jnl
Preface.
Stud Logica
Gerhard Brewka, Pavlos Peppas
2004 — conf
Constraints from STRIPS - Preliminary Report.
Australian Conference on Artificial Intelligence
Norman Y. Foo, Pavlos Peppas, Yan Zhang
2004 A* conf
Distance Semantics for Relevance-Sensitive Belief Revision.
KR
Pavlos Peppas, Samir Chopra, Norman Y. Foo
2004 — conf
System Properties of Action Theories.
AIS
Norman Y. Foo, Pavlos Peppas
2004 — conf
Systems Theory: Melding the AI and Simulation Perspectives.
AIS
Norman Y. Foo, Pavlos Peppas
2004 J jnl
The Limit Assumption and Multiple Revision.
J. Log. Comput.
Pavlos Peppas
2003 J jnl
Belief revision and organisational knowledge dynamics.
J. Oper. Res. Soc.
G. Tselekidis, Pavlos Peppas, Mary-Anne Williams
2003 J jnl
Dynamic belief revision operators.
Artif. Intell.
Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas
2002 J jnl
Canonicity and Completeness Results for Many-Valued Modal Logics.
J. Appl. Non Class. Logics
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2002 J jnl
Weaker Axioms, More Ranges.
Fundam. Informaticae
Costas D. Koutras, Pavlos Peppas
2001 A* conf
Causality and Minimal Change Demystified.
IJCAI
Maurice Pagnucco, Pavlos Peppas
2001 J jnl
Prolegomena to Concise Theories of Action.
Stud Logica
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
2001 J jnl
Realization for Causal Nondeterministic Input-Output Systems.
Stud Logica
Norman Y. Foo, Pavlos Peppas
2000 B conf
A Unifying Semantics for Causal Ramifications.
PRICAI
Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak
2000 J jnl
Measuring similarity in belief revision.
J. Log. Comput.
Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak
1999 — conf
Causal Propagation Semantics - A Study.
Australian Joint Conference on Artificial Intelligence
Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak
1999 A* conf
Preferential Semantics for Causal Systems.
IJCAI
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak
1997 — conf
Action Localness, Genericity and Invariants in STRIPS.
IJCAI (1)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
1997 — conf
Inductive Properties of States.
Australian Joint Conference on Artificial Intelligence
Norman Y. Foo, Pavlos Peppas, Yan Zhang
1997 — conf
Preferential Semantics for Causal Fixpoints.
Australian Joint Conference on Artificial Intelligence
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo
1996 B conf
A Framework for Reasoning about Requirements Evolution.
PRICAI
Didar Zowghi, Aditya Ghose, Pavlos Peppas
1996 A conf
Learning From Conditionals: Judy Benjamin's Other Problems.
ECAI
Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas
1996 — conf
Modelling intertia in action languages.
PRICAI Workshops
Mikhail Prokopenko, Pavlos Peppas
1996 A conf
PMA Epistemic Entrenchments: The General Case.
ECAI
Pavlos Peppas
1996 A conf
Revision vs. Update: Taking a Closer Look.
ECAI
Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko
1996 A conf
Well Behaved and Multiple Belief Revision.
ECAI
Pavlos Peppas
1995 J jnl
Constructive Modelings for Theory Change.
Notre Dame J. Formal Log.
Pavlos Peppas, Mary-Anne Williams
1992 A conf
On the Use of Epistemic Entrenchment in Reasoning about Action.
ECAI
Pavlos Peppas, Wayne Wobcke