ISG@Macquarie

        Abhaya Nayak
            Intelligent Systems Group

Home

Contact

Bio-sketch

Teaching

Research

Publications

Service

 

 

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:  

  1. Sombattheera, C, F. Stolzenburg, F. Lin and AC Nayak (editors). The Proceedings of the 10th Multi-disciplinary International Workshop on Artificial Intelligence, Springer Lecture Notes in Computer Science, 2016, ISBN 978-3-319-49396-1.
  2. Cranefield, S. and A. Nayak (editors). The Proceedings of the 26th Australasian Joint Con- ference on Artificial Intelligence (AI-2013), Dunedin, New Zealand, December 1-6, 2013, Springer Lecture Notes in Computer Science Volume 8272 2013 . ISBN 978-3-319-03679-3. xxi+516 pages.
  3. Nayak, A and S. Saddiqui (editors). From policy to practice - bridging the gap (Proceedings of the 6th Asia Pacific Conference on Educational Integrity), Macquarie University, Sydney, October 2-4, 2013. http://web.science.mq.edu.au/conferences/6apcei/Proceedings/6APCEI_Proceedings.pdf
  4. Panda, B. S. and A. Nayak (editors). The Proceedings of the 11th International Conference on Information Technology (ICIT 2008), Bhubaneswar, India, 17-20 December 2008, IEEE Computer Society. ISBN 13: 978-0-7695-3513-5. xv+310 pages.
  5. Meyer, T. and A. Nayak (editors). Advances in Ontologies 2007: The Proceedings of the 3rd Australasian Ontology Workshop (AOW 2007), Gold Coast, Australia, 2 December 2007, Conferences in Research and Practice in Information Technology (CRPIT), Vol.86, Australian Computer Society, Sydney. ISBN 978-1-920682-66-8. ISSN 1445-1336. 8 Papers, x+71 pages, digital edition.
  6. Nayak, A. C., and Pagnucco, M. (eds), Proceedings of the Second Australian Workshop on Commonsense Reasoning, Perth, Australia, December 1997.

Journal Papers:

  1. Ramachandran, R., A. C. Nayak and M. Orgun; Three Approaches to Iterated Belief Contraction. Journal of Philosophical Logic. Volume 41(1), Pages 115-142, 2012.
  2. Ramachandran, R., A. Ramer and A. C. Nayak: Probabilistic Belief Contraction. Minds and Machines. 22(4): 325-351, 2012.
  3. Chhogyal, K., A. Nayak, R. Schwitter and A. Sattar. A Causal Model for Fluctuating Sugar Levels in Diabetes Patients. Australasian Medical Journal. Vol. 5, No. 9, pp. 497-502, 2012.
  4. Orgun, B., Mark Dras, Abhaya Nayak, Geoff James: Approaches for semantic interoperability betweendomainontologies. ExpertSystems. Volume25(3),Pages179-196,2008.
  5. Orgun, M., C. Liu and A. Nayak; Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Mathematics in Computer Science. Volume 2 (1), pp.143-163, 2008.
  6. 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.
  7. Delgrande, Jim, Abhaya Nayak, and Maurice Pagnucco, "Gricean Belief Change", in Studia Logica 79, pp. 97-113, 2005.
  8. Nayak, Abhaya, Maurice Pagnucco and Pavlos Peppas, "Dynamic Belief Revision Operators", in Artificial Intelligence Journal, 146, pp. 193-228, 2003.
  9. Peppas, Pavlos, Norman Foo and Abhaya Nayak, "Measuring Similarity in Belief Revision", in Journal of Logic and Computation, 10: 603-619, 2000.
  10. Nayak, Abhaya C., Paul Nelson and Hanan Polansky, "Belief Change as Change in Epistemic Entrenchment", in Synthese, vol. 109, pp. 143-174, November 1996.
  11. Nayak, Abhaya and Eric Sotnak, "Kant on the Impossibility of `Soft Sciences'", in Philosophy and Phenomenological Research, pp. 131-151, March, 1995.
  12. Nayak, Abhaya, C., "Iterated Belief Change Based on Epistemic Entrenchment", in Erkenntnis, vol. 41, pp. 353-390, 1994.
  13. Nayak, Abhaya, C., "Foundational Belief Change", in Journal of Philosophical Logic, vol. 23, pp. 495-533, 1994.

Refereed Conference Papers:

  1. Ribeiro, JS, A. Nayak and R. Wassermann. Towards Belief Contraction without Compactness. KR-2018: 16th International Conference on Principles of Knowledge Representation and Reasoning (2018, forthcoming).
  2. Rens, G, T. Meyer, G. Kern-Isberner, and A. Nayak. Probabilistic Belief Revision via Similarity of Worlds. 41th German Conference on Artificial Intelligence (2018, forthcoming).
  3. Rens, G, A. Nayak, and T. Meyer. Maximizing Expected Impact in an Agent Reputation Network. 41th German Conference on Artificial Intelligence (2018, forthcoming).
  4. Zhuang, Z, J. Delgrande, A. C. Nayak, and A. Sattar. A Unifying Framework for Probabilistic Belief Revision. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17), pp. 1370-1376, 2017.
  5. Zhuang, Z, J. Delgrande, A. C. Nayak, and A. Sattar. Reconsidering AGM-Style Belief Re- vision in the Context of Logic Programs. Proceedings of the 2nd European Conference on Artificial Intelligence (ECAI-16), pp. 671-679, 2016.
  6. Zhuang, Z, J. Delgrande, A. C. Nayak and A. Sattar. A New Approach for Revising Extended Logic Programs. Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR-16), pp. 171-76, 2016.
  7. Mishra, S and A. C. Nayak. Causal Basis for Probabilistic Belief Change: Distance vs. Closeness. Multi-disciplinary Trends in Artificial Intelligence, MIWAI-16 2016, Springer pp. 112 - 125, Springer, 2016.
  8. Mishra, S, YC Lee and A. C. Nayak. Distributed Genetic Algorithm on GraphX. Proceedings of the 29th Australasian Joint Conference (AI-16), pp. 348 - 354, Springer, 2016.
  9. Chhogyal, K and A. C. Nayak. An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions. Proceedings of the 29th Australasian Joint Conference (AI-16), pp. 324 - 331, Springer, 2016.
  10. Chhogyal, K, A. C. Nayak, Z. Zhuang and A. Sattar. Probabilistic belief contraction using argumentation. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), pp. 2854-2860, 2015.
  11. Chhogyal, K, A. C. Nayak and A. Sattar. On the KL Divergence of Probability Mixtures for Belief Contraction. Proceedings of the 38th German Conference on Artificial Intelligence (KI- 2015), S. Hölldobler, M. Krötzsch, R. Peñaloza and S. Rudolph (Eds), pp. 249-255, Springer, 2015.
  12. Chhogyal, K, A. C. Nayak and A. Sattar. Probabilistic Belief Contraction: Considerations on epistemic entrenchment, probability mixtures and KL divergence. Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI-2015), pp.109-122, Springer, 2015.
  13. Chhogyal, K, A. Nayak, R. Schwitter and A. Sattar. Probabilistic Belief Revision via Imaging. Procs of the 13th Pacific Rim International Conference on AI (PRICAI). pp. 694-707. 2014.
  14. Nayak, A., et al. Academic Integrity: Bottom Up. In: From policy to practice -- bridging the gap (Proceedings of the 6th Asia Pacific Conference on Educational Integrity), Macquarie University, Sydney, October 2-4, 2013; pp.41-58. http://web.science.mq.edu.au/conferences/6apcei/Proceedings/6APCEI_Proceedings.pdf
  15. Nayak, A. C. Trust in Context, Proceedings of the 25th Australasian Conference on Artificial Intelligence, pp. 517-529, Springer, 2012.
  16. Nayak, A. C. Is Revision a Special Kind of Update?, Proceedings of the 24th Australasian Conference on Artificial Intelligence, pp. 432-441, Springer, 2011. (cite: 8)
  17. Chhogyal, K, A. C. Nayak, R Schwitter and A Sattar. A Simple Causal Model For Glucose Metabolism In Diabetes Patients. Proceedings of the first Australasian Workshop on Artificial Intelligence in Health (AIH-2011), held in conjunction with the 24th Australasian Conference on Artificial Intelligence, Khanna, S, et al (eds), pp. 9-18, 2011.
  18. Nayak, A. C. The Deficit and Dynamics of Trust, Proceedings of the Sixth IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), published as part of the Procs. of the 2010 IEEE/IFIP International Conf. on Embedded and Ubiquitous Computing, pp. 517-22, 2010.
  19. Ramachandran, R, Nayak, A. C. and MA Orgun. Belief Erasure using Partial Imaging; Pro- ceedings of the Twenty third Australasian Joint Conference on Artificial Intelligence (AI-10). Lecture Notes in Artificial Intelligence, Springer, 2010. pp. 52-61, 2010.
  20. Hezart,A., AC Nayak and MA Orgun. Temporal Belief change: kappa-functions Approach; Proceedings of the Twenty third Australasian Joint Conference on Artificial Intelligence (AI-10). Lecture Notes in Artificial Intelligence, Springer, 2010. pp. 11-21, 2010.
  21. Janakiraman, K., MA Orgun and A. C. Nayak; Geospatial editing over a federated cloud geo-database for the State of NSW (Industry Paper), Proceedings of the18th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, pp. 144-51, 2010.
  22. Zhang, K., MA Orgun, Y. Zhao and A. C. Nayak; The Discovery of Hierarchical Cluster Struc- tures Assisted by a Visualization Technique. Proceedings of the 17th International Conference on Neural Information Processing; pp. 703-11, 2010.
  23. Zhang, K., MA Orgun, P. Busch and A. C. Nayak; A Top-down Approach for Hierarchical Cluster Exploration by Visualization. Proceedings of the 6th International Conference on Ad- vanced Data Mining and Applications (ADMA2010); pp. 497-508, 2010.
  24. Islam, M., M. Shaikh, A. Nayak, and S. Ranganathan: Biomarker Information Extraction Tool (BIET) Development using Natural Language Processing and Machine Learning. In Proceedings of the International Conference and Workshop on Emerging trends in technology 2010 (ICWET-2010); ACM, pp. 121-126, 2010.
  25. Ramachandran, R., A. Nayak and M. A. Orgun; Two Approaches to Iterated Belief Contraction. In Proceedings of The 3rd International Conference on Knowledge Science, Engineering and Management (KSEM-2009). LNCS Vol. 5914, pp. 78-89, Springer, 2009.
  26. Aydin, A, M. Orgun, A. Nayak: The reactive-causal architecture: Combining intentional notion and theories of needs. InY. Wang, D. Zhang, J. C. Latombe, and W. Kinsner (Eds.), Proceedings of The 7th IEEE International Conference on Cognitive Informatics (ICCI-08), Stanford University, California, USA, August 14-16, pp. 50-59, IEEE Computer Society Press, 2008.
  27. Hezart, A., A. Nayak and M.A. Orgun; Towards Context Dependent Defeasible Rules. In F. Sadri and K. Satoh (editors), Computational Logic in Multi Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 2007, Revised Selected and Invited Pa- pers, Lecture Notes in Artificial Intelligence, Vol. 5056, Springer-Verlag, 2008, pages 193-213.
  28. A. O. Aydin, M. A. Orgun and A. Nayak; The Reactive-Causal Architecture: Towards Devel-opment of Believable Agents. In H. Prendinger, J. Lester and M. Ishizuka (Eds.), Proceedings of the Eight International Conference on Intelligent Virtual Agents (IVA 2008), September 1-3, Tokyo, Japan, Lecture Notes in Artificial Intelligence (LNAI), Vol.5208, Springer-Verlag, pp.468-469, 2008.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. Delgrande, Jim, Abhaya Nayak, and Maurice Pagnucco, "Conservative Belief Revision", in Proceedings of AAAI-2004, pp 251-256, 2004.
  34. 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.
  35. 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.
  36. 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).
  37. 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).
  38. 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.
  39. 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.
  40. 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.
  41. Nayak, Abhaya C, "Acceptance Without Minimality", pp. 163-76, Proceedings of the 7th European Workshop on Logic in AI (JELIA-2000), Springer, 2000.
  42. 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.
  43. Kwok, Rex , Abhaya Nayak and Norman Foo, "Using Actions as Diagnostic Tools", Proceedings of International Conference on Information Technology (CIT-2000).
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
Other:

  1. Nayak, A., D. Richards, J. Homewood, M. Taylor and S. Saddiqui. Academic Integrity in Australia - Understanding and Changing Culture and Practice, Final Report 2015. ISBN 978- 1-76028-288-2. http://www.olt.gov.au/resource-academic-integrity-Australia.


2003 Macquarie University