Browse by all authors Browse By Author Name - Padmanabhan,+V.

Browse Results (4 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Padmanabhan, V. and Governatori, G (2006). A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006. Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, (105-122). 8 May, 2006. doi:10.1007/11961536_8 149 389 1 0
Padmanabhan, V. and Governatori, G. (2006). On Constructing Fibred Tableaux for BDI Logics. In: Q. Yang and G. Webb, PRICAI 2006: Trends In Artificial Intelligence, Proceedings of the 9th Pacific Rim International Conference on Artifical Intelligence. 9th Pacific Rim International Conference on Artifical Intelligence (PRICAI 2006), Guilin, Guanxi, China, (150-160). 7-11 August, 2006. doi:10.1007/11801603_18 110 395 1 Cited 1 times in Scopus1 0
Governatori, G., Padmanabhan, V. and Rotolo, A. (2006). Rule-Based Agents in Temporalised Defeasible Logic. In: Q. Yang and G. Webb, PRICAI 2006: Trends in Artificial Intelligence, Proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence. Pacific Rim International Conference on Artificial Intelligence, PRICAI 2006, Guilin, Guanxi, China, (31-40). 7-11 August, 2006. doi:10.1007/11801603_6 125 690 5 Cited 2 times in Scopus2 0
Governatori, G, Rotolo, A. and Padmanabhan, V. C. P. (2006). The Cost of Social Agents. In: P. Stone and G. Weiss, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. 5th International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Hokkaido, Japan, (513-520). 8-12 May, 2006. 116 991 Cited 6 times in Scopus6