Pavlos Peppas

According to our database, Pavlos Peppas authored at least 66 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Theory-relational belief revision.

Theofanis I. Aravanis, Pavlos Peppas

Ann. Math. Artif. Intell., 2022

Using Conditional Independence for Belief Revision.

Matthew James Lynn, James P. Delgrande, Pavlos Peppas

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

An investigation of parametrized difference revision operators.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Ann. Math. Artif. Intell., 2021

2020

A study of possible-worlds semantics of relevance-sensitive belief revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Log. Comput., 2020

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Artif. Intell. Res., 2020

Modelling Belief-Revision Functions at Extended Languages.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Artif. Intell. Res., 2019

UTS Unleashed! RoboCup@Home SSPL Champions 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

Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019

Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

General Belief Revision.

James P. Delgrande, Pavlos Peppas, Stefan Woltran

J. ACM, 2018

Iterated Belief Revision and Dalal's Operator.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

Parametrised Difference Revision.

Pavlos Peppas, Mary-Anne Williams

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Incorporating Relevance in Epistemic States in Belief Revision.

James P. Delgrande, Pavlos Peppas

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Legal Reasoning in Answer Set Programming.

Theofanis I. Aravanis, Konstantinos Demiris, Pavlos Peppas

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Event Boards as Tools for Holistic AI.

Peter Gärdenfors, Mary-Anne Williams, Benjamin Johnston, Richard Billingsley, Jonathan Vitale, Pavlos Peppas, Jesse Clark

Proceedings of the 6th International Workshop on Artificial Intelligence and Cognition, 2018

2017

Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos.

Mikhail Prokopenko, Michael Harré, Joseph T. Lizier, Fabio Boschetti, Pavlos Peppas, Stuart A. Kauffman

CoRR, 2017

The Altruistic Robot: Do What I Want, Not Just What I Say.

Richard Billingsley, John Billingsley, Peter Gärdenfors, Pavlos Peppas, Henri Prade, David B. Skillicorn, Mary-Anne Williams

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Belief Revision in Answer Set Programming.

Theofanis I. Aravanis, Pavlos Peppas

Proceedings of the 21st Pan-Hellenic Conference on Informatics, 2017

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract).

Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Epistemic-entrenchment Characterization of Parikh's Axiom.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions.

Maurício D. Luís Reis, Pavlos Peppas, Eduardo Fermé

Ann. Math. Artif. Intell., 2016

Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result.

Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas

Artif. Intell., 2016

Kinetic Consistency and Relevance in Belief Revision.

Pavlos Peppas, Mary-Anne Williams

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Relevance in belief revision.

Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo

Artif. Intell., 2015

Belief revision in Horn theories.

James P. Delgrande, Pavlos Peppas

Artif. Intell., 2015

2014

Belief Change and Semiorders.

Pavlos Peppas, Mary-Anne Williams

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Constructive Models for Contraction with Intransitive Plausibility Indifference.

Pavlos Peppas, Mary-Anne Williams

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

On the Formal Assessment of Argumentation Support Systems.

Nikos I. Karacapilidis, Pavlos Peppas

Proceedings of the Smart Digital Futures 2014, 2014

2013

AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.

James P. Delgrande, Pavlos Peppas, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Maps in Multiple Belief Change.

Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams

ACM Trans. Comput. Log., 2012

Comparative Possibility in Set Contraction.

Pavlos Peppas

J. Philos. Log., 2012

2011

Revising Horn Theories.

James P. Delgrande, Pavlos Peppas

Proceedings of the IJCAI 2011, 2011

2010

Associations between Constructive Models for Set Contraction.

Vasilis Giannopoulos, Pavlos Peppas

Proceedings of the Artificial Intelligence: Theories, 2010

2008

Belief Revision.

Pavlos Peppas

Proceedings of the Handbook of Knowledge Representation, 2008

On a Simple 3-valued Modal Language and a 3-valued Logic of '<i>not-fully-justified</i>' Belief.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

Log. J. IGPL, 2008

Conflicts between Relevance-Sensitive and Iterated Belief Revision.

Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki

Proceedings of the ECAI 2008, 2008

2007

Preface.

Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher

J. Log. Comput., 2007

Distance Semantics for Relevance-Sensitive Belief Revision.

Pavlos Peppas, Samir Chopra, Norman Y. Foo

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2005

Early Estimation of Users' Perception of Software Quality.

Dimitris Stavrinoudis, Michalis Nik Xenos, Pavlos Peppas, Dimitris Christodoulakis

Softw. Qual. J., 2005

Preface.

Gerhard Brewka, Pavlos Peppas

Stud Logica, 2005

2004

The Limit Assumption and Multiple Revision.

Pavlos Peppas

J. Log. Comput., 2004

Constraints from STRIPS - Preliminary Report.

Norman Y. Foo, Pavlos Peppas, Yan Zhang

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

System Properties of Action Theories.

Norman Y. Foo, Pavlos Peppas

Proceedings of the Artificial Intelligence and Simulation, 2004

Systems Theory: Melding the AI and Simulation Perspectives.

Norman Y. Foo, Pavlos Peppas

Proceedings of the Artificial Intelligence and Simulation, 2004

2003

Belief revision and organisational knowledge dynamics.

G. Tselekidis, Pavlos Peppas, Mary-Anne Williams

J. Oper. Res. Soc., 2003

Dynamic belief revision operators.

Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas

Artif. Intell., 2003

2002

Canonicity and Completeness Results for Many-Valued Modal Logics.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

J. Appl. Non Class. Logics, 2002

Weaker Axioms, More Ranges.

Costas D. Koutras, Pavlos Peppas

Fundam. Informaticae, 2002

2001

Prolegomena to Concise Theories of Action.

Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams

Stud Logica, 2001

Realization for Causal Nondeterministic Input-Output Systems.

Norman Y. Foo, Pavlos Peppas

Stud Logica, 2001

Causality and Minimal Change Demystified.

Maurice Pagnucco, Pavlos Peppas

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Measuring similarity in belief revision.

Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak

J. Log. Comput., 2000

A Unifying Semantics for Causal Ramifications.

Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

1999

Preferential Semantics for Causal Systems.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Causal Propagation Semantics - A Study.

Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1997

Action Localness, Genericity and Invariants in STRIPS.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Preferential Semantics for Causal Fixpoints.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Inductive Properties of States.

Norman Y. Foo, Pavlos Peppas, Yan Zhang

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

A Framework for Reasoning about Requirements Evolution.

Didar Zowghi, Aditya Ghose, Pavlos Peppas

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Modelling intertia in action languages.

Mikhail Prokopenko, Pavlos Peppas

Proceedings of the Learning and Reasoning with Complex Representations, 1996

Revision vs. Update: Taking a Closer Look.

Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Well Behaved and Multiple Belief Revision.

Pavlos Peppas

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

PMA Epistemic Entrenchments: The General Case.

Pavlos Peppas

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Learning From Conditionals: Judy Benjamin's Other Problems.

Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Constructive Modelings for Theory Change.

Pavlos Peppas, Mary-Anne Williams

Notre Dame J. Formal Log., 1995

1992

On the Use of Epistemic Entrenchment in Reasoning about Action.

Pavlos Peppas, Wayne Wobcke

Proceedings of the 10th European Conference on Artificial Intelligence, 1992