Foundational belief change. - Abhaya C. Nayak (J. Philos. Log., 1994)

Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. - Maurice Pagnucco; Abhaya C. Nayak; Norman Y. Foo (Deductive Databases / Abduction in Deductive Databases, 1995)

Definitional Constraints. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco (ECAI, 1996)

Learning From Conditionals: Judy Benjamin's Other Problems. - Abhaya C. Nayak; Maurice Pagnucco; Norman Y. Foo; Pavlos Peppas (ECAI, 1996)

Revision vs. Update: Taking a Closer Look. - Pavlos Peppas; Abhaya C. Nayak; Maurice Pagnucco; Norman Y. Foo; Rex Bing Hung Kwok; Mikhail Prokopenko (ECAI, 1996)

Changing Conditional Belief Unconditionally. - Abhaya C. Nayak; Norman Y. Foo; Maurice Pagnucco; Abdul Sattar 001 (TARK, 1996)

Belief change as change in epistemic entrenchment. - Abhaya C. Nayak; Paul Nelson; Hanan Polansky (Synth., 1996)

A Notion of Correctness with Theories Containing Theoretical Terms. - Rex Bing Hung Kwok; Abhaya C. Nayak; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1997)

Action Localness, Genericity and Invariants in STRIPS. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Pavlos Peppas; Yan Zhang 003 (IJCAI (1), 1997)

Coherence Measure Based on Average Use of Formulas. - Rex Bing Hung Kwok; Abhaya C. Nayak; Norman Y. Foo (PRICAI, 1998)

Reasoning without Minimality. - Abhaya C. Nayak; Norman Y. Foo (PRICAI, 1998)

Abduction without Minimality. - Abhaya C. Nayak; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1999)

Causal Propagation Semantics - A Study. - Mikhail Prokopenko; Maurice Pagnucco; Pavlos Peppas; Abhaya C. Nayak (Australian Joint Conference on Artificial Intelligence, 1999)

Diagrammatic Proofs. - Norman Y. Foo; Maurice Pagnucco; Abhaya C. Nayak (IJCAI, 1999)

Preferential Semantics for Causal Systems. - Pavlos Peppas; Maurice Pagnucco; Mikhail Prokopenko; Norman Y. Foo; Abhaya C. Nayak (IJCAI, 1999)

Acceptance Without Minimality. - Abhaya C. Nayak (JELIA, 2000)

A Unifying Semantics for Causal Ramifications. - Mikhail Prokopenko; Maurice Pagnucco; Pavlos Peppas; Abhaya C. Nayak (PRICAI, 2000)

Measuring similarity in belief revision. - Pavlos Peppas; Norman Y. Foo; Abhaya C. Nayak (J. Log. Comput., 2000)

State Minimization Re-visited. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Dongmo Zhang (Australian Joint Conference on Artificial Intelligence, 2001)

Increasing Belivability: Agents That Justify Their Actions. - Yusuf Pisan; Abhaya C. Nayak (FUZZ-IEEE, 2001)

Prolegomenon to a Theory of Conservative Belief Revision. - James P. Delgrande; Abhaya C. Nayak; Maurice Pagnucco (IJCAI, 2003)

Coherence of Laws. - Rex Bing Hung Kwok; Norman Y. Foo; Abhaya C. Nayak (IJCAI, 2003)

A Syntax-Based Approach to Reasoning about Actions and Events. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (LPAR, 2003)

Dynamic belief revision operators. - Abhaya C. Nayak; Maurice Pagnucco; Pavlos Peppas (Artif. Intell., 2003)

Conservative Belief Revision. - James P. Delgrande; Abhaya C. Nayak; Maurice Pagnucco (AAAI, 2004)

Theories of Intentions in the Framework of Situation Calculus. - Maria del Pilar Pozos Parra; Abhaya C. Nayak; Robert Demolombe (DALT, 2004)

Iterated Belief Change and the Levi Identity. - Abhaya C. Nayak; Randy Goebel; Mehmet A. Orgun; Tam Pham (Belief Change in Rational Agents, 2005)

Gricean Belief Change. - James P. Delgrande; Abhaya C. Nayak; Maurice Pagnucco (Stud Logica, 2005)

Forgetting and Knowledge Update. - Abhaya C. Nayak; Yin Chen 005; Fangzhen Lin (Australian Conference on Artificial Intelligence, 2006)

Representation and integration of knowledge based on multiple granularity of time using temporal logic. - Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak (IRI, 2006)

Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. - Abhaya C. Nayak; Randy Goebel; Mehmet A. Orgun; Tam Pham (KSEM, 2006)

A Syntax-based Approach to Reasoning about Action and Belief Update. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (J. Log. Comput., 2006)

Towards Context Sensitive Defeasible Rules. - Armin Hezart; Abhaya C. Nayak; Mehmet A. Orgun (CLIMA, 2007)

Forgetting and Update – an exploration. - Abhaya C. Nayak; Yin Chen 005; Fangzhen Lin (Formal Models of Belief Change in Rational Agents, 2007)

Iterated Belief Contraction from First Principles. - Abhaya C. Nayak; Randy Goebel; Mehmet A. Orgun (IJCAI, 2007)

The reactive-causal architecture: Combining intentional notion and theories of needs. - Ali Orhan Aydin; Mehmet A. Orgun; Abhaya C. Nayak (IEEE ICCI, 2008)

The Reactive-Causal Architecture: Towards Development of Believable Agents. - Ali Orhan Aydin; Mehmet A. Orgun; Abhaya C. Nayak (IVA, 2008)

Approaches for semantic interoperability between domain ontologies. - Bhavna Orgun; Mark Dras; Abhaya C. Nayak; Geoff James (Expert Syst. J. Knowl. Eng., 2008)

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. - Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak (Math. Comput. Sci., 2008)

Two Approaches to Iterated Belief Contraction. - Raghav Ramachandran; Abhaya C. Nayak; Mehmet A. Orgun (KSEM, 2009)

A Top-Down Approach for Hierarchical Cluster Exploration by Visualization. - Ke-Bing Zhang; Mehmet A. Orgun; Peter Anthony Busch; Abhaya C. Nayak (ADMA (1), 2010)

Temporal Belief-Change: kappa-functions Approach. - Armin Hezart; Abhaya C. Nayak; Mehmet A. Orgun (Australasian Conference on Artificial Intelligence, 2010)

Belief Erasure Using Partial Imaging. - Raghav Ramachandran; Abhaya C. Nayak; Mehmet A. Orgun (Australasian Conference on Artificial Intelligence, 2010)

The Deficit and Dynamics of Trust. - Abhaya C. Nayak (EUC, 2010)

Geospatial editing over a federated cloud geodatabase for the state of NSW. - Kalyan K. Janakiraman; Mehmet A. Orgun; Abhaya C. Nayak (GIS, 2010)

The Discovery of Hierarchical Cluster Structures Assisted by a Visualization Technique. - Ke-Bing Zhang; Mehmet A. Orgun; Yanchang Zhao; Abhaya C. Nayak (ICONIP (1), 2010)

Biomarker information extraction tool (BIET) development using natural language processing and machine learning. - Md. Tawhidul Islam; M. Shaikh; Abhaya C. Nayak; Shoba Ranganathan (ICWET, 2010)

Is Revision a Special Kind of Update? - Abhaya C. Nayak (Australasian Conference on Artificial Intelligence, 2011)

Trust in Context. - Abhaya C. Nayak (Australasian Conference on Artificial Intelligence, 2012)

Three Approaches to Iterated Belief Contraction. - Raghav Ramachandran; Abhaya C. Nayak; Mehmet A. Orgun (J. Philos. Log., 2012)

Probabilistic Belief Contraction. - Raghav Ramachandran; Arthur Ramer; Abhaya C. Nayak (Minds Mach., 2012)

Probabilistic Belief Revision via Imaging. - Kinzang Chhogyal; Abhaya C. Nayak; Rolf Schwitter; Abdul Sattar 001 (PRICAI, 2014)

Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence. - Kinzang Chhogyal; Abhaya C. Nayak; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2015)

Probabilistic Belief Contraction Using Argumentation. - Kinzang Chhogyal; Abhaya C. Nayak; Zhiqiang Zhuang; Abdul Sattar 001 (IJCAI, 2015)

On the KL Divergence of Probability Mixtures for Belief Contraction. - Kinzang Chhogyal; Abhaya C. Nayak; Abdul Sattar 001 (KI, 2015)

An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions. - Kinzang Chhogyal; Abhaya C. Nayak (Australasian Conference on Artificial Intelligence, 2016)

Distributed Genetic Algorithm on GraphX. - Seemran Mishra; Young Choon Lee; Abhaya C. Nayak (Australasian Conference on Artificial Intelligence, 2016)

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (ECAI, 2016)

Causal Basis for Probabilistic Belief Change: Distance vs. Closeness. - Seemran Mishra; Abhaya C. Nayak (MIWAI, 2016)

A New Approach for Revising Logic Programs. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (CoRR, 2016)

A Unifying Framework for Probabilistic Belief Revision. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (IJCAI, 2017)

Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. - Gavin Rens; Thomas Andreas Meyer; Gabriele Kern-Isberner; Abhaya Nayak (KI, 2018)

Maximizing Expected Impact in an Agent Reputation Network. - Gavin Rens; Abhaya Nayak; Thomas Andreas Meyer (KI, 2018)

Towards Belief Contraction without Compactness. - Jandson S. Ribeiro; Abhaya Nayak; Renata Wassermann (KR, 2018)

Maximizing Expected Impact in an Agent Reputation Network - Technical Report. - Gavin Rens; Abhaya Nayak; Thomas Meyer 002 (CoRR, 2018)

Belief Change and Non-Monotonic Reasoning Sans Compactness. - Jandson S. Ribeiro; Abhaya Nayak; Renata Wassermann (AAAI, 2019)

A Value-based Trust Assessment Model for Multi-agent Systems. - Kinzang Chhogyal; Abhaya C. Nayak; Aditya Ghose; Hoa Khanh Dam (IJCAI, 2019)

Belief Update without Compactness in Non-finitary Languages. - Jandson S. Ribeiro; Abhaya Nayak; Renata Wassermann (IJCAI, 2019)

An Evolutionary GA-Based Approach for Community Detection in IoT. - Sanket Mishra; Chinmay Hota; Lov Kumar; Abhaya Nayak (IEEE Access, 2019)

On Conforming and Conflicting Values. - Kinzang Chhogyal; Abhaya C. Nayak; Aditya Ghose; Mehmet Ali Orgun (CoRR, 2019)

Non-monotonic Reasoning for Machine Ethics with Situation Calculus. - Raynaldio Limarga; Maurice Pagnucco; Yang Song 001; Abhaya Nayak (Australasian Conference on Artificial Intelligence, 2020)

Epistemic Reasoning for Machine Ethics with Situation Calculus. - Maurice Pagnucco; David Rajaratnam; Raynaldio Limarga; Abhaya Nayak; Yang Song 001 (AIES, 2021)

From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract). - Abhaya Nayak (FCR@KI, 2021)

Self-Driving Cars and Driver Alertness. - Nguyen Hoang Tran; Abhaya C. Nayak (CoRR, 2021)

Formalisation and Evaluation of Properties for Consequentialist Machine Ethics. - Raynaldio Limarga; Yang Song 001; Abhaya Nayak; David Rajaratnam; Maurice Pagnucco (IJCAI, 2024)

Relevance, recovery and recuperation: A prelude to ring withdrawal. - Eduardo Fermé; Marco Garapa; Abhaya Nayak; Maurício D. Luís Reis (Int. J. Approx. Reason., 2024)