ISG@Macquarie

        Abhaya Nayak
            Intelligent Systems Group

Home

Contact

Bio-sketch

Teaching

Research

Publications

Catch-all

 
 

Om Shantih! Shantih! Shantih Om!  

Festschrift for Prof Norman Foo

Belief Revision

Sydney Chatashali -- Oriya Language and Culture Down Under

NEWS LINKS

Samachar -- Indian News

Sydney Morning Herald

Washington Post

 

 

 

Selected Publications

 

PhD Dissertation:  

Studies in Belief Change, submitted to the Department of Philosophy, University of Rochester, Rochester, NY, 1993.

Edited Volume:  

Nayak, A. C., and Pagnucco, M. (eds), Proceedings of the Second Australian Workshop on Commonsense Reasoning, Perth, Australia, December 1997.

Journal Papers:

  1. Vo, Quoc Bao, Abhaya Nayak and Norman Foo, "A Syntax-based Approach to Reasoning about Action and Belief Update", in Journal of Logic and Computation 16(3), pp. 315-338, 2006.
  2. Delgrande, Jim, Abhaya Nayak, and Maurice Pagnucco, "Gricean Belief Change", in Studia Logica 79, pp. 97-113, 2005.
  3. Nayak, Abhaya, Maurice Pagnucco and Pavlos Peppas, "Dynamic Belief Revision Operators", in Artificial Intelligence Journal, 146, pp. 193-228, 2003.
  4. Peppas, Pavlos, Norman Foo and Abhaya Nayak, "Measuring Similarity in Belief Revision", in Journal of Logic and Computation, 10: 603-619, 2000.
  5. Nayak, Abhaya C., Paul Nelson and Hanan Polansky, "Belief Change as Change in Epistemic Entrenchment", in Synthese, vol. 109, pp. 143-174, November 1996.
  6. Nayak, Abhaya and Eric Sotnak, "Kant on the Impossibility of `Soft Sciences'", in Philosophy and Phenomenological Research, pp. 131-151, March, 1995.
  7. Nayak, Abhaya, C., "Iterated Belief Change Based on Epistemic Entrenchment", in Erkenntnis, vol. 41, pp. 353-390, 1994.
  8. Nayak, Abhaya, C., "Foundational Belief Change", in Journal of Philosophical Logic, vol. 23, pp. 495-533, 1994.

Refereed Conference Papers:

  1. Nayak, Abhaya, Randy Goebel and Mehmet Orgun, "Iterated Belief Contraction from First Principles", Proceedings of the Twentieth International Joint Conference of Artificial Intelligence (IJCAI-07), pp. 2568-73.
  2. Nayak, Abhaya, Yin Chen and Fangzhen Lin, "Forgetting and Knowledge Update", Proceedings of the Nineteenth Australian Joint Conference of Artificial Intelligence (AI-06). Lecture Notes in Artificial Intelligence (LNAI 4304), pp. 131-40, Springer , 2006.
  3. Orgun, Mehmet, Chuchang Liu and Abhaya Nayak, "Representation and Integration of Knowledge based on Multiple Granularity of Time using Temporal Logic", in Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IEEE IRI-2006). pp. 256-61, IEEE, 2006.
  4. Nayak, Abhaya, Randy Goebel, Mehmet Orgun and Tam Pham, "Taking Levi Identity Seriously: a plea for iterated belief contraction", in Knowledge Science, Engineering and Management: First Intennational Conference (KSEM'06), Lecture Notes in Computer Science, pp. 305-17, Springer , 2006.
  5. Delgrande, Jim, Abhaya Nayak, and Maurice Pagnucco, "Conservative Belief Revision", in Proceedings of AAAI-2004, pp 251-256, 2004.
  6. Pozos Parra, Pilar, Abhaya Nayak, and Robert Demolombe, "Theories of Intentions in the Framework of Situation Calculus", in Proceedings of the Workshop on Declarative Agent Languages and Technologies at AAMAS, 2004.
  7. Vo, Quoc Bao, Abhaya Nayak and Norman Foo, "A Syntax-based Approach to Reasoning about Action and Belief Update", in In Moshe Y. Vardi and Andrei Voronkov, eds. 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'03, volume LNCS 2850, pages 274-288. Springer-Verlag, 2003.
  8. Delgrande, D., Nayak, A. and Pagnucco, P., "Prologomenon to a Theory of Conservative Belief Change", pp. 1391-93, Proceedings of the Eighteenth International Joint Conference of Artificial Intelligence (IJCAI-03).
  9. Kwok, R., Nayak, A. and Foo, N., "Coherence of Laws", pp. 1400-01, Proceedings of the Eighteenth International Joint Conference of Artificial Intelligence (IJCAI-03).
  10. Orgun, B., Pisan, Y., Nayak, A. and Vu, J., "Interoperability in heterogeneous medical information systems using smart mobile agents and HL7", Proceedings of the Fifth International Conference on Information Technology (CIT2002), Tata McGraw-Hill, 2002.
  11. Pisan, Y. and Nayak, A., "Increasing Believability: Agents That Justify Their Action", pp. 1347-50, Proceedings of the 10th IEEE International Fuzzy Systems Conference, 2001.
  12. Foo, N., Nayak, A., Pagnucco, M. and Zhang, D., "Minimization Re-visited", pp.153-164, Proceedings of the 14th Australian Joint Conference on Artificial Intelligence, (AI-2001), Springer 2001.
  13. Nayak, Abhaya C, "Acceptance Without Minimality", pp. 163-76, Proceedings of the 7th European Workshop on Logic in AI (JELIA-2000), Springer, 2000.
  14. Prokopenko, M., Pagnucco, M., Peppas, P., and Nayak, A. C., "A Unifying Semantics for Causal Ramifications", pp. 38-49, Proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI-2000), Springer, 2000.
  15. Kwok, Rex , Abhaya Nayak and Norman Foo, "Using Actions as Diagnostic Tools", Proceedings of International Conference on Information Technology (CIT-2000).
  16. Nayak, Abhaya C. and Norman Foo, "Abduction Without Minimality", pp. 365-377, Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI-99), Springer 1999.
  17. Prokopenko, Mikhail, Maurice Pagnucco, Pavlos Peppas and Abhaya Nayak, "Causal Propagation Semantics - A Study", pp. 378-392, Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI-99), Springer 1999.
  18. Peppas, P., Pagnucco, M., Prokopenko, M., Foo, N. Y., and Nayak, A. C., "Preferential Semantics for Causal Systems", pp. 118 - 213, Proceedings of the 16th International Joint Conference on Artificial Intelligence, (IJCAI-99), Morgan Kaufman, 1999.
  19. Foo, N., Pagnucco, M. and Nayak, A., "Diagrammatic Proofs", pp. 378 - 383, Proceedings of the 16th International Joint Conference on Artificial Intelligence, (IJCAI- 99), Morgan Kaufman 1999.
  20. Nayak, Abhaya and Norman Foo, "Reasoning Without Minimality", pp. 122-133, Proccedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI-98), Springer, 1998.
  21. Kwok, Rex B., Abhaya Nayak and Norman Foo, "CoherenceMeasure as Average Use of Formulas", pp. 553-564, Proccedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI-98), Springer, 1998.
  22. Kwok, Rex, Abhaya Nayak and Norman Foo, "A Notion of Correctness with Theories Containing Theoretical Terms", pp. 217-226, Proceedings of the 10th Australian Joint Conference on Artificial Intelligence (AI-97), Perth. Springer 1997.
  23. Foo, Norman, Yan Zhang, Pavlos Peppas, Maurice Pagnucco and Abhaya Nayak, "Action Localness, Genericity and Invariants in STRIPS", pp. 549-554, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, August 1997.
  24. Foo, N. Y., Nayak, A. C., and Pagnucco, M., Definitional Constraints, In Wahslter, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 65 - 69, August 1996.
  25. Nayak, A. C., Foo, N. Y., Pagnucco, M. and Peppas, P., Learning From Conditionals: Judy Benjamin's Other Problems, In Wahslter, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 75 - 79, August 1996.
  26. Peppas, P., Nayak, A. C., and Pagnucco, M., Foo, N. Y., Kwok R., and Prokopenko, M., Revision vs. Update: Taking a Closer Look, In Wahslter, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 95 - 99, August 1996.
  27. Nayak, A. C., Foo, N. Y., Pagnucco, M. and Sattar, A., Changing Conditional Beliefs Unconditionally, In Proceedings of the Sixth Conference on Theoretical Aspects Of Rationality And Knowledge (TARK VI), De Zeeuwse Stromen, The Netherlands, pp. 119 - 135, March 1996.
  28. Nayak, A. C., Pagnucco, M., Foo, N.Y. and Kwok, R., Entrenchment and Retractability: A Preliminary Report, In Yao, X. (Ed.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), pp. 219 - 226, Canberra, Australia, November 1995.
  29. Pagnucco, M., Nayak, A. C. and Foo, N.Y., Abductive Expansion: The Application of Abductive Inference to the Process of Belief Change, In Zhang, C., Debenham, J. and Lukose, D. (Eds.), Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence (AI94), pp. 267 - 274, Armidale, Australia, 1994.
  30. Nayak, A. C., Foo, N. Y., Pagnucco, M. and Sattar, A., Entrenchment Kinematics 101, In Zhang, C., Debenham, J. and Lukose, D. (Eds.), Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence, pp. 157 - 164. Armidale, Australia, 1994.

Refereed Workshop Papers:

  1. Orgun, Bhavna, Mark Dras, Steve Cassidy, and Abhaya Nayak, "DASMAS - Dialogue based Automation of Semantic interoperability in Multi Agent Systems", in Proceedings of the Australasian Ontology Workshop (AOW05), Sydney, Australia. CRPIT, 58. Meyer, T. and Orgun, M. A., Eds., ACS. 75-82.
  2. Delgrande, J., Nayak, A. and Pagnucco, P., "Conservative Belief Change: A Gricean Approach", pp. 73-79, Proceedings of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-03).
  3. Prokopenko, Mikhail, Maurice Pagnucco, Pavlos Peppas and Abhaya Nayak, "Capturing context in causal propagation", pp. 95 - 102, Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning and Change (NRAC'01), Seattle, USA, , August 2001.
  4. Nayak, Abhaya C. and Norman Y. Foo, "ReasoningWithout Minimality" (preliminary version), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change, held along with the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, August 1997.
  5. Nayak, Abhaya C., "Learning From Conditionals: Judy BenjaminÆs Other Problems" (preliminary version), pp. 48-61, Proceedings of the First Australian Workshop on Common Sense Reasoning (held with AI-95), G. Antoniou, et al. (Eds.), Canberra, November 1995.
  6. Pagnucco, M., Abhaya Nayak and Norman Foo, "An Epistemic Interpretation of Defaults", pp. 62-73, Proceedings of the First Australian Workshop on Common Sense Reasoning (held with AI-95), G. Antoniou, et al. (Eds.), Canberra, November 1995.
  7. Pagnucco, M., Nayak, A. C., and Foo, N. Y., "Abductive Reasoning, Belief Expansion and Nonmonotonic Consequence", Proceedings of the ICLP-95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge-based Systems, Shonan Village Center, Japan, June 1995.


¨ 2003 Macquarie University