[Pavlos Peppas]

Pavlos Peppas

Associate Professor
Dept of Business Administration
University of Patras
Patras 26500, Greece

Telephone: +30 2610 969 968
Email: pavlos@upatras.gr
Home page: pavlos.bma.upatras.gr

Teaching at Patras University (Fall Semester)

Internet Technologies

Reasoning and Decision Making (MBA)

Research Interests

My research interests are in the applications of Logic in Artificial Intelligence. The two areas that I have been primarily working on are Belief Revision and Reasoning about Action. I am also interested in applications of Logic in Software Engineering, Decision Support Systems, and Knowledge Management.

Affiliations

External Member of the Knowledge Systems Group, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia.

Affiliate of the Knowledge Processing Laboratory, Department of Computer Science, University of Linkoping, Sweden.

External Collaborator of the Innovation and Technology Research Laboratory, Faculty of Information Technology, University of Technology, Sydney, Australia.

Past Positions

Senior Researcher, AIT - Athens Information Technology, Athens Greece. (Feb 2003 - Nov 2003)

Senior DSS Specialist, Department of Data Warehousing and Decision Support Systems, Intrasoft, Athens, Greece. (Jan 2000 - Jul 2001)

Senior Lecturer, Department of Computing, Macquarie University, Sydney, Australia. (Oct 1998 - Jan 2000)

Lecturer, Department of Computing, Macquarie University, Sydney, Australia. (Sep 1993 - Sep 1998)

Professional Services

Program Committee Member of the 20th International Joint Conference on Artificial Intelligence (IJCAI07), Hyderabad, India, January 2007.

Program Committee Member of the 22nd National (US) Conference on Artificial Intelligence (AAAI07), Vancouver, Canada, July 2007.

Program Committee Member of the 21st National (US) Conference on Artificial Intelligence (AAAI06), Boston, USA, July 2006.

Co-Chair of the 3rd Starting AI Researcher Symposium (STAIRS06), Riva Del Garda, Italy, August 2006.

Co-Chair of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, May 2005.

Program Committee Member of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, June 2004.

Co-Chair of the 5th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), at IJCAI'03, Acapulco, Mexico, August 2003.

Program Committee Member of the 6th International Symposium on Logical Foundations of Commonsense Reasoning, Stanford University, California, 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 (KR'2002), 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 session on Changing and Integrating Information: From Theory to Practice at the 9th Nonmonotonic Reasoning Workshop (NMR'2002), Toulouse, France, April 2002.

Program Committee Member of the 1st Australian Knowledge Representation Conventicle, Sydney, Australia, January 2002.

Program Committee Member of the session on Belief Revision: Theory and Practice at the 8th Nonmonotonic Reasoning Workshop (NMR'2000), Colorado, USA, April 2000.

Program Committee Member of the session on Belief Revision at the 7th Nonmonotonic Reasoning Workshop (NMR'1998), Trento, Italy, June 1998.

Program Committee Member of the 11th Australian Joint Conference on Artificial Intelligence, Brisbane, Australia, July 1998.

Program Committee Member of the 2nd Workshop on Nonmonotinic Reasoning, Action and Change, at IJCAI'97, Nagoya, Japan, August 1997.

Program Committee Member of the 2nd Australian Workshop on Commonsense Reasoning, held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 1997.

Workshops Co-Chair of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 1996.

Program Committee Member of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 1996.

Chair of the 1st Australian Commonsense Reasoning Workshop, at AI'95, Camberra, Australia, December 1995.

Program Committee Member of the 1st Workshop on Nonmonotinic Reasoning, Action and Change, at IJCAI'95, Montreal, Canada, August 1995.

Program Committee Member of the Workshop on Logic and Action, The University of Sydney, Sydney, Australia, December 1993.

Selected Publications

Chapters in Books

P. Peppas, "Belief Revision", Handbook of Knowledge Representation, F. van Harmelen, V. Lifschitz, and B. Porter (eds), Elsevier 2007 (to appear).

Journals

D. Stavrinoudis, M. Xenos, P. Peppas, and D. Christodoulakis, "Early Estimation of User's Perception of Software Quality", Journal of Software Quality, pp. 155-175, vol. 13(2), Springer Scienc and Business Media B.V., 2005.

C. Koutras, A. Gaga, and P. Peppas, "Conciseness Considerations on Logics of Action", Journal of Intelligent Systems, vol. 13(1), Freund & Pettman, 2004.

P. Peppas, "The Limit Assumption and Multiple Revision", Journal of Logic and Computation, pp. 355-371, vol. 14(3), Oxford University Press, 2004.

G. 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.

A. Nayak, M. Pagnucco, and P. Peppas, "Dynamic Belief Change Operators", Artificial Intelligence, Elsevier Science Publishers, pp 193-228, vol 146, 2003.

C. Koutras and P. Peppas, "Weaker Axioms, More Ranges", Fundamenta Informaticae, Polish Mathematical Society, pp 293-319, vol 51(3), 2002.
C. Koutras, Ch. Nomikos, and P. Peppas, "Canonicity and Completeness Results for Many-Valued Modal Logics", Journal of Applied Non-Classical Logics, pp 7-41, vol. 12(1), Iditions Hermes, 2002.

P. Peppas, C. Koutras, and M. Williams, "Prolegomena to Concise Theories of Action", Studia Logica, pp 403-418, vol. 67(3), Kluwer Academic Publishers, 2001.

N. Foo and P. Peppas, "Realization for Causal Nondeterministic Input-Output Systems", Studia Logica, pp 419-437, vol. 67(3), Kluwer Academic Publishers, 2001.

P. Peppas, N. Foo, and A. Nayak, "Measuring Similarity in Belief Revision, Journal of Logic and Computation, Oxford University Press, vol. 10(4), pp 603-619, 2000.

P. Peppas, N. Foo and M. Williams, "On the Expressibility of Propositions", Logique et Analyse, vol. 139-149, pp 251-272, 1995.

P. Peppas and M. Williams, "Constructive Modelings for Theory Change", Notre Dame Journal of Formal Logic, vol. 36, Num. 1, pp. 120-133, 1995.

Conferences

N. Foo, P. Peppas, and Y. Zhang, "Action Invariants and System Constraints in STRIPS", Proceedings of the 7^th International Symposium on Logical Formalizations of CommonSense Reasoning, Corfu, Greece, May 2005.

N. Foo, P. Peppas, "System Properties of Action Theories", Proceedings of AI, Simulation, and Planning in High Autonomy Systems (AIS-2004), Jeju Island, Korea, 2004.

N. Foo, P. Peppas, "Systems Theory: Melding the AI and Simulation Perspectives", Proceedings of AI, Simulation, and Planning in High Autonomy Systems (AIS-2004), Jeju Island, Korea, 2004.

N. Foo, P. Peppas, and Y. Zhang, "Constraints from STRIPS -- Preliminary Report", Proceedings of the 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 2004.

P. 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, August 2004.

C. 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.

G. 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.

M. Pagnucco and P. Peppas, "Causality and Minimal Change Demystified", Proceedings of the 17th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Seattle, USA, August 2001.

M. 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.

P. 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, Morgan Kaufmann, pp. 118-123, Stockholm, Sweden, August 1999.

D. 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.

M. 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.

N. 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, Morgan Kaufmann, Nagoya, Japan, August 1997.

P. Peppas, "Trends in Reasoning about Action", Proceedings of the First Panhellenic Symposium on Logic, Cyprus, 1997.

N. Foo, Y. Zhang, and P. Peppas, "Inductive Properties of States", Proceedings of the 10th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 1997.

P. Peppas, 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.

P. Peppas, "Well Behaved and Multiple Belief Revision", Proceedings of the 12th European Conference on Artificial Intelligence, Wiley & Sons, pp. 90-94, Budapest, 1996.

P. Peppas, "PMA Epistemic Entrenchments: The General Case", Proceedings of the 12th European Conference on Artificial Intelligence, Wiley & Sons, pp. 85-89, Budapest, 1996.

P. 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, Wiley & Sons, pp. 95-99, Budapest, 1996.

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, Wiley & Sons, pp. 75-79, Budapest, 1996.

D. 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.

N. 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.

P. 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.

P. 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.

N. Foo and P. Peppas, "Primitive Events", Proceedings of the 7th Australian Joint Conference on Artificial Intelligence, World Scientific, Armidale, 1994.

P. Peppas and W. Wobcke, On the use of Epistemic Entrenchment in Reasoning about Action, Proceedings of the 10th European Conference on Artificial Intelligence, John Wiles and Sons, pp. 403-407, Vienna, 1992.

P. 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.

Pavlos Peppas (pavlos@upatras.gr)