Pavlos Peppas

According to our database1, Pavlos Peppas authored at least 60 papers between 1992 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.
J. Artif. Intell. Res., 2019


Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
General Belief Revision.
J. ACM, 2018

Iterated Belief Revision and Dalal's Operator.
Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

Parametrised Difference Revision.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Incorporating Relevance in Epistemic States in Belief Revision.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Legal Reasoning in Answer Set Programming.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Event Boards as Tools for Holistic AI.
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.
CoRR, 2017

The Altruistic Robot: Do What I Want, Not Just What I Say.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Belief Revision in Answer Set Programming.
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).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Epistemic-entrenchment Characterization of Parikh's Axiom.
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.
Ann. Math. Artif. Intell., 2016

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

Kinetic Consistency and Relevance in Belief Revision.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Relevance in belief revision.
Artif. Intell., 2015

Belief revision in Horn theories.
Artif. Intell., 2015

2014
Belief Change and Semiorders.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Constructive Models for Contraction with Intransitive Plausibility Indifference.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

On the Formal Assessment of Argumentation Support Systems.
Proceedings of the Smart Digital Futures 2014, 2014

2013
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012
Maps in Multiple Belief Change.
ACM Trans. Comput. Log., 2012

Comparative Possibility in Set Contraction.
J. Philosophical Logic, 2012

2011
Revising Horn Theories.
Proceedings of the IJCAI 2011, 2011

2010
Associations between Constructive Models for Set Contraction.
Proceedings of the Artificial Intelligence: Theories, 2010

2008
Belief Revision.
Proceedings of the Handbook of Knowledge Representation, 2008

On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief.
Logic Journal of the IGPL, 2008

Conflicts between Relevance-Sensitive and Iterated Belief Revision.
Proceedings of the ECAI 2008, 2008

2007
Preface.
J. Log. Comput., 2007

Distance Semantics for Relevance-Sensitive Belief Revision.
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.
Software Quality Journal, 2005

Preface.
Studia Logica, 2005

2004
The Limit Assumption and Multiple Revision.
J. Log. Comput., 2004

Constraints from STRIPS - Preliminary Report.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

System Properties of Action Theories.
Proceedings of the Artificial Intelligence and Simulation, 2004

Systems Theory: Melding the AI and Simulation Perspectives.
Proceedings of the Artificial Intelligence and Simulation, 2004

2003
Belief revision and organisational knowledge dynamics.
JORS, 2003

Dynamic belief revision operators.
Artif. Intell., 2003

2002
Canonicity and Completeness Results for Many-Valued Modal Logics.
Journal of Applied Non-Classical Logics, 2002

Weaker Axioms, More Ranges.
Fundam. Inform., 2002

2001
Prolegomena to Concise Theories of Action.
Studia Logica, 2001

Realization for Causal Nondeterministic Input-Output Systems.
Studia Logica, 2001

Causality and Minimal Change Demystified.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Measuring similarity in belief revision.
J. Log. Comput., 2000

A Unifying Semantics for Causal Ramifications.
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.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Causal Propagation Semantics - A Study.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1997
Action Localness, Genericity and Invariants in STRIPS.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Preferential Semantics for Causal Fixpoints.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Inductive Properties of States.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996
A Framework for Reasoning about Requirements Evolution.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Modelling intertia in action languages.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Revision vs. Update: Taking a Closer Look.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Well Behaved and Multiple Belief Revision.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

PMA Epistemic Entrenchments: The General Case.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Learning From Conditionals: Judy Benjamin's Other Problems.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Constructive Modelings for Theory Change.
Notre Dame Journal of Formal Logic, 1995

1992
On the Use of Epistemic Entrenchment in Reasoning about Action.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992


  Loading...