T. V. S. Kiran

According to our database, T. V. S. Kiran authored at least 2 papers in 2010.

Collaborative distances:

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

2010

Pruning Search Space for Weighted First Order Horn Clause Satisfiability.

Naveen Nair, Anandraj Govindan, Chander Jayaraman, T. V. S. Kiran, Ganesh Ramakrishnan

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

BET : An Inductive Logic Programming Workbench.

Srihari Kalgi, Chirag Gosar, Prasad Gawde, Ganesh Ramakrishnan, Kekin Gada, Chander Iyer, T. V. S. Kiran, Ashwin Srinivasan

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010