Chitta Baral - Publications

Affiliations: 
Computer Science Arizona State University, Tempe, AZ, United States 
Area:
Computer Science, Logic, Robotics Engineering

134 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
2016 Baral C, Son TC, Gelfond M, Mitra A. Plan failure analysis: Formalization and application in interactive planning through natural language communication Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9862: 376-386. DOI: 10.1007/978-3-319-44832-9_25  1
2015 Gaur S, Vo NH, Kashihara K, Baral C. Translating simple legal text to formal representations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9067: 259-273. DOI: 10.1007/978-3-662-48119-6_19  1
2015 Baral C, Son TC. “Add another blue stack of the same height!”: ASP based planning and plan failure analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9345: 127-133. DOI: 10.1007/978-3-319-23264-5_11  1
2015 Mitra A, Baral C. Learning to automatically solve logic grid puzzles Conference Proceedings - Emnlp 2015: Conference On Empirical Methods in Natural Language Processing. 1023-1033.  1
2015 Son TC, Pontelli E, Baral C. A non-monotonic goal specification language for planning with preferences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9060: 202-217.  1
2015 Vo NH, Mitra A, Baral C. The NL2KR platform for building natural language translation systems Acl-Ijcnlp 2015 - 53rd Annual Meeting of the Association For Computational Linguistics and the 7th International Joint Conference On Natural Language Processing of the Asian Federation of Natural Language Processing, Proceedings of the Conference. 1: 899-908.  1
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.  1
2015 Gonzalez G, Baral C, Kiefer J, Kim S, Ye J. Cancer pathways: Automatic extraction, representation, and reasoning in the 'big data' era 20th Pacific Symposium On Biocomputing, Psb 2015. 80-83.  1
2015 Aditya S, Baral C, Vo NH, Lee J, Ye J, Naung Z, Lumpkin B, Hastings J, Scherl R, Sweet DM, Inclezan D. Recognizing social constructs from textual conversation Naacl Hlt 2015 - 2015 Conference of the North American Chapter of the Association For Computational Linguistics: Human Language Technologies, Proceedings of the Conference. 1293-1298.  1
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  1
2014 Anwar S, Baral C. Pathway specification and comparative queries: A high level language with petri net semantics Proceedings of the National Conference On Artificial Intelligence. 2: 981-988.  1
2014 Baral C, De Giacomo G, Eiter T. Preface 14th International Conference On the Principles of Knowledge Representation and Reasoning, Kr 2014. xv-xvi.  1
2014 Son TC, Pontelli E, Baral C, Gelfond G. Finitary S5-theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8761: 39-252.  1
2013 Baral C, Gelfond G, Pontelli E, Son TC. Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: The action language mAL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8143: 290-306. DOI: 10.1007/978-3-642-40624-9_18  1
2013 Baral C, Vo NH. Event-object reasoning with curated knowledge bases: Deriving missing information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8148: 161-167. DOI: 10.1007/978-3-642-40564-8_16  1
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  1
2013 Baral C, Schüller P. Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR) 2013 Ceur Workshop Proceedings. 1044: i.  1
2013 Baral C, Dzifcak J, Kumbhare K, Vo NH. The NL2KR system Ceur Workshop Proceedings. 1044: 37-47.  1
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  1
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  1
2012 Baral C, Vo NH, Liang S. Answering why and how questions with respect to a frame-based knowledge base: A preliminary report Leibniz International Proceedings in Informatics, Lipics. 17: 26-36. DOI: 10.4230/LIPIcs.ICLP.2012.26  1
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  1
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  1
2012 Baral C, Gonzalez MA, Gottesman A. The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating english to FOL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7265: 40-56. DOI: 10.1007/978-3-642-30743-0_4  1
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  1
2012 Baral C, Liang S. From knowledge represented in frame-based languages to declarative representation and reasoning via ASP 13th International Conference On the Principles of Knowledge Representation and Reasoning, Kr 2012. 413-423.  1
2012 Baral C, Dzifcak J. Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation 13th International Conference On the Principles of Knowledge Representation and Reasoning, Kr 2012. 573-577.  1
2011 Hakenberg J, Solt I, Tikk D, Nguyên VH, Tari L, Nguyen QL, Baral C, Leser U. Molecular event extraction from link grammar parse trees in the BIONLP'09 shared task Computational Intelligence. 27: 665-680. DOI: 10.1111/j.1467-8640.2011.00404.x  1
2011 Baral C. Logic programming and uncertainty Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6929: 22-37. DOI: 10.1007/978-3-642-23963-2_3  1
2011 Baral C, Gelfond G. On representing actions in multi-agent domains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6565: 213-232. DOI: 10.1007/978-3-642-20832-4_15  1
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  1
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  1
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  1
2010 Tari L, Tu PH, Hakenberg J, Chen Y, Son TC, Gonzalez G, Baral C. GenerIE: Information extraction using database queries Proceedings - International Conference On Data Engineering. 1121-1124. DOI: 10.1109/ICDE.2010.5447773  1
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  1
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  1
2010 Baral C. Reasoning about actions and change: From single agent actions to multi-agent actions (extended abstract) Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, Kr 2010. 3-5.  1
2010 Baral C, Gelfond G, Son TC, Pontelli E. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge Proceedings of the International Joint Conference On Autonomous Agents and Multiagent Systems, Aamas. 1: 259-266.  1
2009 Tari L, Hakenberg J, Gonzalez G, Baral C. Querying parse tree database of Medline text to synthesize user-specific biomolecular networks. Pacific Symposium On Biocomputing. Pacific Symposium On Biocomputing. 87-98. PMID 19209697  1
2009 Tari L, Baral C, Kim S. Fuzzy c-means clustering with prior biological knowledge. Journal of Biomedical Informatics. 42: 74-81. PMID 18595779 DOI: 10.1016/J.Jbi.2008.05.009  1
2009 Dzifcak J, Scheutz M, Baral C, Schermerhorn P. What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution Proceedings - Ieee International Conference On Robotics and Automation. 4163-4168. DOI: 10.1109/ROBOT.2009.5152776  1
2009 Tran N, Baral C. Hypothesizing about signaling networks Journal of Applied Logic. 7: 253-274. DOI: 10.1016/J.Jal.2008.10.001  1
2009 Baral C, Son TC, Pontelli E. Modeling multi-agent domains in an action languages: An empirical study using Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5753: 409-415. DOI: 10.1007/978-3-642-04238-6_35  1
2008 Pontelli E, Son TC, Baral C. A logic programming based framework for intelligent web service composition Managing Web Service Quality: Measuring Outcomes and Effectiveness. 193-221. DOI: 10.4018/978-1-60566-042-4.ch009  1
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  1
2008 Ahmed ST, Davulcu H, Baral C. Extracting protein-protein interactions from MEDLINE using syntactic roles Proceedings - Ieee International Conference On Bioinformatics and Biomedicine, Bibm 2008. 473-476. DOI: 10.1109/BIBM.2008.62  1
2008 Balduccini M, Baral C, Lierler Y. Chapter 20 Knowledge Representation and Question Answering Foundations of Artificial Intelligence. 3: 779-819. DOI: 10.1016/S1574-6526(07)03020-9  1
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  1
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  1
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  1
2008 Baral C, Zhao J. Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals Proceedings of the National Conference On Artificial Intelligence. 1: 406-411.  1
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.  1
2007 Gonzalez G, Uribe JC, Tari L, Brophy C, Baral C. Mining gene-disease relationships from biomedical literature: weighting protein-protein interactions and connectivity measures. Pacific Symposium On Biocomputing. Pacific Symposium On Biocomputing. 28-39. PMID 17992743  1
2007 Baral C, Gonzalez G, Gitter A, Teegarden C, Zeigler A, Joshi-Topé G. CBioC: beyond a prototype for collaborative annotation of molecular interactions from the literature Computational Systems Bioinformatics / Life Sciences Society. Computational Systems Bioinformatics Conference. 6: 381-384. PMID 17951840  1
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  1
2007 Ceberio M, Kreinovich V, Chopra S, Longpré L, Nguyen HT, Ludäscher B, Baral C. Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems Journal of Computational and Applied Mathematics. 199: 403-410. DOI: 10.1016/J.Cam.2005.08.030  1
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  1
2007 Baral C, Zhao J. Non-monotonic temporal logics for goal specification Ijcai International Joint Conference On Artificial Intelligence. 236-242.  1
2007 Baral C, Hunsaker M. Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning Ijcai International Joint Conference On Artificial Intelligence. 243-249.  1
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.  1
2007 Baral C, Brewka G, Schlipf J. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4483.  1
2007 Baral C, Pontelli E, Son TC. ASP - PROLOG: Composition and interoperation of rules Ceur Workshop Proceedings. 287: 1-2.  1
2007 Tari L, Tu PH, Lumpkin B, Leaman R, Gonzalez G, Baral C. Passage relevancy through semantic relatedness Nist Special Publication 1
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  1
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  1
2006 Zhang X, Kim S, Wang T, Baral C. Joint learning of logic relationships for studying protein function using phylogenetic profiles and the Rosetta Stone method Ieee Transactions On Signal Processing. 54: 2427-2435. DOI: 10.1109/Tsp.2006.873718  1
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  1
2006 Baral C, Zhao J. Goal specification, non-determinism and quantifying over policies Proceedings of the National Conference On Artificial Intelligence. 1: 231-237.  1
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.  1
2006 Baral C, Dzifcak J, Tran N, Zhao J. Reasoning about actions in biophysical systems Aaai Workshop - Technical Report. 17-24.  1
2006 Tari L, Gonzalez G, Leaman R, Nikkila S, Wendt R, Baral C. ASU at TREC 2006 genomics track Nist Special Publication 1
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  1
2005 Tari L, Baral C, Dasgupta P. Understanding the global properties of functionally-related gene networks using the gene ontology Proceedings of the Pacific Symposium On Biocomputing 2005, Psb 2005. 209-220. PMID 15759627  1
2005 Tari L, Baral C. Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning Aaai Workshop - Technical Report. 13-21. DOI: 10.1109/ICIT.2006.90  1
2005 Baral C, Gelfond M. Chapter 13 Logic programming and reasoning about actions Foundations of Artificial Intelligence. 1: 389-426. DOI: 10.1016/S1574-6526(05)80015-X  1
2005 Baral C, Zhang Y. Knowledge updates: Semantics and complexity issues Artificial Intelligence. 164: 209-243. DOI: 10.1016/J.Artint.2005.01.005  1
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  1
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  1
2005 Baral C. Building an open knowledge library Ceur Workshop Proceedings. 142: 8-9.  1
2005 Baral C, Leone N. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3662.  1
2005 Baral C, Gelfond M. Reasoning about intended actions Proceedings of the National Conference On Artificial Intelligence. 2: 689-694.  1
2005 Zhang X, Baral C, Kim S. An algorithm to learn causal relations between genes from steady state data: Simulation and its application to melanoma dataset Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3581: 524-534.  1
2005 Tran N, Baral C, Nagaraj VJ, Joshi L. Knowledge-based integrative framework for hypothesis formation in biochemical networks Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science). 3615: 121-136.  1
2005 Tran N, Baral C, Shankland C. Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge Proceedings of the National Conference On Artificial Intelligence. 2: 676-681.  1
2005 Tari L, Baral C, Anwar S. A language for modular answer set programming: Application to ACC tournament scheduling Ceur Workshop Proceedings. 142: 277-292.  1
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.  1
2005 Baral C, Eiter T, Zhao J. Using SAT and logic programming to design polynomial-time algorithms for planning in non-deterministic domains Proceedings of the National Conference On Artificial Intelligence. 2: 578-583.  1
2005 Baral C, Gelfond G, Gelfond M, Scinerl RB. Textual inference by combining multiple Logic programming paradigms Aaai Workshop - Technical Report. 1-5.  1
2005 Baral C, Davulcu H, Nakamura M, Singh P, Tari L, Yu L. Collaborative curation of data from bio-medical texts and abstracts and its integration Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science). 3615: 309-312.  1
2005 Singh P, Bhimavarapu R, Davulcu H, Baral C, Kim S, Liu H, Bittner M, Ramakrishnan IV. BioLog: A browser based collaboration and resource navigation assistant for BioMedical researchers Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science). 3615: 19-30.  1
2005 Yu L, Ahmed ST, Gonzalez G, Logsdon B, Nakamura M, Nikkila S, Shah K, Tari L, Wendt R, Zeigler A, Baral C. Genomic information retrieval through selective extraction and tagging by the ASU-BioAI group Nist Special Publication 1
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  1
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  1
2004 Baral C, Eiter T. A polynomial-time algorithm for constructing k-maintainable policies Proceedings of the 14th International Conference On Automated Planning and Scheduling, Icaps 2004. 111-120.  1
2004 Tran N, Baral C. Encoding probabilistic causal model in probabilistic action language Proceedings of the National Conference On Artificial Intelligence. 305-310.  1
2004 Son TC, Baral C, Tuan LC. Adding time and intervals to procedural and Hierarchical control specifications Proceedings of the National Conference On Artificial Intelligence. 92-97.  1
2004 Son TC, Tu PH, Baral C. Planning with sensing actions and incomplete information using logic programming Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2923: 261-274.  1
2004 Tuan LC, Baral C, Zhang X, Son TC. Regression with respect to sensing actions and partial states Proceedings of the National Conference On Artificial Intelligence. 556-561.  1
2004 Nguyen HT, Kreinovich V, Baral C, Mazin VD. Group-theoretic approach as a general framework for sensors, neural networks, fuzzy control, and genetic boolean networks 10th Imeko Tc7 Symposium On Advances of Measurement Science 2004. 61-66.  1
2003 Baral C, Chancellor K, Tran N. Representing and reasoning about signal networks: An illustration using NFκB dependent signaling pathways Proceedings of the 2003 Ieee Bioinformatics Conference, Csb 2003. 623-628. DOI: 10.1109/CSB.2003.1227427  1
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  1
2002 Baral C, Tran N, Tuan LC. Reasoning about actions in a probabilistic setting Proceedings of the National Conference On Artificial Intelligence. 507-512.  1
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  1
2001 Trejo R, Galloway J, Sachar C, Kreinovich V, Baral C, Tuan LC. From planning to searching for the shortest plan: An optimal transition International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems. 9: 827-837. DOI: 10.1016/S0218-4885(01)00127-7  1
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  1
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  1
2001 Baral C, Uyan C. Declarative specification and solution of combinatorial auctions using logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2173: 186-199. DOI: 10.1007/3-540-45402-0_14  1
2001 Baral C, Zhang Y. On the semantics of knowledge update Ijcai International Joint Conference On Artificial Intelligence. 97-102.  1
2001 Baral C, Kreinovich V, Trejo RA. Computational complexity of planning with temporal goals Ijcai International Joint Conference On Artificial Intelligence. 509-514.  1
2000 Baral C, Kreinovich V, Trejo R. Computational complexity of planning and approximate planning in the presence of incompleteness Artificial Intelligence. 122: 241-267. DOI: 10.1016/S0004-3702(00)00043-6  1
2000 Baral C. Abductive reasoning through filtering Artificial Intelligence. 120: 1-28. DOI: 10.1016/S0004-3702(00)00020-5  1
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  1
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  1
2000 Baral C, Son TC. Extending ConGolog to allow partial ordering Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1757: 188-204.  1
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.  1
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  1
1998 Baral C, Gonzalez G, Nandigam A. SQL+D: Extended display capabilities for multimedia database queries Proceedings of the 6th Acm International Conference On Multimedia, Multimedia 1998. 109-114. DOI: 10.1145/290747.290761  1
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  1
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  1
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  1
1998 Baral C, Gabaldon A, Provetti A. Value minimization in circumscription Artificial Intelligence. 102: 163-186. DOI: 10.1016/S0004-3702(98)00051-4  1
1998 Baral C, Floriano L, Hardesty A, Morales D, Nogueira M, Son TC. From theory to practice: The UTEP robot in the AAAI 96 and AAAI 97 robot contests Proceedings of the International Conference On Autonomous Agents. 32-38.  1
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  1
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  1
1997 Baral C, Gelfond M. Reasoning about effects of concurrent actions Journal of Logic Programming. 31. DOI: 10.1016/S0743-1066(96)00140-9  1
1997 Baral C. Embedding revision programs in logic programming situation calculus Journal of Logic Programming. 30. DOI: 10.1016/S0743-1066(96)00080-5  1
1997 Baral C, Lobo J. Defeasible specifications in action theories Ijcai International Joint Conference On Artificial Intelligence. 2: 1441-1446.  1
1997 Baral C, Lobo J. From action theories to updates, transactions, triggers and agents - A tutorial Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1341: 26-32.  1
1996 Baral C, Lobo J. Formal characterization of active databases Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1154: 175-195. DOI: 10.1007/BFb0031741  1
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  1
1993 Baral CR, Subrahmanian VS. Dualities between alternative semantics for logic programming and nonmonotonic reasoning Journal of Automated Reasoning. 10: 399-420. DOI: 10.1007/Bf00881799  1
1992 Baral CR, Subrahmanian VS. Stable and extension class theory for logic programs and default logics Journal of Automated Reasoning. 8: 345-366. DOI: 10.1007/Bf02341854  1
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  1
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  1
Show low-probability matches.