Abhaya Nayak

Associate Professor

  • 391 Citations
  • 9 h-Index
19942019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Article
1994

Foundational belief change

Nayak, A. C., Oct 1994, In : Journal of Philosophical Logic. 23, 5, p. 495-533 39 p.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Iterated belief change based on epistemic entrenchment

Nayak, A. C., Nov 1994, In : Erkenntnis. 41, 3, p. 353-390 38 p.

Research output: Contribution to journalArticle

109 Citations (Scopus)
1996

Belief change as change in epistemic entrenchment

Nayak, AC., Nelson, P. & Polansky, H., Nov 1996, In : Synthese. 109, 2, p. 143-174 32 p.

Research output: Contribution to journalArticle

Open Access
1999

Diagrammatic proofs

Foo, N. Y., Pagnucco, M. & Nayak, A. C., 1999, In : IJCAI International Joint Conference on Artificial Intelligence. 1, p. 378-383 6 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Preferential semantics for causal systems

Peppas, P., Pagnucco, M., Prokopenko, M., Foo, N. Y. & Nayak, A., 1999, In : IJCAI International Joint Conference on Artificial Intelligence. 1, p. 118-123 6 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2000

Measuring similarity in belief revision

Peppas, P., Foo, N. & Nayak, A., Aug 2000, In : Journal of Logic and Computation. 10, 4, p. 603-619 17 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)
2003

Coherence of laws

Kwok, R., Foo, N. Y. & Nayak, A. C., 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1400-1401 2 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Dynamic belief revision operators

Nayak, A. C., Pagnucco, M. & Peppas, P., Jun 2003, In : Artificial Intelligence. 146, 2, p. 193-228 36 p.

Research output: Contribution to journalArticle

76 Citations (Scopus)

Prolegomenon to a theory of conservative belief revision

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1391-1393 3 p.

Research output: Contribution to journalArticle

2005

Gricean belief change

Delgrande, J. P., Nayak, A. C. & Pagnucco, M., Feb 2005, In : Studia Logica. 79, 1, p. 97-113 17 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2006

A syntax-based approach to reasoning about action and belief update

Vo, Q. B., Nayak, A. & Foo, N., Apr 2006, In : Journal of Logic and Computation. 16, 3, p. 315-338 24 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2007

Iterated belief contraction from first principles

Nayak, A. C., Goebel, R. & Orgun, M. A., 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 2568-2573 6 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)
2008

Approaches for semantic interoperability between domain ontologies

Orgun, B., Dras, M., Nayak, A. & James, G., Jul 2008, In : Expert Systems. 25, 3, p. 179-196 18 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Knowledge representation, reasoning and integration using temporal logic with clocks

Orgun, M. A., Liu, C. & Nayak, A. C., Nov 2008, In : Mathematics in Computer Science. 2, 1, p. 143-163 21 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2012

A causal model for fluctuating sugar levels in diabetes patients

Chhogyal, K., Nayak, A., Schwitter, R. & Sattar, A., 2012, In : Australasian Medical Journal. 5, 9, p. 497-502 6 p.

Research output: Contribution to journalArticle

Probabilistic belief contraction

Ramachandran, R., Ramer, A. & Nayak, A. C., Nov 2012, In : Minds and Machines. 22, 4, p. 325-351 27 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Three Approaches to Iterated Belief Contraction

Ramachandran, R., Nayak, A. C. & Orgun, M. A., Feb 2012, In : Journal of Philosophical Logic. 41, 1, p. 115-142 28 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
2019

An evolutionary GA-based approach for community detection in IoT

Mishra, S., Hota, C., Kumar, L. & Nayak, A., 19 Jun 2019, In : IEEE Access. 7, p. 100512-100534 23 p.

Research output: Contribution to journalArticle

Open Access
File
10 Downloads (Pure)