☰

Chitta Baral - Publications

Affiliations: 
Computer Science Arizona State University, Tempe, AZ, United States 
Area:
Computer Science, Logic, Robotics Engineering
Tree Info Similar researchers PubMed Report error

62 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
2019 Mitra A, Clark P, Tafjord O, Baral C. Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming Proceedings of the Aaai Conference On Artificial Intelligence. 33: 3003-3010. DOI: 10.1609/aaai.v33i01.33013003  0.342
2015 Sharma A, Vo NH, Aditya S, Baral C. Towards addressing the winograd schema challenge - Building and using a semantic parser and a knowledge hunting module Ijcai International Joint Conference On Artificial Intelligence. 2015: 1319-1325.  0.322
2014 Anwar S, Baral C, Inoue K. Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP Logical Modeling of Biological Systems. 207-243. DOI: 10.1002/9781119005223.ch6  0.553
2013 Anwar S, Baral C, Inoue K. Encoding higher level extensions of Petri nets in answer set programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8148: 116-121. DOI: 10.1007/978-3-642-40564-8_12  0.56
2012 Tari L, Vo N, Liang S, Patel J, Baral C, Cai J. Identifying novel drug indications through automated reasoning. Plos One. 7: e40946. PMID 22911721 DOI: 10.1371/Journal.Pone.0040946  0.333
2012 Hakenberg J, Voronov D, Nguyên VH, Liang S, Anwar S, Lumpkin B, Leaman R, Tari L, Baral C. A SNPshot of PubMed to associate genetic variants with drugs, diseases, and adverse reactions. Journal of Biomedical Informatics. 45: 842-50. PMID 22564364 DOI: 10.1016/J.Jbi.2012.04.006  0.513
2012 Tari L, Tu PH, Hakenberg J, Chen Y, Son TC, Gonzalez G, Baral C. Incremental information extraction using relational databases Ieee Transactions On Knowledge and Data Engineering. 24: 86-99. DOI: 10.1109/Tkde.2010.214  0.304
2012 Baral C, Dzifcak J, Gonzalez MA, Gottesman A. Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them Theory and Practice of Logic Programming. 12: 775-791. DOI: 10.1017/S1471068412000282  0.36
2012 Pontelli E, Son TC, Baral C, Gelfond G. Answer set programming and planning with knowledge and world-altering actions in multiple agent domains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7265: 509-526. DOI: 10.1007/978-3-642-30743-0_35  0.325
2010 Tari L, Anwar S, Liang S, Cai J, Baral C. Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism. Bioinformatics (Oxford, England). 26: i547-53. PMID 20823320 DOI: 10.1093/Bioinformatics/Btq382  0.542
2010 Hakenberg J, Leaman R, Vo NH, Jonnalagadda S, Sullivan R, Miller C, Tari L, Baral C, Gonzalez G. Efficient extraction of protein-protein interactions from full-text articles. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 7: 481-94. PMID 20498514 DOI: 10.1109/Tcbb.2010.51  0.315
2010 Tari L, Anwar S, Liang S, Hakenberg J, Baral C. Synthesis of pharmacokinetic pathways through knowledge acquisition and automated reasoning. Pacific Symposium On Biocomputing. Pacific Symposium On Biocomputing. 465-76. PMID 19908398  0.541
2010 Baral C, Gelfond G, Pontelli E, Son T. Logic programming for finding models in the logics of knowledge and its applications: A case study Theory and Practice of Logic Programming. 10: 675-690. DOI: 10.1017/S1471068410000359  0.431
2010 Baral C, Son TC, Pontelli E. Reasoning about multi-agent domains using action language C: A preliminary study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6214: 46-63. DOI: 10.1007/978-3-642-16867-3_3  0.362
2009 Tran N, Baral C. Hypothesizing about signaling networks Journal of Applied Logic. 7: 253-274. DOI: 10.1016/J.Jal.2008.10.001  0.405
2008 Balduccini M, Baral C, Brodaric B, Colton S, Fox P, Gutelius D, Hinkelman K, Horswill I, Huberman B, Hudlicka E, Lerman K, Lisetti C, McGuinness D, Maher ML, Musen MA, et al. Reports of the AAAI 2008 Spring Symposia Ai Magazine. 29: 107-115. DOI: 10.1609/Aimag.V29I3.2148  0.391
2008 Baral C, Eiter T, Bjäreland M, Nakamura M. Maintenance goals of agents in a dynamic environment: Formulation and policy construction Artificial Intelligence. 172: 1429-1469. DOI: 10.1016/J.Artint.2008.03.005  0.315
2008 Baral C. Using answer set programming for knowledge representation and reasoning: Future directions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5366: 69-70. DOI: 10.1007/978-3-540-89982-2_11  0.363
2008 Scherl R, Tran CS, Baral C. State-based regression with sensing and knowledge Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5351: 345-357. DOI: 10.1007/978-3-540-89197-0_33  0.329
2008 Baral C, Dzifcak J, Son TC. Using answer set programming and lambda calculus to characterize natural language sentences with normatives and exceptions Proceedings of the National Conference On Artificial Intelligence. 2: 818-823.  0.309
2007 Tu PH, Son TC, Baral C. Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming Theory and Practice of Logic Programming. 7: 377-450. DOI: 10.1017/S1471068406002948  0.393
2007 Tran N, Baral C. Reasoning about non-immediate triggers in biological networks Annals of Mathematics and Artificial Intelligence. 51: 267-293. DOI: 10.1007/S10472-008-9091-8  0.397
2007 Baral C, Dzifcak J, Tari L. Towards overcoming the knowledge acquisition bottleneck in answer set prolog applications: Embracing natural language inputs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4670: 1-21.  0.304
2006 Le T, Baral C, Tran S. A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information Logical Methods in Computer Science. 2. DOI: 10.2168/Lmcs-2(4:2)2006  0.342
2006 Abecker A, Alami R, Baral C, Bickmore T, Durfee E, Fong T, Göker MH, Green N, Liberman M, Lebiere C, Martin JH, Mentzas G, Musliner D, Nicolov N, Nourbakhsh I, et al. AAAI 2006 Spring Symposium Reports Ai Magazine. 27: 107-112. DOI: 10.1609/Aimag.V27I3.1898  0.366
2006 Son TC, Baral C, Tran N, Mcilraith S. Domain-dependent knowledge in answer set planning Acm Transactions On Computational Logic. 7: 613-657. DOI: 10.1145/1183278.1183279  0.561
2006 Pontelli E, Son TC, Baral C. A framework for composition and inter-operation of rules in the semantic web Proceedings - Ruleml 2006: 2006 Second International Conference On Rules and Rule Markup Languages For the Semantic Web. 39-48. DOI: 10.1109/RULEML.2006.1  0.331
2006 Anwar S, Baral C, Dzifcak J. Macros, macro calls and use of ensembles in modular Answer Set Programming Aaai Spring Symposium - Technical Report. 1-9.  0.344
2005 Tran N, Baral C, Nagaraj VJ, Joshi L. Knowledge-based framework for hypothesis formation in biochemical networks. Bioinformatics (Oxford, England). 21: ii213-9. PMID 16204106 DOI: 10.1093/Bioinformatics/Bti1134  0.559
2005 Baral C, Zhang Y. Knowledge updates: Semantics and complexity issues Artificial Intelligence. 164: 209-243. DOI: 10.1016/J.Artint.2005.01.005  0.405
2005 González G, Baral C, Gelfond M. Alan: An action language for modelling non-Markovian domains Studia Logica. 79: 115-134. DOI: 10.1007/S11225-005-0498-5  0.41
2005 Baral C, Tran N. Representation and reasoning about evolutions of the world in the context of reasoning about actions Studia Logica. 79: 33-46. DOI: 10.1007/S11225-005-0493-X  0.515
2005 Baral C, Gelfond G, Gelfond M, Scinerl RB. Textual inference by combining multiple Logic programming paradigms Aaai Workshop - Technical Report. 1-5.  0.365
2005 Baral C, Gelfond M. Reasoning about intended actions Proceedings of the National Conference On Artificial Intelligence. 2: 689-694.  0.321
2005 Baral C, Gelfond M, Scherl R. Answer set programming as the basis for a Homeland Security QAS Aaai Spring Symposium - Technical Report. 149-150.  0.315
2004 Baral C, Chancellor K, Tran N, Tran NL, Joy A, Berens M. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics (Oxford, England). 20: i15-22. PMID 15262776 DOI: 10.1093/bioinformatics/bth918  0.509
2004 Baral C, Gelfond M, Rushton N. Probabilistic reasoning with answer sets Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2923: 21-33. DOI: 10.1017/S1471068408003645  0.403
2003 Baral C, Provetti A, Son TC. Introduction to the special issue on Programming with answer sets Theory and Practice of Logic Programming. 3: 387-391. DOI: 10.1017/S1471068403001820  0.421
2002 Blake B, Haigh K, Hexmoor H, Falcone R, Soh L, Baral C, McIlraith S, Gmytrasiewicz P, Parsons S, Malaka R, Krueger A, Bouquet P, Smart B, Kurumantani K, Pease A, et al. AAAI 2002 Workshops Ai Magazine. 23: 113-121. DOI: 10.1609/Aimag.V23I4.1678  0.391
2001 Trajcevski G, Baral C, Lobo J. Formalizing and reasoning about the requirements specifications of workflow systems International Journal of Cooperative Information Systems. 10: 483-507. DOI: 10.1142/S021884300100045X  0.426
2001 Son TC, Baral C. Formalizing sensing actions - a transition function based approach Artificial Intelligence. 125: 19-91. DOI: 10.1016/S0004-3702(00)00080-1  0.429
2001 Son TC, Baral C, McIlraith S. Planning with different forms of domain-dependent control knowledge - An answer set programming approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2173: 226-239. DOI: 10.1007/3-540-45402-0_17  0.323
2000 Baral C. Abductive reasoning through filtering Artificial Intelligence. 120: 1-28. DOI: 10.1016/S0004-3702(00)00020-5  0.303
2000 Nakamura M, Baral C. Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1861: 1210-1224. DOI: 10.1007/3-540-44957-4_81  0.307
2000 Baral C, Tuan LC, Trejo R, Kreinovich V. Computational complexity of planning based on partial information about the system's present and past states Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1861: 882-896. DOI: 10.1007/3-540-44957-4_59  0.346
2000 Trajcevski G, Baral C, Lobo J. Formalizing (And reasoning about) the specifications of workflows Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1901: 1-17.  0.347
1999 Baral C, Kreinovich V, Trejo R. Computational complexity of planning and approximate planning in presence of incompleteness Ijcai International Joint Conference On Artificial Intelligence. 2: 948-953. DOI: 10.1016/S0004-3702(00)00043-6  0.349
1998 Baral C, Gonzalez G, Son T. Conceptual Modeling and Querying in Multimedia Databases Multimedia Tools and Applications. 23: 37-66. DOI: 10.1023/A:1009670119569  0.354
1998 Baral C, Gelfond M, Kosheleva O. Expanding queries to incomplete databases by interpolating general logic programs Journal of Logic Programming. 35: 195-230. DOI: 10.1016/S0743-1066(97)10011-5  0.385
1998 Baral C, Gabaldon A, Provetti A. Formalizing narratives using nested circumscription Artificial Intelligence. 104: 107-164. DOI: 10.1016/S0004-3702(98)00070-8  0.437
1998 Baral C, Gabaldon A, Provetti A. Value minimization in circumscription Artificial Intelligence. 102: 163-186. DOI: 10.1016/S0004-3702(98)00051-4  0.316
1997 Baral C. Relating logic programming theories of actions and partial order planning Annals of Mathematics and Artificial Intelligence. 21: 131-151. DOI: 10.1023/A:1018961217989  0.379
1997 Baral C, Gelfond M, Provetti A. Representing actions: Laws, observations and hypotheses Journal of Logic Programming. 31. DOI: 10.1016/S0743-1066(96)00141-0  0.441
1997 Baral C, Gelfond M. Reasoning about effects of concurrent actions Journal of Logic Programming. 31. DOI: 10.1016/S0743-1066(96)00140-9  0.389
1997 Baral C. Embedding revision programs in logic programming situation calculus Journal of Logic Programming. 30. DOI: 10.1016/S0743-1066(96)00080-5  0.377
1997 Baral C, Lobo J. Defeasible specifications in action theories Ijcai International Joint Conference On Artificial Intelligence. 2: 1441-1446.  0.306
1994 Baral C. VARYING SELECTION FUNCTIONS TO RELATE CONDITIONAL LOGICS AND PREFERENTIAL MODELS Fundamenta Informaticae. 21: 307-319. DOI: 10.3233/Fi-1994-2142  0.3
1994 BARAL C, KRAUS S, MINKER J, SUBRAHMANIAN VS. COMBINING DEFAULT LOGIC DATABASES International Journal of Cooperative Information Systems. 3: 319-348. DOI: 10.1142/S0218215794000181  0.411
1994 Baral C, Gelfond M. Logic programming and knowledge representation The Journal of Logic Programming. 19: 73-148. DOI: 10.1016/0743-1066(94)90025-6  0.426
1993 RAMAMOORTHY C, COOKE DE, BARAL C. MAINTAINING THE TRUTH OF SPECIFICATIONS IN EVOLUTIONARY SOFTWARE International Journal On Artificial Intelligence Tools. 2: 15-31. DOI: 10.1142/S0218213093000035  0.375
1992 Baral C, Lobo J, Minker J. Generalized disjunctive well-founded semantics for logic programs Annals of Mathematics and Artificial Intelligence. 5: 89-131. DOI: 10.1007/Bf01543473  0.385
1991 Baral C, Kraus S, Minker J. Combining Multiple Knowledge Bases Ieee Transactions On Knowledge and Data Engineering. 3: 208-220. DOI: 10.1109/69.88001  0.397
Show low-probability matches.