Anantha Padmanabha

According to our database, Anantha Padmanabha authored at least 13 papers between 2017 and 2023.

Collaborative distances:

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

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 Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join.

Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo

CoRR, 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