Ravi Palla, Ph.D. - Publications

Affiliations: 
2012 Computer Science Arizona State University, Tempe, AZ, United States 
Area:
Computer Science

9 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2012 Lee J, Palla R. Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming Journal of Artificial Intelligence Research. 43: 571-620. DOI: 10.1613/jair.3489  0.96
2012 Lee J, Palla R. Reformulating temporal action logics in answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 786-792.  0.96
2011 Lee J, Palla R. Integrating rules and ontologies in the first-order stable model semantics (preliminary report) Aaai Spring Symposium - Technical Report. 56-62. DOI: 10.1007/978-3-642-20895-9_27  0.96
2010 Lee J, Palla R. Situation calculus as answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 309-314.  0.96
2009 Lee J, Palla R. System f2lp - computing answer sets of first-order formulas Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5753: 515-521. DOI: 10.1007/978-3-642-04238-6_51  0.96
2009 Kim TW, Lee J, Palla R. Circumscriptive event calculus as answer set programming Ijcai International Joint Conference On Artificial Intelligence. 823-829.  0.84
2008 Lee J, Lifschitz V, Palla R. Safe formulas in the general theory of stable models (preliminary report) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5366: 672-676. DOI: 10.1007/978-3-540-89982-2_55  0.48
2008 Lee J, Lifschitz V, Palla R. A reductive semantics for counting and choice in answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 472-479.  0.4
2007 Lee J, Palla R. Yet another proof of the strong equivalence between propositional theories and logic programs Ceur Workshop Proceedings. 265: 1-12.  0.96
Show low-probability matches.