Abhaya C. Nayak

According to our database, Abhaya C. Nayak authored at least 76 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2024

Formalisation and Evaluation of Properties for Consequentialist Machine Ethics.

Raynaldio Limarga, Yang Song, Abhaya Nayak, David Rajaratnam, Maurice Pagnucco

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2021

Self-Driving Cars and Driver Alertness.

Nguyen Hoang Tran, Abhaya C. Nayak

CoRR, 2021

From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract).

Abhaya Nayak

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Epistemic Reasoning for Machine Ethics with Situation Calculus.

Maurice Pagnucco, David Rajaratnam, Raynaldio Limarga, Abhaya Nayak, Yang Song

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

Non-monotonic Reasoning for Machine Ethics with Situation Calculus.

Raynaldio Limarga, Maurice Pagnucco, Yang Song, Abhaya Nayak

Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

2019

On Conforming and Conflicting Values.

Kinzang Chhogyal, Abhaya C. Nayak, Aditya Ghose, Mehmet Ali Orgun

CoRR, 2019

An Evolutionary GA-Based Approach for Community Detection in IoT.

Sanket Mishra, Chinmay Hota, Lov Kumar, Abhaya Nayak

IEEE Access, 2019

Belief Update without Compactness in Non-finitary Languages.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Value-based Trust Assessment Model for Multi-agent Systems.

Kinzang Chhogyal, Abhaya C. Nayak, Aditya Ghose, Hoa Khanh Dam

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Belief Change and Non-Monotonic Reasoning Sans Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Maximizing Expected Impact in an Agent Reputation Network - Technical Report.

Gavin Rens, Abhaya Nayak, Thomas Meyer

CoRR, 2018

Towards Belief Contraction without Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Maximizing Expected Impact in an Agent Reputation Network.

Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence.

Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

2017

A Unifying Framework for Probabilistic Belief Revision.

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

A New Approach for Revising Logic Programs.

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar

CoRR, 2016

Causal Basis for Probabilistic Belief Change: Distance vs. Closeness.

Seemran Mishra, Abhaya C. Nayak

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2016

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Distributed Genetic Algorithm on GraphX.

Seemran Mishra, Young Choon Lee, Abhaya C. Nayak

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions.

Kinzang Chhogyal, Abhaya C. Nayak

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

On the KL Divergence of Probability Mixtures for Belief Contraction.

Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Probabilistic Belief Contraction Using Argumentation.

Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence.

Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Probabilistic Belief Revision via Imaging.

Kinzang Chhogyal, Abhaya C. Nayak, Rolf Schwitter, Abdul Sattar

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

2012

Probabilistic Belief Contraction.

Raghav Ramachandran, Arthur Ramer, Abhaya C. Nayak

Minds Mach., 2012

Three Approaches to Iterated Belief Contraction.

Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun

J. Philos. Log., 2012

Trust in Context.

Abhaya C. Nayak

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Is Revision a Special Kind of Update?

Abhaya C. Nayak

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010

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

Md. Tawhidul Islam, M. Shaikh, Abhaya C. Nayak, Shoba Ranganathan

Proceedings of the ICWET '10 International Conference & Workshop on Emerging Trends in Technology, Mumbai, Maharashtra, India, February 26, 2010

The Discovery of Hierarchical Cluster Structures Assisted by a Visualization Technique.

Ke-Bing Zhang, Mehmet A. Orgun, Yanchang Zhao, Abhaya C. Nayak

Proceedings of the Neural Information Processing. Theory and Algorithms, 2010

Geospatial editing over a federated cloud geodatabase for the state of NSW.

Kalyan K. Janakiraman, Mehmet A. Orgun, Abhaya C. Nayak

Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010

The Deficit and Dynamics of Trust.

Abhaya C. Nayak

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Belief Erasure Using Partial Imaging.

Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Temporal Belief-Change: <i>kappa</i>-functions Approach.

Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

A Top-Down Approach for Hierarchical Cluster Exploration by Visualization.

Ke-Bing Zhang, Mehmet A. Orgun, Peter Anthony Busch, Abhaya C. Nayak

Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009

Two Approaches to Iterated Belief Contraction.

Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun

Proceedings of the Knowledge Science, 2009

2008

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.

Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak

Math. Comput. Sci., 2008

Approaches for semantic interoperability between domain ontologies.

Bhavna Orgun, Mark Dras, Abhaya C. Nayak, Geoff James

Expert Syst. J. Knowl. Eng., 2008

The Reactive-Causal Architecture: Towards Development of Believable Agents.

Ali Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak

Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

The reactive-causal architecture: Combining intentional notion and theories of needs.

Ali Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak

Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, 2008

2007

Iterated Belief Contraction from First Principles.

Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun

Proceedings of the IJCAI 2007, 2007

Forgetting and Update -- an exploration.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Towards Context Sensitive Defeasible Rules.

Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

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

Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.

Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham

Proceedings of the Knowledge Science, 2006

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

Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Forgetting and Knowledge Update.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Gricean Belief Change.

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco

Stud Logica, 2005

Iterated Belief Change and the Levi Identity.

Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

2004

Theories of Intentions in the Framework of Situation Calculus.

Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Conservative Belief Revision.

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Dynamic belief revision operators.

Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas

Artif. Intell., 2003

A Syntax-Based Approach to Reasoning about Actions and Events.

Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Logic for Programming, 2003

Coherence of Laws.

Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak

Proceedings of the IJCAI-03, 2003

Prolegomenon to a Theory of Conservative Belief Revision.

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco

Proceedings of the IJCAI-03, 2003

2001

Increasing Belivability: Agents That Justify Their Actions.

Yusuf Pisan, Abhaya C. Nayak

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

State Minimization Re-visited.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Measuring similarity in belief revision.

Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak

J. Log. Comput., 2000

A Unifying Semantics for Causal Ramifications.

Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Acceptance Without Minimality.

Abhaya C. Nayak

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Preferential Semantics for Causal Systems.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Diagrammatic Proofs.

Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Causal Propagation Semantics - A Study.

Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

Abduction without Minimality.

Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

Reasoning without Minimality.

Abhaya C. Nayak, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

Coherence Measure Based on Average Use of Formulas.

Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

1997

Action Localness, Genericity and Invariants in STRIPS.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Notion of Correctness with Theories Containing Theoretical Terms.

Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Belief change as change in epistemic entrenchment.

Abhaya C. Nayak, Paul Nelson, Hanan Polansky

Synth., 1996

Changing Conditional Belief Unconditionally.

Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Revision vs. Update: Taking a Closer Look.

Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Learning From Conditionals: Judy Benjamin's Other Problems.

Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Definitional Constraints.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.

Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Deductive Databases and Logic Programming, 1995

1994

Foundational belief change.

Abhaya C. Nayak

J. Philos. Log., 1994