2008 |
15 | EE | Vineet Padmanabhan,
Guido Governatori,
Subhasis Thakur:
Knowledge Assessment: A Modal Logic Approach.
PRIMA 2008: 315-322 |
2007 |
14 | EE | Subhasis Thakur,
Guido Governatori,
Vineet Padmanabhan,
Jenny Eriksson Lundström:
Dialogue Games in Defeasible Logic.
Australian Conference on Artificial Intelligence 2007: 497-506 |
13 | EE | Jenny Eriksson Lundström,
Guido Governatori,
Subhasis Thakur,
Vineet Padmanabhan:
An Asymmetric Protocol for Argumentation Games in Defeasible Logic.
PRIMA 2007: 219-231 |
2006 |
12 | EE | Guido Governatori,
Antonino Rotolo,
Vineet Padmanabhan:
The cost of social agents.
AAMAS 2006: 513-520 |
11 | EE | Ruopeng Lu,
Shazia Wasim Sadiq,
Vineet Padmanabhan,
Guido Governatori:
Using a temporal constraint network for business process execution.
ADC 2006: 157-166 |
10 | EE | Vineet Padmanabhan,
Guido Governatori,
Shazia Wasim Sadiq,
Robert Colomb,
Antonino Rotolo:
Process modelling: the deontic way.
APCCM 2006: 75-84 |
9 | EE | Vineet Padmanabhan,
Guido Governatori:
A Fibred Tableau Calculus for Modal Logics of Agents.
DALT 2006: 105-122 |
8 | EE | Vineet Padmanabhan,
Guido Governatori:
On Constructing Fibred Tableaux for BDI Logics.
PRICAI 2006: 150-160 |
7 | EE | Guido Governatori,
Vineet Padmanabhan,
Antonino Rotolo:
Rule-Based Agents in Temporalised Defeasible Logic.
PRICAI 2006: 31-40 |
2005 |
6 | | Kaile Su,
Abdul Sattar,
Kewen Wang,
Xiangyu Luo,
Guido Governatori,
Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
AAAI 2005: 190-195 |
2003 |
5 | EE | Guido Governatori,
Vineet Padmanabhan:
A Defeasible Logic of Policy-Based Intention.
Australian Conference on Artificial Intelligence 2003: 414-426 |
2002 |
4 | EE | Guido Governatori,
Vineet Padmanabhan,
Abdul Sattar:
A Defeasible Logic of Policy-Based Intention.
Australian Joint Conference on Artificial Intelligence 2002: 723 |
3 | EE | Guido Governatori,
Vineet Padmanabhan,
Abdul Sattar:
On Fibring Semantics for BDI Logics.
JELIA 2002: 198-210 |
2001 |
2 | EE | Vineet Padmanabhan,
Guido Governatori,
Abdul Sattar:
Actions Made Explicit in BDI.
Australian Joint Conference on Artificial Intelligence 2001: 390-401 |
2000 |
1 | EE | Vineet Padmanabhan,
Abdul Sattar,
Arun K. Pujari,
Chinmoy Goswami:
Temporal Reasoning: A Three Way Analysis.
TIME 2000: 183-190 |