Anantha Padmanabha

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 17

Top Topics

Query Answering

Explanation Based Generalization

Top Venues

ACM Trans. Comput. Log.

DIAS/EDUDM@ISEC

Publications

Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
A Simple Algorithm for Consistent Query Answering under Primary Keys. CoRR (2023)
Anantha Padmanabha, R. Ramanujam
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. ACM Trans. Comput. Log. 24 (4) (2023)
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
A Simple Algorithm for Consistent Query Answering Under Primary Keys. ICDT (2023)
Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join. CoRR (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Are bundles good deals for first-order modal logic? Inf. Comput. 293 (2023)
Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang
Are Bundles Good Deals for FOML? CoRR (2022)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Generalized Bundled Fragments for First-Order Modal Logic. MFCS (2022)
Ramit Das, Anantha Padmanabha, R. Ramanujam
Reasoning in Large Games with Unboundedly Many Players. LORI (2021)
Anantha Padmanabha, R. Ramanujam
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. ICDCIT (2020)
Anantha Padmanabha, R. Ramanujam
Propositional Modal Logic with Implicit Modal Quantification. ICLA (2019)
Anantha Padmanabha, R. Ramanujam
The Monodic Fragment of Propositional Term Modal Logic. Stud Logica 107 (3) (2019)
Anantha Padmanabha, R. Ramanujam
Two variable fragment of Term Modal Logic. CoRR (2019)
Anantha Padmanabha, R. Ramanujam
Two variable fragment of Term Modal Logic. MFCS (2019)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS (2018)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled fragments of first-order modal logic: (un)decidability. CoRR (2018)
Anantha Padmanabha, R. Ramanujam
Propositional modal logic with implicit modal quantification. CoRR (2018)
Anantha Padmanabha, R. Ramanujam
Model Checking a Logic over Systems with Regular Sets of Processes. DIAS/EDUDM@ISEC (2017)