Anantha Padmanabha

According to our database, Anantha Padmanabha authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join.

Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo

Proc. ACM Manag. Data, 2024

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.

Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

ACM Trans. Comput. Log., October, 2023

Are bundles good deals for first-order modal logic?

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Inf. Comput., August, 2023

A Simple Algorithm for Consistent Query Answering Under Primary Keys.

Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Are Bundles Good Deals for FOML?

Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang

CoRR, 2022

Generalized Bundled Fragments for First-Order Modal Logic.

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

Reasoning in Large Games with Unboundedly Many Players.

Ramit Das, Anantha Padmanabha, R. Ramanujam

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Distributed Computing and Internet Technology, 2020

2019

The Monodic Fragment of Propositional Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

Stud Logica, 2019

Two variable fragment of Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Propositional Modal Logic with Implicit Modal Quantification.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Bundled Fragments of First-Order Modal Logic: (Un)Decidability.

Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Model Checking a Logic over Systems with Regular Sets of Processes.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017