Abhaya Nayak

Associate Professor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1994 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference proceeding contribution

Search results

  • 2020

    Non-monotonic reasoning for machine ethics with situation calculus

    Limarga, R., Pagnucco, M., Song, Y. & Nayak, A., 2020, AI 2020: Advances in Artificial Intelligence: 33rd Australasian Joint Conference, AI 2020 Canberra, ACT, Australia, November 29–30, 2020, Proceedings. Gallagher, M., Moustafa, N. & Lakshika, E. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 203-215 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12576 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • 2019

    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 contributionpeer-review

    3 Citations (Scopus)
  • 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 contributionpeer-review

    Open Access
    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 contributionpeer-review

  • 2018

    Maximizing expected impact in an agent reputation network

    Rens, G., Nayak, A. & Meyer, T., 1 Jan 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018, Proceedings. Trollmann, F. & Turhan, A-Y. (eds.). Switzerland: Springer-VDI-Verlag GmbH & Co. KG, p. 99-106 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11117 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • Probabilistic belief revision via similarity of worlds modulo evidence

    Rens, G., Meyer, T., Kern-Isberner, G. & Nayak, A., 1 Jan 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018, Proceedings. Trollmann, F. & Turhan, A-Y. (eds.). Cham, Switzerland: Springer-VDI-Verlag GmbH & Co. KG, p. 343-356 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11117 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • Towards belief contraction without compactness

    S. Ribeiro, J., Nayak, A. & Wassermann, R., 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018. Thielscher, M., Toni, F. & Wolter, F. (eds.). California: Association for the Advancement of Artificial Intelligence, p. 287-296 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    3 Citations (Scopus)
  • 2017

    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 contributionpeer-review

    3 Citations (Scopus)
  • 2016

    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 contributionpeer-review

    8 Citations (Scopus)
  • 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 contributionpeer-review

    1 Citation (Scopus)
  • 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 contributionpeer-review

    2 Citations (Scopus)
  • Reconsidering AGM-style belief revision in the context of logic programs

    Zhuang, Z., Delgrande, J. P., Nayak, A. & Sattar, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. Kaminka, G. A., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). Amsterdam, Netherlands: IOS Press, p. 671-679 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    Open Access
    File
    6 Citations (Scopus)
    129 Downloads (Pure)
  • 2015

    On the KL divergence of probability mixtures for belief contraction

    Chhogyal, K., Nayak, A. & Sattar, A., 2015, KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Hölldobler, S., Krötzsch, M., Peñaloza, R. & Rudolph, S. (eds.). Cham: Springer, Springer Nature, p. 249-255 7 p. A20. (Lecture Notes in Computer Science; vol. 9324).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • Probabilistic belief contraction: Considerations on epistemic entrenchment, probability mixtures and KL divergence

    Chhogyal, K., Nayak, A. & Sattar, A., Dec 2015, AI 2015: Advances in Artificial Intelligence: 28th Australasian Joint Conference, Proceedings. Pfahringer, B. & Renz, J. (eds.). Berlin; New York: Springer, Springer Nature, p. 109-122 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9457).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • Probabilistic belief contraction using argumentation

    Chhogyal, K., Nayak, A., Zhuang, Z. & Sattar, A., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015. Yang, Q. & Wooldridge, M. (eds.). Palo Alto, CA: Association for the Advancement of Artificial Intelligence, p. 2854-2860 7 p. (International Joint Conference on Artificial Intelligence Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    3 Citations (Scopus)
  • 2014

    Probabilistic belief revision via imaging

    Chhogyal, K., Nayak, A., Schwitter, R. & Sattar, A., 2014, PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings. Pham, D-N. & Park, S-B. (eds.). 1st ed. Cham: Springer, Springer Nature, Vol. 8862. p. 694-707 14 p. (Lecture Notes in Artificial Intelligence; vol. 8862).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    6 Citations (Scopus)
  • 2013

    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 contributionpeer-review

  • 2012

    Trust in context

    Nayak, A. C., 2012, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Proceedings. Thielscher, M. & Zhang, D. (eds.). Heidelberg, Germany: Springer, Springer Nature, Vol. 7691 LNAI. p. 517-529 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7691 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • 2011

    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 contributionpeer-review

  • Is revision a special kind of update?

    Nayak, A. C., 2011, AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Proceedings. Wang, D. & Reynolds, M. (eds.). Heidelberg, Germany ; London: Springer, Springer Nature, Vol. 7106 LNAI. p. 432-441 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7106 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    6 Citations (Scopus)
  • 2010

    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 contributionpeer-review

    2 Citations (Scopus)
  • 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 contributionpeer-review

    3 Citations (Scopus)
  • 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 contributionpeer-review

    7 Citations (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 contributionpeer-review

    Open Access
    File
    1 Citation (Scopus)
    144 Downloads (Pure)
  • Geospatial editing over a federated cloud geodatabase for the state of NSW

    Janakiraman, K. K., Orgun, M. A. & Nayak, A., 2010, 18th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2010. New York: ACM, p. 144-151 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    2 Citations (Scopus)
  • Temporal belief-change: κ-functions approach

    Hezart, A., Nayak, A. & Orgun, M. A., 2010, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Proceedings. Li, J. (ed.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 6464 LNAI. p. 11-21 11 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 contributionpeer-review

  • The deficit and dynamics of trust

    Nayak, A. C., 2010, Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010. Werner, B. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 517-522 6 p. 5703570

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    Open Access
    File
    2 Citations (Scopus)
    12 Downloads (Pure)
  • The discovery of hierarchical cluster structures assisted by a visualization technique

    Zhang, K. B., Orgun, M. A., Zhao, Y. & Nayak, A. C., 2010, Neural Information Processing: Theory and Algorithms - 17th International Conference, ICONIP 2010, Proceedings. Wong, K. W., Mendis, B., Sumudu, U. & Bouzerdoum, A. (eds.). PART 1 ed. Berlin: Springer, Springer Nature, Vol. 6443 LNCS. p. 703-711 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6443 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • 2008

    The reactive-causal architecture: towards development of believable agents

    Aydin, A. O., Orgun, M. A. & Nayak, A., 2008, Intelligent Virtual Agents: 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings. Prendinger, H., Lester, J. & Ishizuka, M. (eds.). Berlin, Vol. 5208 LNAI. p. 468-469 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5208 LNAI).

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

    1 Citation (Scopus)
  • The reactive-causal architecture: combining intentional notion and theories of needs

    Aydin, A. O., Orgun, M. A. & Nayak, A., 2008, Proceedings of the 7th IEEE International Conference on Cognitive Informatics, ICCI 2008. Wang, Y., Zhang, D., Latombe, J-C. & Kinsner, W. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 50-59 10 p. 4639150

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    5 Citations (Scopus)
  • Towards context sensitive defeasible rules

    Hezart, A., Nayak, A. & Orgun, M., 2008, Computational logic in multi-agent systems: 8th international workshop, CLIMA VIII, Porto, Portugal, September 2007; revised selected and invited papers. Sadri, F. & Satoh, K. (eds.). Berlin: Springer, Springer Nature, p. 193-213 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5056 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • 2007

    Intelligent agent system for bio-medical literature mining

    Islam, M. T., Bollina, D., Nayak, A. & Ranganathan, S., 2007, ICICT 2007: Proceedings of International Conference on Information and Communication Technology. Kabir, S. M. L. (ed.). Dhaka, Bangladesh: ICICT, p. 57-63 7 p. 4261365

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    Open Access
    File
    21 Downloads (Pure)
  • 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 contributionpeer-review

  • 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 contributionpeer-review

    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 contributionpeer-review

    Open Access
    File
    6 Citations (Scopus)
    1 Downloads (Pure)
  • 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 contributionpeer-review

    20 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 contributionpeer-review

  • 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 contributionpeer-review

    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 contributionpeer-review

    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 contributionpeer-review

  • 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 contributionpeer-review

  • 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 contributionpeer-review

    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 contributionpeer-review

    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 contributionpeer-review

    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 contributionpeer-review

    2 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 contributionpeer-review

  • 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 contributionpeer-review