BibTeX records: Ravi Palla

download as .bib file

@article{DBLP:journals/corr/abs-2307-09166,
  author       = {Joohyung Lee and
                  Vladimir Lifschitz and
                  Ravi Palla},
  title        = {Safe Formulas in the General Theory of Stable Models},
  journal      = {CoRR},
  volume       = {abs/2307.09166},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.09166},
  doi          = {10.48550/ARXIV.2307.09166},
  eprinttype    = {arXiv},
  eprint       = {2307.09166},
  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09166.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/TecuciPNAMID20,
  author       = {Dan G. Tecuci and
                  Ravi Palla and
                  Hamid R. Motahari Nezhad and
                  Nishchal Ahuja and
                  Alex Monteiro and
                  Tigran Ishkhanov and
                  Nigel P. Duffy},
  title        = {{DICR:} {AI} Assisted, Adaptive Platform for Contract Review},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {13638--13639},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i09.7106},
  doi          = {10.1609/AAAI.V34I09.7106},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/TecuciPNAMID20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/semco/MoitraCP18,
  author       = {Abha Moitra and
                  Andrew W. Crapo and
                  Ravi Palla},
  title        = {Concept-Level Rules for Capturing Domain Knowledge},
  booktitle    = {12th {IEEE} International Conference on Semantic Computing, {ICSC}
                  2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
  pages        = {260--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSC.2018.00046},
  doi          = {10.1109/ICSC.2018.00046},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semco/MoitraCP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MoitraPR16,
  author       = {Abha Moitra and
                  Ravi Palla and
                  Arvind Rangarajan},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {Automated Capture and Execution of Manufacturability Rules Using Inductive
                  Logic Programming},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {4028--4034},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i2.19080},
  doi          = {10.1609/AAAI.V30I2.19080},
  timestamp    = {Mon, 04 Sep 2023 15:08:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MoitraPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gptp/GustafsonNPY15,
  author       = {Steven Gustafson and
                  Ram Narasimhan and
                  Ravi Palla and
                  Aisha Yousuf},
  editor       = {Rick L. Riolo and
                  Bill Worzel and
                  Mark E. Kotanchek and
                  Arthur K. Kordon},
  title        = {Using Genetic Programming for Data Science: Lessons Learned},
  booktitle    = {Genetic Programming Theory and Practice {XIII} {[GPTP} 2015]},
  pages        = {117--135},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-34223-8\_7},
  doi          = {10.1007/978-3-319-34223-8\_7},
  timestamp    = {Mon, 03 Jun 2024 11:43:16 +0200},
  biburl       = {https://dblp.org/rec/conf/gptp/GustafsonNPY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/semco/MoitraPTK14,
  author       = {Abha Moitra and
                  Ravi Palla and
                  Luis Tari and
                  Mukkai Krishnamoorthy},
  title        = {Semantic Inference for Pharmacokinetic Drug-Drug Interactions},
  booktitle    = {2014 {IEEE} International Conference on Semantic Computing, Newport
                  Beach, CA, USA, June 16-18, 2014},
  pages        = {92--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICSC.2014.36},
  doi          = {10.1109/ICSC.2014.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semco/MoitraPTK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LeeP14,
  author       = {Joohyung Lee and
                  Ravi Palla},
  title        = {Reformulating the Situation Calculus and the Event Calculus in the
                  General Theory of Stable Models and in Answer Set Programming},
  journal      = {CoRR},
  volume       = {abs/1401.4607},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.4607},
  eprinttype    = {arXiv},
  eprint       = {1401.4607},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/LeeP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/LeeP12,
  author       = {Joohyung Lee and
                  Ravi Palla},
  title        = {Reformulating the Situation Calculus and the Event Calculus in the
                  General Theory of Stable Models and in Answer Set Programming},
  journal      = {J. Artif. Intell. Res.},
  volume       = {43},
  pages        = {571--620},
  year         = {2012},
  url          = {https://doi.org/10.1613/jair.3489},
  doi          = {10.1613/JAIR.3489},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/LeeP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/LeeP12a,
  author       = {Joohyung Lee and
                  Ravi Palla},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Reformulating Temporal Action Logics in Answer Set Programming},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {786--792},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8229},
  doi          = {10.1609/AAAI.V26I1.8229},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LeeP12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/LeeP11,
  author       = {Joohyung Lee and
                  Ravi Palla},
  title        = {Integrating Rules and Ontologies in the First-Order Stable Model Semantics
                  (Preliminary Report)},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2417},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/LeeP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icbo/PallaTSD11,
  author       = {Ravi Palla and
                  Dan Tecuci and
                  Vinay D. Shet and
                  Math{\"{a}}us Dejori},
  editor       = {Olivier Bodenreider and
                  Maryann E. Martone and
                  Alan Ruttenberg},
  title        = {A Meta-Data Approach to Querying Multiple Biomedical Ontologies},
  booktitle    = {Proceedings of the 2nd International Conference on Biomedical Ontology,
                  Buffalo, NY, USA, July 26-30, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {833},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-833/paper69.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/PallaTSD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LeeP11,
  author       = {Joohyung Lee and
                  Ravi Palla},
  editor       = {James P. Delgrande and
                  Wolfgang Faber},
  title        = {Integrating Rules and Ontologies in the First-Order Stable Model Semantics
                  (Preliminary Report)},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 11th International
                  Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6645},
  pages        = {248--253},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20895-9\_27},
  doi          = {10.1007/978-3-642-20895-9\_27},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LeeP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/LeeP10,
  author       = {Joohyung Lee and
                  Ravi Palla},
  editor       = {Maria Fox and
                  David Poole},
  title        = {Situation Calculus as Answer Set Programming},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {309--314},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7601},
  doi          = {10.1609/AAAI.V24I1.7601},
  timestamp    = {Mon, 04 Sep 2023 16:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LeeP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/FerrarisLLP09,
  author       = {Paolo Ferraris and
                  Joohyung Lee and
                  Vladimir Lifschitz and
                  Ravi Palla},
  editor       = {Craig Boutilier},
  title        = {Symmetric Splitting in the General Theory of Stable Models},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {797--803},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/137.pdf},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/FerrarisLLP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/KimLP09,
  author       = {Tae{-}Won Kim and
                  Joohyung Lee and
                  Ravi Palla},
  editor       = {Craig Boutilier},
  title        = {Circumscriptive Event Calculus as Answer Set Programming},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {823--829},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/141.pdf},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/KimLP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LeeP09,
  author       = {Joohyung Lee and
                  Ravi Palla},
  editor       = {Esra Erdem and
                  Fangzhen Lin and
                  Torsten Schaub},
  title        = {System f2lp - Computing Answer Sets of First-Order Formulas},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
                  {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5753},
  pages        = {515--521},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04238-6\_51},
  doi          = {10.1007/978-3-642-04238-6\_51},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LeeP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/LeeLP08,
  author       = {Joohyung Lee and
                  Vladimir Lifschitz and
                  Ravi Palla},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {A Reductive Semantics for Counting and Choice in Answer Set Programming},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {472--479},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-075.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LeeLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/LeeLP08,
  author       = {Joohyung Lee and
                  Vladimir Lifschitz and
                  Ravi Palla},
  editor       = {Maria Garcia de la Banda and
                  Enrico Pontelli},
  title        = {Safe Formulas in the General Theory of Stable Models (Preliminary
                  Report)},
  booktitle    = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
                  Italy, December 9-13 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5366},
  pages        = {672--676},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89982-2\_55},
  doi          = {10.1007/978-3-540-89982-2\_55},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/LeeLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LeeP07,
  author       = {Joohyung Lee and
                  Ravi Palla},
  editor       = {David Pearce and
                  Axel Polleres and
                  Agust{\'{\i}}n Valverde and
                  Stefan Woltran},
  title        = {Yet Another Proof of the Strong Equivalence Between Propositional
                  Theories and Logic Programs},
  booktitle    = {Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence
                  for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {265},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-265/CENT2007-paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:44 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LeeP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.