Abhaya Nayak

Associate Professor

  • 390 Citations
  • 9 h-Index
19942019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Abstract

Interoperability in Heterogeneous Medical Information Systems using Smart Mobile Agents and HL7 (eMAGS)

Orgun, B., Pisan, Y., Nayak, A. & Vu, J., 2003, p. 127-130. 4 p.

Research output: Contribution to conferenceAbstract

Article

A causal model for fluctuating sugar levels in diabetes patients

Chhogyal, K., Nayak, A., Schwitter, R. & Sattar, A., 2012, In : Australasian Medical Journal. 5, 9, p. 497-502 6 p.

Research output: Contribution to journalArticle

An evolutionary GA-based approach for community detection in IoT

Mishra, S., Hota, C., Kumar, L. & Nayak, A., 19 Jun 2019, In : IEEE Access. 7, p. 100512-100534 23 p.

Research output: Contribution to journalArticle

Open Access
File
10 Downloads (Pure)

Approaches for semantic interoperability between domain ontologies

Orgun, B., Dras, M., Nayak, A. & James, G., Jul 2008, In : Expert Systems. 25, 3, p. 179-196 18 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

A syntax-based approach to reasoning about action and belief update

Vo, Q. B., Nayak, A. & Foo, N., Apr 2006, In : Journal of Logic and Computation. 16, 3, p. 315-338 24 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Belief change as change in epistemic entrenchment

Nayak, AC., Nelson, P. & Polansky, H., Nov 1996, In : Synthese. 109, 2, p. 143-174 32 p.

Research output: Contribution to journalArticle

Open Access

Coherence of laws

Kwok, R., Foo, N. Y. & Nayak, A. C., 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1400-1401 2 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Diagrammatic proofs

Foo, N. Y., Pagnucco, M. & Nayak, A. C., 1999, In : IJCAI International Joint Conference on Artificial Intelligence. 1, p. 378-383 6 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Dynamic belief revision operators

Nayak, A. C., Pagnucco, M. & Peppas, P., Jun 2003, In : Artificial Intelligence. 146, 2, p. 193-228 36 p.

Research output: Contribution to journalArticle

75 Citations (Scopus)

Foundational belief change

Nayak, A. C., Oct 1994, In : Journal of Philosophical Logic. 23, 5, p. 495-533 39 p.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Gricean belief change

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., Feb 2005, In : Studia Logica. 79, 1, p. 97-113 17 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Iterated belief change based on epistemic entrenchment

Nayak, A. C., Nov 1994, In : Erkenntnis. 41, 3, p. 353-390 38 p.

Research output: Contribution to journalArticle

109 Citations (Scopus)

Iterated belief contraction from first principles

Nayak, A. C., Goebel, R. & Orgun, M. A., 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 2568-2573 6 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Knowledge representation, reasoning and integration using temporal logic with clocks

Orgun, M. A., Liu, C. & Nayak, A. C., Nov 2008, In : Mathematics in Computer Science. 2, 1, p. 143-163 21 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Measuring similarity in belief revision

Peppas, P., Foo, N. & Nayak, A., Aug 2000, In : Journal of Logic and Computation. 10, 4, p. 603-619 17 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Preferential semantics for causal systems

Peppas, P., Pagnucco, M., Prokopenko, M., Foo, N. Y. & Nayak, A., 1999, In : IJCAI International Joint Conference on Artificial Intelligence. 1, p. 118-123 6 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Probabilistic belief contraction

Ramachandran, R., Ramer, A. & Nayak, A. C., Nov 2012, In : Minds and Machines. 22, 4, p. 325-351 27 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Prolegomenon to a theory of conservative belief revision

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1391-1393 3 p.

Research output: Contribution to journalArticle

Three Approaches to Iterated Belief Contraction

Ramachandran, R., Nayak, A. C. & Orgun, M. A., Feb 2012, In : Journal of Philosophical Logic. 41, 1, p. 115-142 28 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
Chapter

Abduction without minimality

Nayak, A. C. & Foo, N. Y., 1999, Advanced Topics in Artificial Intelligence: 12th Australian Joint Conference on Artificial Intelligence, AI’99 Sydney, Australia, December 6–10, 1999 Proceedings. Foo, N. (ed.). Berlin: Springer, Springer Nature, p. 365-377 13 p. (Lecture Notes in Computer Science; vol. 1747).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Causal propagation semantics—a study

Prokopenko, M., Pagnucco, M., Peppas, P. & Nayak, A., 1999, Advanced Topics in Artificial Intelligence: 12th Australian Joint Conference on Artificial Intelligence, AI’99 Sydney, Australia, December 6–10, 1999 Proceedings. Foo, N. (ed.). Berlin: Springer, Springer Nature, p. 378-392 15 p. (Lecture Notes in Computer Science; vol. 1747).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Coherence measure based on average use of formulas

Kwok, R., Nayak, A. & Foo, N., 1998, PRICAI'98: Topics in Artificial Intelligence: 5th Pacific Rim International Conference on Artificial Intelligence Singapore, November 22–27, 1998 Proceedings. Lee, H-Y. & Motoda, H. (eds.). Berlin: Springer, Springer Nature, p. 553-564 12 p. (Lecture Notes in Computer Science; vol. 1531).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Reasoning without minimality

Nayak, A. & Foo, N., 1998, PRICAI’98: Topics in Artificial Intelligence: 5th Pacific Rim International Conference on Artificial Intelligence Singapore, November 22–27, 1998 Proceedings. Lee, H-Y. & Motoda, H. (eds.). Berlin: Springer, Springer Nature, p. 122-133 12 p. (Lecture Notes in Computer Science; vol. 1531).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Two approaches to iterated belief contraction

Ramachandran, R., Nayak, A. C. & Orgun, M. A., 2009, Knowledge Science, Engineering and Management: Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings. Karagiannis, D. & Jin, Z. (eds.). Berlin: Institute of Electrical and Electronics Engineers (IEEE), p. 78-89 12 p. (Lecture Notes in Computer Science; vol. 5914).

Research output: Chapter in Book/Report/Conference proceedingChapter

Commissioned report
Open Access
File
107 Downloads (Pure)
Conference paper

Forgetting and Update - an exploration

Nayak, A. C., Chen, Y. & Lin, F., 2007, In : Formal Models of Belief Change in Rational Agents. p. 1-7 7 p.

Research output: Contribution to journalConference paper

Conference proceeding contribution

Academic integrity: bottom up

Nayak, A., Richards, D., Saddiqui, S., Homewood, J., White, F., McGuigan, N., Taylor, M. & Sureshkumar, P., 2013, From policy to practice - bridging the gap: a collection of talks presented at the 6APCEI. Nayak, A. & Saddiqui, S. (eds.). Sydney: Macquarie University, p. 41-58 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Acceptance without minimality

Nayak, A. C., 2000, Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29-October 2, 2000 Proceedings. Ojeda-Aciego, M., de Guzman, I. P., Brewka, G. & Pereira, L. M. (eds.). Berlin: Springer, Springer Nature, Vol. 1919. p. 163-178 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

Action localness, genericity and invariants in STRIPS

Foo, NY., Nayak, A., Pagnucco, M., Peppas, P. & Zhang, Y., 1995, IJCAI-95 - proceedings of the 14th international joint conference on artificial intelligence, vols 1 and 2. San Francisco, CA: MORGAN KAUFMANN PUB INC, p. 549-554 6 p. (INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

An empirical study of a simple naive Bayes classifier based on ranking functions

Chhogyal, K. & Nayak, A., 2016, AI 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference, Proceedings. Cham, Switzerland: Springer, Springer Nature, Vol. 9992 LNAI. p. 324-331 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9992 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

6 Citations (Scopus)

A notion of correctness with theories containing theoretical terms

Kwok, R. B. H., Nayak, A. & Foo, N., 1997, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Sattar, A. (ed.). Berlin; New York: Springer, Springer Nature, Vol. 1342. p. 217-226 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1342).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Approaches for semantic interoperability between domain ontologies

Orgun, B., Dras, M., Nayak, A. & James, G., 2006, Advances in ontologies 2006: Proceedings of the second Australasian ontology workshop (AOW 2006). Orgun, M. A. & Meyer, T. (eds.). Sydney: Australian Computer Society, Vol. 72. p. 41-50 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

A simple causal model for glucose metabolism in diabetes patients

Chhogyal, K., Nayak, A., Schwitter, R. & Sattar, A., 2011, Proceedings of the First Australian Workshop on Artificial Intelligence in Health (AIH 2011), held in conjunction with the 24th Australasian Joint Conference on Artificial Intelligence (AI 2011), 5th December, Perth, Australia. The Australian e-Health Research Centre, p. 9-18 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

A syntax-based approach to reasoning about actions and events

Vo, Q. B., Nayak, A. & Foo, N., 2003, Logic for Programming, Artificial Intelligence, and Reasoning. Carbonell, J. G. & Siekmann, J. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 2850. p. 274-288 15 p. (Lecture Notes in Computer Science; vol. 2850).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

A top-down approach for hierarchical cluster exploration by visualization

Zhang, K. B., Orgun, M. A., Busch, P. A. & Nayak, A. C., 2010, Advanced Data Mining and Applications - 6th International Conference, ADMA 2010, Proceedings. Cao, L., Feng, Y. & Zhong, J. (eds.). PART 1 ed. Berlin ; New York: Springer, Springer Nature, Vol. 6440 LNAI. p. 497-508 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6440 LNAI, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

A unifying framework for probabilistic belief revision

Zhuang, Z., Delgrande, J. P., Nayak, A. & Sattar, A., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). Sierra, C. (ed.). California: International Joint Conferences on Artificial Intelligence, p. 1370-1376 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)

A unifying semantics for causal ramifications

Prokopenko, M., Pagnucco, M., Peppas, P. & Nayak, A., 2000, PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 1886 LNAI. p. 38-49 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1886 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

A value-based trust assessment model for multi-agent systems

Chhogyal, K., Nayak, A., Ghose, A. & Dam, H. K., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). Kraus, S. (ed.). California: International Joint Conferences on Artificial Intelligence, p. 194-200 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Belief change and non-monotonic reasoning sans compactness

S. Ribeiro, J., Nayak, A. & Wassermann, R., 23 Jul 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence: AAAI 2019. California, USA: Association for the Advancement of Artificial Intelligence, p. 3019-3026 8 p. (AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Belief erasure using partial imaging

Ramachandran, R., Nayak, A. C. & Orgun, M. A., 2010, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Proceedings. Li, J. (ed.). Berlin: Springer, Springer Nature, Vol. 6464 LNAI. p. 52-61 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6464 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)

Belief update without compactness in non-finitary languages

S. Ribeiro, J., Nayak, A. & Wassermann, R., Aug 2019, Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). Kraus, S. (ed.). California: International Joint Conferences on Artificial Intelligence, p. 1858-1864 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Biomarker information extraction tool (BIET) development using natural language processing and machine learning

Islam, M. T., Shaikh, M., Nayak, A. & Ranganathan, S., 2010, ICWET 2010 - International Conference and Workshop on Emerging Trends in Technology 2010, Conference Proceedings. New York: ACM, p. 121-126 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

7 Citations (Scopus)

Capturing context in causal propagation

Prokopenko, M., Pagnucco, M., Peppas, P. & Nayak, A., 2001, Proceedings Of The Fourth International Workshop On Nonmonotonic Reasoning, Action and Change. Thielscher, M. & William, M-A. (eds.). San Francisco: Morgan Kaufmann Publishers, p. 95-102 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Causal basis for probabilistic belief change: distance vs. closeness

Mishra, S. & Nayak, A., 2016, Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Proceedings. Sombattheera, C., Stolzenburg, F., Lin, F. & Nayak, A. (eds.). Cham, Switzerland: Springer, Springer Nature, Vol. 10053 LNAI. p. 112-125 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10053 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Conservative belief change

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., 2004, Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-04): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004). Menlo Park, CL, London: Association for the Advancement of Artificial Intelligence, p. 251-256 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Conservative belief revision

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., 2004, Proceedings: Nineteenth National Conference on Artificial Intelligence (AAAI-04) : Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04). McGuinness, D. L. & Ferguson, G. (eds.). California, USA: Association for the Advancement of Artificial Intelligence, p. 251-256 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

DASMAS: dialogue based automation of semantic interoperability in multi agent systems

Orgun, B., Dras, M., Cassidy, S. & Nayak, A., 2005, Advances in ontologies 2005: proceedings of the Australasian Ontology Workshop (AOW 2005), Sydney, Australia, 6 December 2005. Meyer, T. & Orgun, M. A. (eds.). Australia: Australian Computer Society, p. 75-82 8 p. (Conferences in research and practice in information technology; vol. 58).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Distributed genetic algorithm on graphX

Mishra, S., Lee, Y. C. & Nayak, A., 2016, AI 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference, Proceedings. Cham, Switzerland: Springer, Springer Nature, Vol. 9992 LNAI. p. 548-554 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9992 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Extracting biomarker information applying natural language processing and machine learning

Islam, M. T., Shaikh, M., Nayak, A. & Ranganathan, S., 2010, 2010 4th International Conference on Bioinformatics and Biomedical Engineering, iCBBE 2010. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-4 4 p. 5514717

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
1 Citation (Scopus)
36 Downloads (Pure)

Forgetting and knowledge update

Nayak, A., Chen, Y. & Lin, F., 2006, AI 2006: Advances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings. Sattar, A. & Kang, B-H. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 4304 LNAI. p. 131-140 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4304 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

9 Citations (Scopus)