![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Abhaya C. Nayak
Person information
- affiliation: Macquarie University, Sydney, Australia
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j12]Eduardo Fermé
, Marco Garapa
, Abhaya Nayak
, Maurício D. Luís Reis:
Relevance, recovery and recuperation: A prelude to ring withdrawal. Int. J. Approx. Reason. 166: 109108 (2024) - 2019
- [j11]Sanket Mishra
, Chinmay Hota, Lov Kumar
, Abhaya Nayak
:
An Evolutionary GA-Based Approach for Community Detection in IoT. IEEE Access 7: 100512-100534 (2019) - 2012
- [j10]Raghav Ramachandran, Abhaya C. Nayak
, Mehmet A. Orgun
:
Three Approaches to Iterated Belief Contraction. J. Philos. Log. 41(1): 115-142 (2012) - [j9]Raghav Ramachandran, Arthur Ramer, Abhaya C. Nayak
:
Probabilistic Belief Contraction. Minds Mach. 22(4): 325-351 (2012) - 2008
- [j8]Bhavna Orgun, Mark Dras
, Abhaya C. Nayak
, Geoff James:
Approaches for semantic interoperability between domain ontologies. Expert Syst. J. Knowl. Eng. 25(3): 179-196 (2008) - [j7]Mehmet A. Orgun
, Chuchang Liu, Abhaya C. Nayak
:
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Math. Comput. Sci. 2(1): 143-163 (2008) - 2006
- [j6]Quoc Bao Vo, Abhaya C. Nayak
, Norman Y. Foo:
A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. 16(3): 315-338 (2006) - 2005
- [j5]James P. Delgrande, Abhaya C. Nayak
, Maurice Pagnucco
:
Gricean Belief Change. Stud Logica 79(1): 97-113 (2005) - 2003
- [j4]Abhaya C. Nayak
, Maurice Pagnucco
, Pavlos Peppas
:
Dynamic belief revision operators. Artif. Intell. 146(2): 193-228 (2003) - 2000
- [j3]Pavlos Peppas
, Norman Y. Foo, Abhaya C. Nayak
:
Measuring similarity in belief revision. J. Log. Comput. 10(4): 603-619 (2000) - 1996
- [j2]Abhaya C. Nayak
, Paul Nelson, Hanan Polansky
:
Belief change as change in epistemic entrenchment. Synth. 109(2): 143-174 (1996) - 1994
- [j1]Abhaya C. Nayak
:
Foundational belief change. J. Philos. Log. 23(5): 495-533 (1994)
Conference and Workshop Papers
- 2021
- [c57]Maurice Pagnucco, David Rajaratnam
, Raynaldio Limarga, Abhaya Nayak
, Yang Song:
Epistemic Reasoning for Machine Ethics with Situation Calculus. AIES 2021: 814-821 - [c56]Abhaya Nayak:
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract). FCR@KI 2021: 3 - 2020
- [c55]Raynaldio Limarga, Maurice Pagnucco, Yang Song
, Abhaya Nayak
:
Non-monotonic Reasoning for Machine Ethics with Situation Calculus. Australasian Conference on Artificial Intelligence 2020: 203-215 - 2019
- [c54]Jandson S. Ribeiro
, Abhaya Nayak
, Renata Wassermann
:
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI 2019: 3019-3026 - [c53]Kinzang Chhogyal, Abhaya C. Nayak
, Aditya Ghose, Hoa Khanh Dam:
A Value-based Trust Assessment Model for Multi-agent Systems. IJCAI 2019: 194-200 - [c52]Jandson S. Ribeiro
, Abhaya Nayak
, Renata Wassermann
:
Belief Update without Compactness in Non-finitary Languages. IJCAI 2019: 1858-1864 - 2018
- [c51]Gavin Rens
, Abhaya Nayak
, Thomas Andreas Meyer
:
Maximizing Expected Impact in an Agent Reputation Network. KI 2018: 99-106 - [c50]Gavin Rens
, Thomas Andreas Meyer
, Gabriele Kern-Isberner, Abhaya Nayak
:
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI 2018: 343-356 - [c49]Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann:
Towards Belief Contraction without Compactness. KR 2018: 287-296 - 2017
- [c48]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak
, Abdul Sattar
:
A Unifying Framework for Probabilistic Belief Revision. IJCAI 2017: 1370-1376 - 2016
- [c47]Kinzang Chhogyal, Abhaya C. Nayak
:
An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions. Australasian Conference on Artificial Intelligence 2016: 324-331 - [c46]Seemran Mishra, Young Choon Lee
, Abhaya C. Nayak
:
Distributed Genetic Algorithm on GraphX. Australasian Conference on Artificial Intelligence 2016: 548-554 - [c45]Zhiqiang Zhuang
, James P. Delgrande, Abhaya C. Nayak
, Abdul Sattar
:
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. ECAI 2016: 671-679 - [c44]Seemran Mishra, Abhaya C. Nayak
:
Causal Basis for Probabilistic Belief Change: Distance vs. Closeness. MIWAI 2016: 112-125 - 2015
- [c43]Kinzang Chhogyal, Abhaya C. Nayak
, Abdul Sattar
:
Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence. Australasian Conference on Artificial Intelligence 2015: 109-122 - [c42]Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar:
Probabilistic Belief Contraction Using Argumentation. IJCAI 2015: 2854-2860 - [c41]Kinzang Chhogyal, Abhaya C. Nayak
, Abdul Sattar
:
On the KL Divergence of Probability Mixtures for Belief Contraction. KI 2015: 249-255 - 2014
- [c40]Kinzang Chhogyal, Abhaya C. Nayak
, Rolf Schwitter
, Abdul Sattar
:
Probabilistic Belief Revision via Imaging. PRICAI 2014: 694-707 - 2012
- [c39]Abhaya C. Nayak
:
Trust in Context. Australasian Conference on Artificial Intelligence 2012: 517-529 - 2011
- [c38]Abhaya C. Nayak
:
Is Revision a Special Kind of Update? Australasian Conference on Artificial Intelligence 2011: 432-441 - 2010
- [c37]Ke-Bing Zhang, Mehmet A. Orgun
, Peter Anthony Busch
, Abhaya C. Nayak
:
A Top-Down Approach for Hierarchical Cluster Exploration by Visualization. ADMA (1) 2010: 497-508 - [c36]Armin Hezart, Abhaya C. Nayak
, Mehmet A. Orgun
:
Temporal Belief-Change: kappa-functions Approach. Australasian Conference on Artificial Intelligence 2010: 11-21 - [c35]Raghav Ramachandran, Abhaya C. Nayak
, Mehmet A. Orgun
:
Belief Erasure Using Partial Imaging. Australasian Conference on Artificial Intelligence 2010: 52-61 - [c34]Abhaya C. Nayak
:
The Deficit and Dynamics of Trust. EUC 2010: 517-522 - [c33]Kalyan K. Janakiraman, Mehmet A. Orgun
, Abhaya C. Nayak
:
Geospatial editing over a federated cloud geodatabase for the state of NSW. GIS 2010: 144-151 - [c32]Ke-Bing Zhang, Mehmet A. Orgun
, Yanchang Zhao
, Abhaya C. Nayak
:
The Discovery of Hierarchical Cluster Structures Assisted by a Visualization Technique. ICONIP (1) 2010: 703-711 - [c31]Md. Tawhidul Islam
, M. Shaikh, Abhaya C. Nayak
, Shoba Ranganathan
:
Biomarker information extraction tool (BIET) development using natural language processing and machine learning. ICWET 2010: 121-126 - 2009
- [c30]Raghav Ramachandran, Abhaya C. Nayak
, Mehmet A. Orgun
:
Two Approaches to Iterated Belief Contraction. KSEM 2009: 78-89 - 2008
- [c29]Ali Orhan Aydin, Mehmet A. Orgun
, Abhaya C. Nayak
:
The reactive-causal architecture: Combining intentional notion and theories of needs. IEEE ICCI 2008: 50-59 - [c28]Ali Orhan Aydin, Mehmet A. Orgun
, Abhaya C. Nayak
:
The Reactive-Causal Architecture: Towards Development of Believable Agents. IVA 2008: 468-469 - 2007
- [c27]Armin Hezart, Abhaya C. Nayak
, Mehmet A. Orgun
:
Towards Context Sensitive Defeasible Rules. CLIMA 2007: 193-213 - [c26]Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun:
Iterated Belief Contraction from First Principles. IJCAI 2007: 2568-2573 - 2006
- [c25]Abhaya C. Nayak
, Yin Chen, Fangzhen Lin:
Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence 2006: 131-140 - [c24]Mehmet A. Orgun
, Chuchang Liu, Abhaya C. Nayak
:
Representation and integration of knowledge based on multiple granularity of time using temporal logic. IRI 2006: 256-261 - [c23]Abhaya C. Nayak
, Randy Goebel, Mehmet A. Orgun
, Tam Pham:
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. KSEM 2006: 305-317 - 2004
- [c22]James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Conservative Belief Revision. AAAI 2004: 251-256 - [c21]Maria del Pilar Pozos Parra, Abhaya C. Nayak
, Robert Demolombe:
Theories of Intentions in the Framework of Situation Calculus. DALT 2004: 19-34 - 2003
- [c20]James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision. IJCAI 2003: 1391-1393 - [c19]Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak:
Coherence of Laws. IJCAI 2003: 1400-1401 - [c18]Quoc Bao Vo, Abhaya C. Nayak
, Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288 - 2001
- [c17]Norman Y. Foo, Abhaya C. Nayak
, Maurice Pagnucco, Dongmo Zhang:
State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence 2001: 153-164 - [c16]Yusuf Pisan, Abhaya C. Nayak
:
Increasing Belivability: Agents That Justify Their Actions. FUZZ-IEEE 2001: 1347-1350 - 2000
- [c15]Abhaya C. Nayak:
Acceptance Without Minimality. JELIA 2000: 163-178 - [c14]Mikhail Prokopenko
, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak:
A Unifying Semantics for Causal Ramifications. PRICAI 2000: 38-49 - 1999
- [c13]Abhaya C. Nayak
, Norman Y. Foo:
Abduction without Minimality. Australian Joint Conference on Artificial Intelligence 1999: 365-377 - [c12]Mikhail Prokopenko
, Maurice Pagnucco
, Pavlos Peppas
, Abhaya C. Nayak
:
Causal Propagation Semantics - A Study. Australian Joint Conference on Artificial Intelligence 1999: 378-392 - [c11]Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak:
Preferential Semantics for Causal Systems. IJCAI 1999: 118-123 - [c10]Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak:
Diagrammatic Proofs. IJCAI 1999: 378-383 - 1998
- [c9]Abhaya C. Nayak
, Norman Y. Foo:
Reasoning without Minimality. PRICAI 1998: 122-133 - [c8]Rex Bing Hung Kwok, Abhaya C. Nayak
, Norman Y. Foo:
Coherence Measure Based on Average Use of Formulas. PRICAI 1998: 553-564 - 1997
- [c7]Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo:
A Notion of Correctness with Theories Containing Theoretical Terms. Australian Joint Conference on Artificial Intelligence 1997: 217-226 - [c6]Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) 1997: 549-554 - 1996
- [c5]Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco:
Definitional Constraints. ECAI 1996: 65-69 - [c4]Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems. ECAI 1996: 75-79 - [c3]Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko:
Revision vs. Update: Taking a Closer Look. ECAI 1996: 95-99 - [c2]Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar:
Changing Conditional Belief Unconditionally. TARK 1996: 119-135 - 1995
- [c1]Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo:
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. Deductive Databases / Abduction in Deductive Databases 1995: 143-158
Editorship
- 2019
- [e5]Abhaya C. Nayak
, Alok Sharma:
PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11670, Springer 2019, ISBN 978-3-030-29907-1 [contents] - [e4]Abhaya C. Nayak
, Alok Sharma:
PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11671, Springer 2019, ISBN 978-3-030-29910-1 [contents] - [e3]Abhaya C. Nayak
, Alok Sharma:
PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III. Lecture Notes in Computer Science 11672, Springer 2019, ISBN 978-3-030-29893-7 [contents] - 2016
- [e2]Chattrakul Sombattheera, Frieder Stolzenburg
, Fangzhen Lin, Abhaya C. Nayak
:
Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings. Lecture Notes in Computer Science 10053, Springer 2016, ISBN 978-3-319-49396-1 [contents] - 2013
- [e1]Stephen Cranefield, Abhaya C. Nayak
:
AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Lecture Notes in Computer Science 8272, Springer 2013, ISBN 978-3-319-03679-3 [contents]
Informal and Other Publications
- 2021
- [i7]Nguyen Hoang Tran, Abhaya C. Nayak:
Self-Driving Cars and Driver Alertness. CoRR abs/2107.14036 (2021) - 2019
- [i6]Kinzang Chhogyal, Abhaya C. Nayak, Aditya Ghose, Hoa Khanh Dam:
A Value-based Trust Assessment Model for Multi-agent Systems. CoRR abs/1905.13380 (2019) - [i5]Kinzang Chhogyal, Abhaya C. Nayak, Aditya Ghose, Mehmet Ali Orgun:
On Conforming and Conflicting Values. CoRR abs/1907.01682 (2019) - 2018
- [i4]Gavin Rens, Abhaya Nayak, Thomas Meyer:
Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR abs/1805.05230 (2018) - 2016
- [i3]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
A New Approach for Revising Logic Programs. CoRR abs/1603.09465 (2016) - 2007
- [i2]Abhaya C. Nayak, Yin Chen, Fangzhen Lin:
Forgetting and Update -- an exploration. Formal Models of Belief Change in Rational Agents 2007 - 2005
- [i1]Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham:
Iterated Belief Change and the Levi Identity. Belief Change in Rational Agents 2005
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint