Searching for authors named "Vineet Padmanabhan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

On constructing fibred tableau calculus for BDI logics
by Vineet Padmanabhan, Guido Governatori — 2006 — In 9th Pacific Rim International Conference on Artificial Intelligence (PRICAI-06
…A Fibred Tableau Calculus for BDI Logics Vineet Padmanabhan & Guido Governatori School…
Cited by 1 (0 self) – Add To MetaCart

A Defeasible Logic of Policy-based Intention
by Guido Governatori, Vineet Padmanabhan — 2002 — Department of Computer Science, The University of Melbourne
…A Defeasible Logic of Policy-based Intention ⋆ Guido Governatori, Vineet Padmanabhan School…
Cited by 8 (7 self) – Add To MetaCart

A Fibred Tableau Calculus for Modal Logics of Agents ⋆
by Vineet Padmanabhan, Guido Governatori
…A Fibred Tableau Calculus for Modal Logics of Agents ⋆ Vineet Padmanabhan & Guido Governatori…
Add To MetaCart

A.: Rule-based agents in temporalised defeasible logic
by Guido Governatori, Vineet Padmanabhan, Antonino Rotolo — 2006 — Ninth Pacific Rim International Conference on Artificial Intelligence. Number 4099 in LNAI
…Rule-Based Agents in Temporalised Defeasible Logic Guido Governatori 1⋆ Vineet Padmanabhan 1…
Cited by 4 (4 self) – Add To MetaCart

Actions made explicit in BDI
by Vineet Padmanabhan, Guido Governatori, Abdul Sattar — 2001 — In Advances in Artificial Intelligence, number 2256 in LNCS
…Actions Made Explicit in BDI Vineet Padmanabhan 1 Guido Governatori 2 Abdul Sattar 1 1 Knowledge…
Cited by 6 (3 self) – Add To MetaCart

Process Modeling: The Deontic Way
by Vineet Padmanabhan, Guido Governatori, Shazia Sadiq, Robert Colomb, Antonino Rotolo — 2006 — Australia-Pacific Conference on Conceptual Modeling 2006, CRPIT 53
…Process Modelling: The Deontic Way Vineet Padmanabhan 1 , Guido Governatori 1 , Shazia Sadiq 1…
Cited by 1 (1 self) – Add To MetaCart

Using a Temporal Constraint Network for Business Process Execution Ruopeng Lu, Shazia Sadiq, Vineet Padmanabhan, Guido Governatori
by Ruopeng Lu and Shazia Sadiq and Vineet Padmanabhan and Guido Governatori, Ruopeng Lu, Shazia Sadiq, Vineet Padmanabhan, Guido Governatori — 2006 — Eds.) Database Technology 2006, number 49 in Conference Research and Practice of Information Technology, Australian Computer Science Association, ACS
… Sadiq, Vineet Padmanabhan, Guido Governatori School of Information Technology and Electrical Engineering…
Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB