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

2006

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 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)

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)

Representation and integration of knowledge based on multiple granularity of time using temporal logic

Orgun, M. A., Liu, C. & Nayak, A. C., 2006, Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006. Zhang, D., Khoshgoftaar, T. M. & Joshi, J. B. D. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 256-261 6 p. 4018499

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

Open Access
File
6 Citations (Scopus)

Taking LEVI IDENTITY seriously: A plea for iterated belief contraction

Nayak, A., Goebel, R., Orgun, M. & Pham, T., 2006, Knowledge Science, Engineering and Management - First International Conference, KSEM 2006, Proceedings. Berlin, New York: Springer, Springer Nature, Vol. 4092 LNAI. p. 305-317 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4092 LNAI).

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

16 Citations (Scopus)
2005

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

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)

Theories of intentions in the framework of situation calculus

Parra, P. P., Nayak, A. & Demolombe, R., Jul 2005, Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers. Leite, J., Omicini, A., Torroni, P. & Yolum, P. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 3476 LNAI. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3476 LNAI).

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

6 Citations (Scopus)
2004

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

2003

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

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)

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)

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

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

2001

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

Increasing believability: agents that justify their actions

Pisan, Y. & Nayak, A., Dec 2001, IEEE International Conference on Fuzzy Systems. Liu, Z-Q. (ed.). Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE), Vol. 3. p. 1347-1350 4 p. 1008907

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

2 Citations (Scopus)

State minimization re-visited

Foo, N., Nayak, A., Pagnucco, M. & Zhang, D., 2001, AI 2001: Advances in Artificial Intelligence: 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings. Stumptner, M., Corbett, D. & Brooks, M. (eds.). Berlin: Springer, Springer Nature, Vol. 2256. p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2256).

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

1 Citation (Scopus)
2000

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)

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)

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)
1999

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)

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)

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)
1998

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)
1997

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

1996

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
1995

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

1994

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)

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)