Skip to main content

Pavlos Peppas

Dept of Electrical and Computer Engineering University of Patras

Pavlos Peppas

Dept of Electrical and Computer Engineering

University of Patras, Patras 265 00, Greece

Tel.: +30-2610-997-700 (office)

e-mail: pavlos@upatras.gr

 

Education

  • Aug 1994: PhD, Dept of Computer Science, University of Sydney, Australia.
  • 1988: Diploma in Computer Engineering and Informatics, University of Patras, Greece.

 

Current Employment: Professor, Dept of Electrical and Computer Engineering, University of Patras, Greece.

Research Interests

Artificial Intelligence with an emphasis on Knowledge Representation and Reasoning. More precisely, most of my work has been in the fields of Belief Revision and Reasoning about Action. I have also worked in Modal Logic and on application of Belief Revision in Software Engineering and Knowledge Management.

Teaching Experience

I have taught numerous undergraduate and graduate courses at various Universities in Greece and abroad. Indicative courses include, Artificial Intelligence, Algorithms and Data Structures, Databases, Object-Oriented Technology, Game Theory, etc.

Conference Organization

  • Local Arrangements Chair, 20th International Conference on Principles of Knowledge Representation and Reasoning (KR-2023), Rhodes, Greece, 2023.
  • PC Member of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR-2022), Vienna, Austria, 2022.
  • PC Member of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22), Macao, China, 2022.
  • PC Member of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR-2021), online event, 2021.
  • Local Arrangements Chair, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), online event, 2020.
  • Senior PC member, 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI2020), Yokohama, Japan, 2020.
  • Senior Program Committee Member of the 24th European Conference on Artificial Intelligence (ECAI-2020), Santiago de Compostela, Spain, August 2020.
  • Senior PC member, 24th European Conference on Artificial Intelligence (ECAI-2020), Santiago de Compostela, Spain, 2020.
  • PC Member of the 11th Hellenic Conference on Artificial Intelligence (SETN-2020), Athens, Greece, 2020.
  • PC member, 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Macao, China, 2019.
  • PC member, 10th International Conference on Information, Intelligence, Systems and Applications (IISA-2019), Patras, Greece, 2019.
  • Steering Committee Member of the International Conference on Principles of Knowledge Representation and Reasoning (2018 – ).
  • Program Committee Member of the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), Stockholm, Sweden, 2018.
  • Program Committee Member of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), Tempe, USA, 2018.
  • Program Committee Member of the 10th Hellenic Conference on Artificial Intelligence (SETN-2018), Patras, Greece, 2018.
  • Program Committee Member of the 13th Symposium on Commonsense Reasoning (Commonsense-2017), London, UK, 2017.
  • Program Committee Member of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 2016.
  • Program Committee Member of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR-16), Cape Town, South Africa, April 2016.
  • Program Committee Member of the 9th Hellenic Conference on Artificial Intelligence (SETN-2016), Thessaloniki, Greece, May 2016.
  • Senior Program Committee Member of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina, 2015.
  • Program Committee Member of the 12th International Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, March 2015.
  • Senior Program Committee Member of the 21st European Conference on Artificial Intelligence (ECAI-14), Vienna, Czech Republic, August 2014.
  • Program Committee Member 14th International Conference on Principles of Knowledge Representation and Reasoning (KR-14), Vienna, Austria, July 2014.
  • Program Committee Member of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, Ayia Napa, Cyprus, May 2013.
  • Area Chair of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR-12), Rome, Italy, June 2012.
  • Senior Program Committee Member of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), Barcelona, Spain, July 2011.
  • Program Committee Member of the 19th European Conference on Artificial Intelligence (ECAI-10), Lisbon, Portugal, August 2010.
  • Program Committee Member of the 6th Hellenic Conference on Artificial Intelligence (SETN-2010), Athens, Greece, May 2010.
  • Co-Chair of the Organizing Committee of the 7th Panhellenic Logic Symposium (PLS-09), Patras, Greece, July 2009.
  • Program Committee Member of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, USA, July 2009.
  • Program Committee Member of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-09), University of Toronto, Canada, June 2009.
  • Program Committee Member of the 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July 2008.
  • Program Committee Member of the 23rd National (US) Conference on Artificial Intelligence (AAAI-08), Chicago, USA, July 2008.
  • Program Committee Member of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Sydney, Australia, September 2008.
  • Program Committee Member of the 21st Australian Joint Conference on Artificial Intelligence (AI-08), Auckland, New Zealand, December 2008.
  • Program Committee Member of the 5th Hellenic Conference on Artificial Intelligence (SETN-2008), Syros, Greece, October 2008.
  • Program Committee Member of the 6th Panhellenic Logic Symposium (PLS-07), Volos, Greece, July 2007.
  • Program Committee Member of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 2007.
  • Program Committee Member of the 22nd National (US) Conference on Artificial Intelligence (AAAI-07), Boston, Vancouver, July 2007.
  • Program Committee Member of the 20h International FLAIRS Conference (FLAIRS-07), Florida, USA, May 2007.
  • Program Committee Member of the 8h International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-07), Stanford University, USA, March 2007.
  • Program Committee Member of the 20th Australian Joint Conference on Artificial Intelligence (AI-07), Gold Coast, Australia, December 2007.
  • Co-Chair of the 3rd Starting AI Researcher Symposium (STAIRS-06), Riva Del Garda, Italy, August 2006.
  • Program Committee Member of the 21st National (US) Conference on Artificial Intelligence (AAAI06), Boston, USA, July 2006.
  • Program Committee Member of the 4h Hellenic Conference on Artificial Intelligence (SETN-06), Heraklion, Greece, May 2006.
  • Program Committee Member of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), UK, June 2006.
  • Program Committee Member of the International Symposium on Practical Cognitive Agents and Robots, Perth, Australia, November 2006.
  • Co-Chair of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-05), Corfu, Greece, May 2005.
  • Program Committee Member of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, June 2004.
  • Program Committee Member of the 6th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense03), Palo Alto, USA, March 2003.
  • Program Committee Member of the 8th (Europe) Conference on Electronic Commerce (CollECTeR (Europe) 2003), Galway, Ireland, June 2003.
  • Program Committee Member of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2002.
  • Program Committee Member of the 7th (Europe) Conference on Electronic Commerce (CollECTeR (Europe) 2002), Toulouse, France, April 2002.
  • Program Committee Member of the 11th Australian Joint Conference on Artificial Intelligence, Brisbane, Australia, July 1998.
  • Program Committee Member of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 1996.

Publications

Guest Editor for Research Journals

  1. McIlraith, P. Peppas, and M. Thielscher (eds), “Logical Formalizations of Commonsense Reasoning” (special issue), vol. 17(5), Journal of Logic and Computation, Oxford University Press, 2007.
  2. Brewka and P. Peppas (eds), “Reasoning about Action and Change” (special issue), Studia Logica, vol.79(1), Feb 2005.

Editor for Conference/Workshop Proceedings

  1. Drossos, P. Peppas, and C. Tsinakis (eds), Proceedings of the 7th Panhellenic Logic Symposium, Greece, University of Patras Publications, 2009.
  2. Karol, P. Peppas, and M.-A. Williams (eds), Proceedings of the 7th International Workshop on Nonmonotonic Reasoning, Action and Change, India, AAAI Press, 2007.
  3. Penserini, P. Peppas, and A. Perini, Proceedings of the 3rd Starting AI Researchers’ Symposium, Italy, IOS Press, 2006.
  4. Brewka and P. Peppas (eds), Proceedings of the 5th International Workshop on Nonmonotonic Reasoning, Action and Change, Mexico, AAAI Press, 2003.
  5. Antoniou, N. Foo, C. MacNish, P Peppas, R. Stanton, and M.-A. Williams (eds.), Proceedings of the First Australian Workshop on Commonsense Reasoning, Australia, 1995.

 

Chapters in Books

  1. Peppas, “A Panorama of Iterated Revision”, Outstanding Contributions to Logic, vol 3., S. O. Hansson (Ed), Springer, 2014.
  2. Peppas, “Belief Revision”, Handbook of Knowledge Representation, F. van Harmelen, V. Lifschitz, and B. Porter (Eds), Elsevier Publications, 2008.

Journal Articles

  1. Peppas, M.-A. Williams, and Grigoris Antoniou, “Revision Operators with Compact Representations”, Artificial Intelligence, (accepted for publication).
  2. Aravanis, P. Peppas, and M.-A. Williams, “Theory-relational belief revision”, Annals of Mathematics and Artificial Intelligence, 1-22, 2022.
  3. Aravanis, P. Peppas, and M.-A. Williams, “An investigation of parametrized difference revision operators”, Annals of Mathematics and Artificial Intelligence, 89 (1), 7-28, 2021.
  4. Aravanis, P. Peppas, and M.-A. Williams, “Incompatibilities between iterated and relevance-sensitive belief revision”, Journal of Artificial Intelligence Research, 69, 85-108, 2020
  5. Aravanis, P. Peppas, and M.-A. Williams, “A Study on Possible-World Semantics of Relevance-Sensitive Belief Revision”, Journal of Logic and Computation, vol 30(5), pp 1125-1142, 2020.
  6. Prokopenko, M. Harré, J. Lizier, F. Boschetti, P. Peppas, and S. Kauffmane, “Self-referential basis of undecidable dynamics: From the Liar paradox and the halting problem to the edge of chaos”, Physics of Life Reviews, Elsevier, 2019.
  7. Aravanis, P. Peppas, and M-A Williams, “Full Characterization of Parikh’s Relevance-Sensitive Axiom for Belief Revision”, Journal of Artificial Intelligence Research, 2019.
  8. Aravanis, P. Peppas, and M-A Williams, “An investigation of parametrized difference revision operators”, Annals of Mathematics and Artificial Intelligence, 2019.
  9. Delgrande, P. Peppas, and S. Woltran, “General Belief Revision”, Journal of the ACM, vol 65(5), pp 14-36, 2018.
  10. D. Reis, E. Ferme, and P. Peppas, “Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An impossibility Result”, Artificial Intelligence, vol 233, pp 122-141, 2016.
  11. Peppas, M.-A. Williams, S. Chopra, and N. Foo, “Relevance in Belief Revision”, Artificial Intelligence vol 229, pp 126-138, 2015.
  12. Delgrande and P. Peppas”, “Belief Revision in Horn Theories”, Artificial Intelligence, vol. 218, pp 1-22, 2015.
  13. Reis, P. Peppas, and E. Ferme, “Two Axiomatic Characterizations for the System of Spheres-based (and the Epistemic Entrenchment-based) Multiple Contractions”, Annals of Mathematics and Artificial Intelligence, April 2015.
  14. Peppas, C. Koutras, and M.-A. Williams, “Maps in Multiple Belief Change”, vol. 13(4), ACM Transactions on Computational Logic, 2012.
  15. Peppas, “Comparative Possibility in Set Contraction”, Journal of Philisophical Logic, vol. 41(1), pp. 53-75, 2012.
  16. Koutras, Ch. Nomikos, and P. Peppas, “On a Simple 3-valued Modal Language and a 3-valued Logic of ‘not-fully-justified’ Belief”, Logic Journal of the IGPL, vol. 16(6), pp. 591-604, Oxford University Press, 2008.
  17. Stavrinoudis, M. Xenos, P. Peppas, and D. Christodoulakis, “Early Estimation of User’s Perception of Software Quality”, Software Quality Journal, pp. 155-175, vol. 13(2), Springer Science and Business Media B.V., 2005.
  18. Peppas, “The Limit Assumption and Multiple Revision”, Journal of Logic and Computation, pp. 355-371, vol. 14(3), Oxford University Press, 2004.
  19. Koutras, A. Gaga, and P. Peppas, “Conciseness Considerations on Logics of Action”, Journal of Intelligent Systems, vol. 13(1), Freund & Pettman, 2004.
  20. Tselekidis, P. Peppas, and M. Williams, “Belief Revision and Organizational Knowledge Dynamics”, Journal of the Operational Research Society, pp 914-923, vol 54, Palgrave Macmillan, 2003.
  21. Nayak, M. Pagnucco, and P. Peppas, “Dynamic Belief Change Operators”, Artificial Intelligence, Elsevier Science Publishers, pp 193-228, vol 146, 2003.
  22. Koutras, Ch. Nomikos, and P. Peppas, “Canonicity and Completeness Results for Many-Valued Modal Logics”, Journal of Applied Non-Classical Logics, Iditions Hermès, pp 7-41, vol 12(1), 2002.
  23. Koutras and P. Peppas, “Weaker Axioms, More Ranges”, Fundamenta Informaticae, Polish Mathematical Society, pp 293-319, vol 51(3), 2002.
  24. Peppas, C. Koutras, and M. Williams, “Prolegomena to Concise Theories of Action”, Studia Logica, pp 403-418, vol. 67(3), Kluwer Academic Publishers, 2001.
  25. Foo and P. Peppas, “Realization for Causal Nondeterministic Input-Output Systems”, Studia Logica, pp 419-437, vol. 67(3), Kluwer Academic Publishers, 2001.
  26. Peppas, N. Foo, and A. Nayak, “Measuring Similarity in Belief Revision”, Journal of Logic and Computation, Oxford University Press, vol. 10(4), 2000.
  27. Peppas, N. Foo and M. Williams, “On the Expressibility of Propositions”, Logique et Analyse, vol. 139-149, pp 251-272, 1995.
  28. Peppas and M. Williams, “Constructive Modelings for Theory Change”, Notre Dame Journal of Formal Logic, vol. 36, Num. 1, pp. 120-133, 1995.

 

Conference Articles

  1. J. Lynn, J.P. Delgrande, and P. Peppas, “Using conditional independence for belief revision”, Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5809-5816, 2022.
  2. Aravanis, P. Peppas and M-A Williams, “Modelling Belief Revision Functions at Extended Languages”, 24th European Conference on Artificial Intelligence (ECAI-2020), Santiago de Compostela, Spain, August 2020.
  3. Aravanis, P. Peppas and M-A Williams, “Observations on the Darwiche and Pearl’s Approach for Iterated Belief Revision”, 28th International Joint Conference on Artificial Intelligence (IJCAI-2019), Macao, China, 2019.
  4. Aravanis, P. Peppas, and M-A Williams, “On the Strong Version of Parikh’s Relevance-Sensitive Axiom for Belief Revision”, 12th Panhellenic Logic Symposium (PLS12), Anogia, 2019.
  5. Pfeiffer, D. Ebrahimian, S. Herse, T.N. Le, S. Leong, B. Lu, K. Powell, S.A. Raza, T. Sang, I. Sawant, M. Tonkin, C. Vinaviles, T.D. Vu, Q. Yang, R. Billingsley, J. Clark, B. Johnston, S. Madhisetty, N. McLaren, P. Peppas, J. Vitale, M.-A. Williams, “UTS Unleashed! RoboCup@Home SSPL Champions 2019”, RoboCup 2019: Robot World Cup XXIII. RoboCup 2019, Lecture Notes in Computer Science, vol. 11531, pp, 603-615, Springer, Cham, 2019.
  6. Peppas and M-A Williams, “Parametrised Difference Revision”, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR2018), Tempe, USA, 2018.
  7. Delgrande and P. Peppas, “Incorporating Relevance in Epistemic States in Belief Revision”, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR2018), Tempe, USA, 2018.
  8. Aravanis, K. Demiris, and P. Peppas, “Legal reasoning in Answer Set Programming”, Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), short paper, pp. 302 – 306, Volos, Greece, November 5 – 7, 2018.
  9. Aravanis, P. Peppas, and M-A Williams, “Iterated belief revision and Dalal’s operator”, Proceedings of the 10th Hellenic Conference on Artificial Intelligence (SETN 2018), Patras, Greece, July 9 – 12, 2018.
  10. Aravanis, P. Peppas, and M.-A. Williams, “Epistemic Entrenchment Characterization of Parikh’s Axiom”, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI’17), Melbourne, 2017.
  11. Billingsley, J. Billingsley, P. Gärdenfors, P. Peppas, H. Prade, D. Skillicorn, M.-A. Williams, “The Altruistic Robot: Do What I Want, Not Just What I Say”, Proceedings of the International Conference on Scalable Uncertainty Management, Springer, pp. 149-162, Granada, 2017.
  12. Aravanis and P. Peppas, “Belief Revision in Answer Set Programming”, 21st Panhellenic Conference on Informatics, Larisa, 2017.
  13. Aravanis, P. Peppas, and M.-A. Williams, “Epistemic Entrenchment Characterization of Parameterized Difference Revision Operators”, 11th Panhellenic Logic Symposium (PLS11), Delphi, 2017.
  14. Aravanis, and P. Peppas “Six Degrees of Separation in Answer Set Programming”, 11th Panhellenic Logic Symposium (PLS11), Delphi, 2017.
  15. Peppas, and M.-A. Williams, “Kinetic Consistency and Relevance in Belief Revision”, Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA-2016), Larnaca, Cyprus, November 2016.
  16. Peppas, and M.-A. Williams, “Belief Change and Semiorders”, Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR2014), Vienna, Austria, July 2014.
  17. Peppas, and M.-A. Williams, “Constructive Models for Contraction with Intransitive Plausibility Indifference”, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA-2014), Madeira, September 2014.
  18. Delgrande, P. Peppas, and S. Woltran “AGM-style Belief Revision of Logic Programs under Answer Set Semantics”, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain, 2013.
  19. Peppas, C. Koutras, and M.-A. Williams, “From Finite to Infinite Belief Contraction”, 11th International Symposium on Logical Formalizations of CommonSense Reasoning, Agia Napa, Cyprus, May 2013.
  20. Delgrande and P. Peppas, “Revising Horn Theories”, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11), pp. 839-844, Barcelona, 2011.
  21. Giannopoulos and P. Peppas, “Associations between Constructive Models for Set Contraction”, Proceedings of the 6th Hellenic Conference on Artificial Intelligence, pp. 113-121, Athens, 2010.
  22. Peppas, A Fotinopoulos and S Seremetaki, “Conflicts between Relevance-Sensitive and Iterated Belief Revision”, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI’08), Patras, pp. 85-88, 2008.
  23. Fotinopoulos and P. Peppas, “Connecting Recovery and Iterated Belief Revision”, Proceedings of the 6th Panhellenic Symposium on Logic, Volos, Greece, June 2007.
  24. Foo, P. Peppas, and Y. Zhang, “Action Invariants and System Constraints in STRIPS”, Proceedings of the 7th International Symposium on Logical Formalizations of CommonSense Reasoning, Corfu, Greece, May 2005.
  25. Foo, P. Peppas, “System Properties of Action Theories”, Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation, Planning in High Autonomy Systems (AIS 2004), Lecture Notes in Computer Science, Springer-Verlag, vol. 3397/2005, Jeju Island, Korea, Oct. 2004.
  26. Foo, P. Peppas, “Systems Theory: Melding the AI and Simulation Perspectives”, Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation, Planning in High Autonomy Systems (AIS 2004), Lecture Notes in Computer Science, Springer-Verlag, vol. 3397/2005, Jeju Island, Korea, Oct. 2004.
  27. Foo, P. Peppas, and Y. Zhang, “Constraints from STRIPS – Preliminary Report”, Proceedings of the 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, 2004.
  28. Peppas, S. Chopra, and N. Foo, “Distance Semantics for Relevance-Sensitive Belief Revision”, Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, June 2004.
  29. Koutras, A. Gaga, and P. Peppas, “A Formal Conciseness Assessment of AR0”, Proceedings of the 6th Hellenic-European Conference on Computer Mathematics and its Applications, Athens, Greece, September 2003.
  30. Tselekidis, P. Peppas, and M. Williams, “Agent-Oriented Knowledge Management”, Proceedings of the 3rd European Conference on Organizational Knowledge, Learning, and Capabilities, Athens, Greece, April 2002.
  31. Pagnucco and P. Peppas, “Causality and Minimal Change Demystified”, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI’01), Morgan Kaufmann, Seattle, USA, August 2001.
  32. Prokopenko, M. Pagnucco, P. Peppas, and A. Nayak, “A Unified Semantics for Causal Ramifications”, Proceedings of the 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, August 2000.
  33. Peppas, M. Pagnucco, M. Prokopenko, N. Foo, and A. Nayak, “Preferential Semantics for Causal Systems”, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI’99), Morgan Kaufmann, pp. 118-123, Stockholm, Sweden, August 1999.
  34. Stavrinoudis, M. Xenos, P. Peppas, and D. Christodoulakis, “Measuring User’s Perception and Opinion of Software Quality”, Proceedings of the 6th European Conference on Software Quality, ADV-Verlag, pp. 229-237, Vienna, Austria, April 1999.
  35. Prokopenko, M. Pagnucco, P. Peppas, and A. Nayak, “Causal Propagation Semantics – A Study”, Proceedings of the 12th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 1999.
  36. Foo, Y. Zhang, P. Peppas, M. Pagnucco, and A. Nayak, “Action Localness, Genericity and Invariants in STRIPS”, Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI’97), Morgan Kaufmann, Nagoya, Japan, August 1997.
  37. Peppas “Trends in Reasoning about Action”, Proceedings of the First Panhellenic Symposium on Logic, Cyprus, 1997.
  38. Foo, Y. Zhang, and P. Peppas, “Inductive Properties of States”, Proceedings of the 10th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 1997.
  39. Peppas P., M. Pagnucco, M. Prokopenko, N. Foo. “Preferential Semantics for Causal Fixpoints”, Proceedings of the 10th Australian Joint Conference on Artificial Intelligence, pp. 197-206, Perth, Australia, December 1997.
  40. Peppas, “Well Behaved and Multiple Belief Revision”, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI’96), Wiley & Sons, pp. 90-94, Budapest, 1996.
  41. Peppas, “PMA Epistemic Entrenchments: The General Case”, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI’96), Wiley & Sons, pp. 85-89, Budapest, 1996.
  42. Peppas, A. Nayak, M. Pagnucco, N. Foo, R. Kwok, and M. Prokopenko, “Revision vs Update: Taking a Closer Look”, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI’96), Wiley & Sons, pp. 95-99, Budapest, 1996.
  43. Nayak, M. Pagnucco, N. Foo, and P. Peppas, “Learning From Conditionals: Judy Benjamin’s Other Problems”, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI’96), Wiley & Sons, pp. 75-79, Budapest, 1996.
  44. Zowghi, A. Ghose and P. Peppas, “A Framework for Reasoning about Requirements Evolution”, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, Springer-Verlag, Cairns, 1996.
  45. Foo, P. Peppas, and Y. Zhang, “Towards a Calculus for Invariant Extraction”, Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, World Scientific, Canberra, 1995.
  46. Peppas, “Epistemic Entrenchment and the Possible Models Approach”, in Xin Yao (ed.), Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, pp. 203-210, World Scientific, Canberra, 1995.
  47. Doherty and P. Peppas, “A Comparison between Two Approaches to Ramification: PMON(R) and AR0” in Xin Yao (ed.), Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, World Scientific, pp. 267-274, Canberra, 1995.
  48. Foo and P. Peppas, “Primitive Events”, Proceedings of the 7th Australian Joint Conference on Artificial Intelligence, World Scientific, Armidale, 1994.
  49. Peppas and W. Wobcke, “On the use of Epistemic Entrenchment in Reasoning about Action”, Proceedings of the 10th European Conference on Artificial Intelligence (ECAI’92), John Wiles and Sons, pp. 403-407, Vienna, 1992.
  50. Peppas, N. Foo and W. Wobcke, “Events as Theory Operators”, Proceedings of the 1st World Conference on the Fundamentals of Artificial Intelligence, Angkor, pp. 413-426, Paris, 1991.

 

Workshop Articles

  1. Gärdenfors, M-A Williams, B. Johnston, R. Billingsley, J. Vitale, P. Peppas, and J. Clark “Event boards as tools for holistic AI”, 6th International Workshop on Artificial Intelligence and Cognition, Palermo, Italy, 2018.
  2. Billingsley, P. Gardenfors, P. Peppas, H. Prade, D. B. Skillicorn, M-A Williams, “Adjectival Conceptual Space Generation with Semantic Gradation”, Workshop R2K: Integrating learning of Representations and models with deductive Reasoning that leverages Knowledge, Tempe, USA, 2018.
  3. Karacapilidis and P. Peppas, “On the Formal Assessment of Argumentation Support Systems”, Proceedings of the 6th International Conference on Intelligent Decision Technologies (invited session IOS6), Chania, Greece, June 2014.
  4. Foo, D. Zhang, Q. B. Vo, and P. Peppas, “Circumscriptive Models and Automata”, Proceedings of the 4th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC’01), pp 7-13, at IJCAI’01, Seattle, USA, August 2001.
  5. Prokopenko, M. Pagnucco, P. Peppas, and A. Nayak, “Capturing Context in Causal Propagation”, Proceedings of the 4th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC’01), pp 95-102, at IJCAI’01, Seattle, USA, August 2001.
  6. Prokopenko and P. Peppas, “Evolution of Action Languages and the Ramification Problem”, Proceedings of the PRICAI’96 Workshop on Reasoning with Incomplete and Changing Information, Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997.