default search action
Abhaya C. Nayak
Person information
- affiliation: Macquarie University, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Eduardo Fermé
, Marco Garapa
Relevance, recovery and recuperation: A prelude to ring withdrawal. Int. J. Approx. Reason. 166: 109108 (2024) - [c58]Raynaldio Limarga, Yang Song, Abhaya Nayak, David Rajaratnam, Maurice Pagnucco:
Formalisation and Evaluation of Properties for Consequentialist Machine Ethics. IJCAI 2024: 440-448 - 2021
- [c57]Maurice Pagnucco, David Rajaratnam
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 - [i7]Nguyen Hoang Tran, Abhaya C. Nayak:
Self-Driving Cars and Driver Alertness. CoRR abs/2107.14036 (2021) - 2020
- [c55]Raynaldio Limarga
Non-monotonic Reasoning for Machine Ethics with Situation Calculus. Australasian Conference on Artificial Intelligence 2020: 203-215
2010 – 2019
- 2019
- [j11]Sanket Mishra
An Evolutionary GA-Based Approach for Community Detection in IoT. IEEE Access 7: 100512-100534 (2019) - [c54]Jandson S. Ribeiro
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI 2019: 3019-3026 - [c53]Kinzang Chhogyal, Abhaya C. Nayak
A Value-based Trust Assessment Model for Multi-agent Systems. IJCAI 2019: 194-200 - [c52]Jandson S. Ribeiro
Belief Update without Compactness in Non-finitary Languages. IJCAI 2019: 1858-1864 - [e5]Abhaya C. Nayak
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
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
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] - [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
- [c51]Gavin Rens
Maximizing Expected Impact in an Agent Reputation Network. KI 2018: 99-106 - [c50]Gavin Rens
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 - [i4]Gavin Rens, Abhaya Nayak, Thomas Meyer:
Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR abs/1805.05230 (2018) - 2017
- [c48]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak
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
Distributed Genetic Algorithm on GraphX. Australasian Conference on Artificial Intelligence 2016: 548-554 - [c45]Zhiqiang Zhuang
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 - [e2]Chattrakul Sombattheera, Frieder Stolzenburg
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] - [i3]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
A New Approach for Revising Logic Programs. CoRR abs/1603.09465 (2016) - 2015
- [c43]Kinzang Chhogyal, Abhaya C. Nayak
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
On the KL Divergence of Probability Mixtures for Belief Contraction. KI 2015: 249-255 - 2014
- [c40]Kinzang Chhogyal, Abhaya C. Nayak
Probabilistic Belief Revision via Imaging. PRICAI 2014: 694-707 - 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] - 2012
- [j10]Raghav Ramachandran, Abhaya C. Nayak
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) - [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
A Top-Down Approach for Hierarchical Cluster Exploration by Visualization. ADMA (1) 2010: 497-508 - [c36]Armin Hezart, Abhaya C. Nayak
Temporal Belief-Change: kappa-functions Approach. Australasian Conference on Artificial Intelligence 2010: 11-21 - [c35]Raghav Ramachandran, Abhaya C. Nayak
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
Geospatial editing over a federated cloud geodatabase for the state of NSW. GIS 2010: 144-151 - [c32]Ke-Bing Zhang, Mehmet A. Orgun
The Discovery of Hierarchical Cluster Structures Assisted by a Visualization Technique. ICONIP (1) 2010: 703-711 - [c31]Md. Tawhidul Islam
Biomarker information extraction tool (BIET) development using natural language processing and machine learning. ICWET 2010: 121-126
2000 – 2009
- 2009
- [c30]Raghav Ramachandran, Abhaya C. Nayak
Two Approaches to Iterated Belief Contraction. KSEM 2009: 78-89 - 2008
- [j8]Bhavna Orgun, Mark Dras
Approaches for semantic interoperability between domain ontologies. Expert Syst. J. Knowl. Eng. 25(3): 179-196 (2008) - [j7]Mehmet A. Orgun
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Math. Comput. Sci. 2(1): 143-163 (2008) - [c29]Ali Orhan Aydin, Mehmet A. Orgun
The reactive-causal architecture: Combining intentional notion and theories of needs. IEEE ICCI 2008: 50-59 - [c28]Ali Orhan Aydin, Mehmet A. Orgun
The Reactive-Causal Architecture: Towards Development of Believable Agents. IVA 2008: 468-469 - 2007
- [c27]Armin Hezart, Abhaya C. Nayak
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 - [i2]Abhaya C. Nayak, Yin Chen, Fangzhen Lin:
Forgetting and Update -- an exploration. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j6]Quoc Bao Vo, Abhaya C. Nayak
A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. 16(3): 315-338 (2006) - [c25]Abhaya C. Nayak
Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence 2006: 131-140 - [c24]Mehmet A. Orgun
Representation and integration of knowledge based on multiple granularity of time using temporal logic. IRI 2006: 256-261 - [c23]Abhaya C. Nayak
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. KSEM 2006: 305-317 - 2005
- [j5]James P. Delgrande, Abhaya C. Nayak
Gricean Belief Change. Stud Logica 79(1): 97-113 (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 - 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
Theories of Intentions in the Framework of Situation Calculus. DALT 2004: 19-34 - 2003
- [j4]Abhaya C. Nayak
Dynamic belief revision operators. Artif. Intell. 146(2): 193-228 (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
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288 - 2001
- [c17]Norman Y. Foo, Abhaya C. Nayak
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
- [j3]Pavlos Peppas
Measuring similarity in belief revision. J. Log. Comput. 10(4): 603-619 (2000) - [c15]Abhaya C. Nayak:
Acceptance Without Minimality. JELIA 2000: 163-178 - [c14]Mikhail Prokopenko
A Unifying Semantics for Causal Ramifications. PRICAI 2000: 38-49
1990 – 1999
- 1999
- [c13]Abhaya C. Nayak
Abduction without Minimality. Australian Joint Conference on Artificial Intelligence 1999: 365-377 - [c12]Mikhail Prokopenko
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
Reasoning without Minimality. PRICAI 1998: 122-133 - [c8]Rex Bing Hung Kwok, Abhaya C. Nayak
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
- [j2]Abhaya C. Nayak
Belief change as change in epistemic entrenchment. Synth. 109(2): 143-174 (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 - 1994
- [j1]Abhaya C. Nayak
Foundational belief change. J. Philos. Log. 23(5): 495-533 (1994)
Coauthor Index
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-10-21 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: