Anantha Padmanabha

22 papers A* 1A 1B 2Misc 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property.
CoRR
Varad Joshi, Anantha Padmanabha
2025 J jnl
A Simple Algorithm for Consistent Query Answering under Primary Keys.
Log. Methods Comput. Sci.
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2024 J jnl
A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join.
Proc. ACM Manag. Data
Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2024 A* conf
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
KR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2024 J jnl
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
CoRR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2023 J jnl
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.
ACM Trans. Comput. Log.
Anantha Padmanabha, R. Ramanujam
2023 J jnl
A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join.
CoRR
Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2023 A conf
A Simple Algorithm for Consistent Query Answering Under Primary Keys.
ICDT
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2023 J jnl
A Simple Algorithm for Consistent Query Answering under Primary Keys.
CoRR
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2023 J jnl
Are bundles good deals for first-order modal logic?
Inf. Comput.
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2022 J jnl
Are Bundles Good Deals for FOML?
CoRR
Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang
2022 B conf
Generalized Bundled Fragments for First-Order Modal Logic.
MFCS
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2021 — conf
Reasoning in Large Games with Unboundedly Many Players.
LORI
Ramit Das, Anantha Padmanabha, R. Ramanujam
2020 Misc conf
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.
ICDCIT
Anantha Padmanabha, R. Ramanujam
2019 — conf
Propositional Modal Logic with Implicit Modal Quantification.
ICLA
Anantha Padmanabha, R. Ramanujam
2019 J jnl
The Monodic Fragment of Propositional Term Modal Logic.
Stud Logica
Anantha Padmanabha, R. Ramanujam
2019 B conf
Two variable fragment of Term Modal Logic.
MFCS
Anantha Padmanabha, R. Ramanujam
2019 J jnl
Two variable fragment of Term Modal Logic.
CoRR
Anantha Padmanabha, R. Ramanujam
2018 — conf
Bundled Fragments of First-Order Modal Logic: (Un)Decidability.
FSTTCS
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018 J jnl
Bundled fragments of first-order modal logic: (un)decidability.
CoRR
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018 J jnl
Propositional modal logic with implicit modal quantification.
CoRR
Anantha Padmanabha, R. Ramanujam
2017 — conf
Model Checking a Logic over Systems with Regular Sets of Processes.
DIAS/EDUDM@ISEC
Anantha Padmanabha, R. Ramanujam