Pavlos Peppas
Title
Cited by
Cited by
Year
Dynamic belief revision operators
AC Nayak, M Pagnucco, P Peppas
Artificial Intelligence 146 (2), 193-228, 2003
1422003
Belief revision
P Peppas
Foundations of Artificial Intelligence 3, 317-359, 2008
1332008
A framework for reasoning about requirements evolution
D Zowghi, AK Ghose, P Peppas
Pacific Rim International Conference on Artificial Intelligence, 157-168, 1996
621996
Constructive modelings for theory change
P Peppas, MA Williams
Notre Dame Journal of Formal Logic 36 (1), 120-133, 1995
491995
Belief revision in Horn theories
JP Delgrande, P Peppas
Artificial Intelligence 218, 1-22, 2015
452015
Distance Semantics for Relevance-Sensitive Belief Revision.
P Peppas, S Chopra, NY Foo
KR, 319-328, 2004
422004
Revising horn theories
JP Delgrande, P Peppas
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
322011
AGM-style belief revision of logic programs under answer set semantics
J Delgrande, P Peppas, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
302013
Early estimation of users’ perception of software quality
D Stavrinoudis, M Xenos, P Peppas, D Christodoulakis
Software Quality Journal 13 (2), 155-175, 2005
302005
The limit assumption and multiple revision
P Peppas
Journal of Logic and Computation 14 (3), 355-371, 2004
292004
Revision vs. Update: Taking a Closer Look.
P Peppas, A Nayak, M Pagnucco, NY Foo, R Kwok, M Prokopenko
ECAI, 95-99, 1996
291996
Canonicity and completeness results for many-valued modal logics
CD Koutras, C Nomikos, P Peppas
Journal of Applied Non-Classical Logics 12 (1), 7-41, 2002
242002
Relevance in belief revision
P Peppas, MA Williams, S Chopra, N Foo
Artificial Intelligence 229, 126-138, 2015
232015
On the use of epistemic entrenchment in reasoning about action
P Peppas, W Wobcke
Proceedings of the 10th European conference on Artificial intelligence, 403-407, 1992
231992
Belief change and reasoning about action
P Peppas
PhD thesis, Basser Department of Computer Science, University of Sydney …, 1993
201993
A panorama of iterated revision
P Peppas
David Makinson on classical methods for non-classical problems, 71-94, 2014
192014
Measuring similarity in belief revision
P Peppas, N Foo, A Nayak
Journal of Logic and Computation 10 (4), 603-619, 2000
192000
Well Behaved and Multiple Belief Revision'
P Peppas
ECAI 96, 90-94, 1996
161996
Kinetic consistency and relevance in belief revision
P Peppas, MA Williams
European Conference on Logics in Artificial Intelligence, 401-414, 2016
142016
Belief change and reasoning about action: An axiomatic approach to modelling inert dynamic worlds and the connection to the logic of theory change
P Peppas
University of Sydney, 1994
141994
The system can't perform the operation now. Try again later.
Articles 1–20