Abhaya Nayak

Associate Professor

  • 399 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
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)
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

16 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)
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)
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)
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)
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

79 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

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)
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)
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
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

23 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

110 Citations (Scopus)