Chitta Baral

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2012
146Incremental Information Extraction Using Relational Databases. Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral. IEEE Trans. Knowl. Data Eng. (24): 86-99 (2012). Web SearchBibTeXDownload
2011
145Molecular Event Extraction from Link Grammar Parse Trees in the BioNLP'09 Shared Task. Jörg Hakenberg, Illés Solt, Domonkos Tikk, Nguyen Ha Vo, Luis Tari, Quang Long Nguyen, Chitta Baral, Ulf Leser. Computational Intelligence (27): 665-680 (2011). Web SearchBibTeXDownload
144Solving puzzles described in. Chitta Baral, Juraj Dzifcak. CoRR (abs/1108.3850) (2011). Web SearchBibTeXDownload
143Language understanding as a step. Chitta Baral, Juraj Dzifcak. CoRR (abs/1108.3848) (2011). Web SearchBibTeXDownload
142Using Inverse lambda and Generalization to Translate English to Formal Languages. Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou. CoRR (abs/1108.3843) (2011). Web SearchBibTeXDownload
141On Representing Actions in Multi-agent Domains. Chitta Baral, Gregory Gelfond. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011, 213-232. Web SearchBibTeXDownload
140Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. Chitta Baral. LPNMR 2011, 12. Web SearchBibTeXDownload
139Logic Programming and Uncertainty. Chitta Baral. SUM 2011, 22-37. Web SearchBibTeXDownload
2010
138Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli. AAMAS 2010, 259-266. Web SearchBibTeXDownload
137Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism. Luis Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral. Bioinformatics (26) (2010). Web SearchBibTeXDownload
136Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son. CoRR (abs/1007.3700) (2010). Web SearchBibTeXDownload
135Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez. CoRR (abs/1001.4277) (2010). Web SearchBibTeXDownload
134GenerIE: Information extraction using database queries. Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral. ICDE 2010, 1121-1124. Web SearchBibTeXDownload
133Efficient Extraction of Protein-Protein Interactions from Full-Text Articles. Jörg Hakenberg, Robert Leaman, Nguyen Ha Vo, Siddhartha Jonnalagadda, Ryan Sullivan, Christopher Miller, Luis Tari, Chitta Baral, Graciela Gonzalez. IEEE/ACM Trans. Comput. Biology Bioinform. (7): 481-494 (2010). Web SearchBibTeXDownload
132Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). Chitta Baral. KR 2010. Web SearchBibTeXDownload
131Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. Chitta Baral, Ian Horrocks, Yoav Shoham. KR 2010. Web SearchBibTeXDownload
130Extraction of Genotype-Phenotype-Drug Relationships from Text: From Entity Recognition to Bioinformatics Application. Adrien Coulet, Nigam H. Shah, Lawrence Hunter, Chitta Baral, Russ B. Altman. Pacific Symposium on Biocomputing 2010, 485-487. Web SearchBibTeXDownload
129Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning. Luis Tari, Saadat Anwar, Shanshan Liang, Jörg Hakenberg, Chitta Baral. Pacific Symposium on Biocomputing 2010, 465-476. Web SearchBibTeXDownload
128Logic programming for finding models in the logics of knowledge and its applications: A case study. Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son. TPLP (10): 675-690 (2010). Web SearchBibTeXDownload
2009
127Reasoning about Multi-agent Domains Using Action Language C\\mathcal{C}: A Preliminary Study. Chitta Baral, Tran Cao Son, Enrico Pontelli. CLIMA 2009, 46-63. Web SearchBibTeXDownload
126Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez. HLT-NAACL (Short Papers) 2009, 177-180. Web SearchBibTeXDownload
125What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn. ICRA 2009, 4163-4168. Web SearchBibTeXDownload
124State-Based Regression with Sensing and Knowledge. Richard B. Scherl, Tran Cao Son, Chitta Baral. Int. J. Software and Informatics (3): 3-30 (2009). Web SearchBibTeXDownload
123Hypothesizing about signaling networks. Nam Tran, Chitta Baral. J. Applied Logic (7): 253-274 (2009). Web SearchBibTeXDownload
122Fuzzy c-means clustering with prior biological knowledge. Luis Tari, Chitta Baral, Seungchan Kim. Journal of Biomedical Informatics (42): 74-81 (2009). Web SearchBibTeXDownload
121Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . Chitta Baral, Tran Cao Son, Enrico Pontelli. LPNMR 2009, 409-415. Web SearchBibTeXDownload
120Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks. Luis Tari, Jörg Hakenberg, Graciela Gonzalez, Chitta Baral. Pacific Symposium on Biocomputing 2009, 87-98. Web SearchBibTeXDownload
119Probabilistic reasoning with answer sets. Chitta Baral, Michael Gelfond, J. Nelson Rushton. TPLP (9): 57-144 (2009). Web SearchBibTeXDownload
2008
118Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. Chitta Baral, Jicheng Zhao. AAAI 2008, 406-411. Web SearchBibTeX
117Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. Chitta Baral, Juraj Dzifcak, Tran Cao Son. AAAI 2008, 818-823. Web SearchBibTeX
116AAAI 2008 Spring Symposia Reports. Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura. AI Magazine (29): 107-115 (2008). Web SearchBibTeXDownload
115Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura. Artif. Intell. (172): 1429-1469 (2008). Web SearchBibTeXDownload
114Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. Syed Toufeeq Ahmed, Hasan Davulcu, Chitta Baral. BIBM 2008, 473-476. Web SearchBibTeXDownload
113Probabilistic reasoning with answer sets. Chitta Baral, Michael Gelfond, J. Nelson Rushton. CoRR (abs/0812.0659) (2008). Web SearchBibTeXDownload
112Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. Chitta Baral. ICLP 2008, 69-70. Web SearchBibTeXDownload
111State-Based Regression with Sensing and Knowledge. Richard B. Scherl, Tran Cao Son, Chitta Baral. PRICAI 2008, 345-357. Web SearchBibTeXDownload
2007
110Reasoning about non-immediate triggers in biological networks. Nam Tran, Chitta Baral. Ann. Math. Artif. Intell. (51): 267-293 (2007). Web SearchBibTeXDownload
109Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. Chitta Baral, Juraj Dzifcak, Luis Tari. ICLP 2007, 1-21. Web SearchBibTeXDownload
108Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. Chitta Baral, Matt Hunsaker. IJCAI 2007, 243-249. Web SearchBibTeXDownload
107Non-monotonic Temporal Logics for Goal Specification. Chitta Baral, Jicheng Zhao. IJCAI 2007, 236-242. Web SearchBibTeXDownload
106Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. Graciela Gonzalez, Juan C. Uribe, Luis Tari, Colleen Brophy, Chitta Baral. Pacific Symposium on Biocomputing 2007, 28-39. Web SearchBibTeXDownload
105Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Phan Huy Tu, Tran Cao Son, Chitta Baral. TPLP (7): 377-450 (2007). Web SearchBibTeXDownload
104Passage Relevancy Through Semantic Relatedness. Luis Tari, Phan Huy Tu, Barry Lumpkin, Robert Leaman, Graciela Gonzalez, Chitta Baral. TREC 2007. Web SearchBibTeXDownload
2006
103Goal Specification, Non-Determinism and Quantifying over Policies. Chitta Baral, Jicheng Zhao. AAAI 2006. Web SearchBibTeX
102Domain-dependent knowledge in answer set planning. Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith. ACM Trans. Comput. Log. (7): 613-657 (2006). Web SearchBibTeXDownload
101AAAI 2006 Spring Symposium Reports. Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray. AI Magazine (27): 107-112 (2006). Web SearchBibTeXDownload
100A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information. Le-Chi Tuan, Chitta Baral, Tran Cao Son. CoRR (abs/cs/0609111) (2006). Web SearchBibTeXDownload
99Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming. Phan Huy Tu, Tran Cao Son, Chitta Baral. CoRR (abs/cs/0605017) (2006). Web SearchBibTeXDownload
98Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. Chitta Baral, Luis Tari. ICIT 2006, 125-128. Web SearchBibTeXDownload
97Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. Chitta Baral, Juraj Dzifcak, Hiro Takahashi. ICLP 2006, 376-390. Web SearchBibTeXDownload
96Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method. Xin Zhang, Seungchan Kim, Tie Wang, Chitta Baral. IEEE Transactions on Signal Processing (54): 2427-2435 (2006). Web SearchBibTeXDownload
95A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Le-Chi Tuan, Chitta Baral, Tran Cao Son. Logical Methods in Computer Science (2) (2006). Web SearchBibTeXDownload
94A Framework for Composition and Inter-operation of Rules in the Semantic Web. Enrico Pontelli, Tran Cao Son, Chitta Baral. RuleML 2006, 39-50. Web SearchBibTeXDownload
93ASU at TREC 2006 Genomics Track. Luis Tari, Graciela Gonzalez, Robert Leaman, Shawn Nikkila, Ryan Wendt, Chitta Baral. TREC 2006. Web SearchBibTeXDownload
2005
92Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. Chitta Baral, Thomas Eiter, Jicheng Zhao. AAAI 2005, 578-583. Web SearchBibTeX
91Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. Nam Tran, Chitta Baral, Carran Shankland. AAAI 2005, 676-681. Web SearchBibTeX
90Reasoning about Intended Actions. Chitta Baral, Michael Gelfond. AAAI 2005, 689-694. Web SearchBibTeX
89An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset. Xin Zhang, Chitta Baral, Seungchan Kim. AIME 2005, 524-534. Web SearchBibTeXDownload
88A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Luis Tari, Chitta Baral, Saadat Anwar. Answer Set Programming 2005. Web SearchBibTeXDownload
87Knowledge updates: Semantics and complexity issues. Chitta Baral, Yan Zhang. Artif. Intell. (164): 209-243 (2005). Web SearchBibTeXDownload
86BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers. Prabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan. DILS 2005, 19-30. Cited by 1Web SearchBibTeXDownload
85Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi. DILS 2005, 121-136. Web SearchBibTeXDownload
84Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration. Chitta Baral, Hasan Davulcu, Mutsumi Nakamura, Prabhdeep Singh, Luis Tari, Lian Yu. DILS 2005, 309-312. Cited by 8Web SearchBibTeXDownload
83Knowledge-based framework for hypothesis formation in biochemical networks. Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi. ECCB/JBI 2005, 219. Web SearchBibTeXDownload
82Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology. Luis Tari, Chitta Baral, P. Dasgupta. Pacific Symposium on Biocomputing 2005. Web SearchBibTeXDownload
81Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. Chitta Baral, Nam Tran. Studia Logica (79): 33-46 (2005). Web SearchBibTeXDownload
80Alan: An Action Language For Modelling Non-Markovian Domains. Graciela Gonzalez, Chitta Baral, Michael Gelfond. Studia Logica (79): 115-134 (2005). Web SearchBibTeXDownload
79Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. Lian Yu, Syed Toufeeq Ahmed, Graciela Gonzalez, Brendan Logsdon, Mutsumi Nakamura, Shawn Nikkila, Kalpesh Shah, Luis Tari, Ryan Wendt, Amanda Zeigler, Chitta Baral. TREC 2005. Web SearchBibTeXDownload
2004
78Adding Time and Intervals to Procedural and Hierarchical Control Specifications. Tran Cao Son, Chitta Baral, Le-Chi Tuan. AAAI 2004, 92-97. Web SearchBibTeX
77Encoding Probabilistic Causal Model in Probabilistic Action Language. Nam Tran, Chitta Baral. AAAI 2004, 305-310. Web SearchBibTeX
76Regression with Respect to Sensing Actions and Partial States. Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son. AAAI 2004, 556-561. Web SearchBibTeX
75Regression with respect to sensing actions and partial states. Le-Chi Tuan, Chitta Baral, Tran Cao Son. CoRR (cs.AI/0405071) (2004). Web SearchBibTeXDownload
74Goal Specification in Presence of Non-Deterministic Actions. Chitta Baral, Jicheng Zhao. ECAI 2004, 273-277. Web SearchBibTeX
73A Polynomial Time Algorithm for Constructing k-Maintainable Policies. Chitta Baral, Thomas Eiter. ICAPS 2004, 111-121. Web SearchBibTeX
72A knowledge based approach for representing and reasoning about signaling networks. Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran, Anna M. Joy, Michael E. Berens. ISMB/ECCB (Supplement of Bioinformatics) 2004, 15-22. Web SearchBibTeXDownload
71A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. Chitta Baral, Thomas Eiter. KR 2004, 720-730. Web SearchBibTeX
70Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. Nam Tran, Chitta Baral. KR 2004, 554-564. Web SearchBibTeX
69Planning with Sensing Actions and Incomplete Information Using Logic Programming. Tran Cao Son, Phan Huy Tu, Chitta Baral. LPNMR 2004, 261-274. Web SearchBibTeXDownload
68Probabilistic Reasoning With Answer Sets. Chitta Baral, Michael Gelfond, J. Nelson Rushton. LPNMR 2004, 21-33. Web SearchBibTeXDownload
2003
67Representing and reasoning about signal networks: an illustration using NF\\kappaB dependent signaling pathways. Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran. CSB 2003, 623-628. Web SearchBibTeXDownload
66Introduction to the special issue on Programming with Answer Sets. Chitta Baral, Alessandro Provetti, Tran Cao Son. TPLP (3): 387-391 (2003). Web SearchBibTeXDownload
2002
65Reasoning about Actions in a Probabilistic Setting. Chitta Baral, Nam Tran, Le-Chi Tuan. AAAI/IAAI 2002, 507-512. Web SearchBibTeX
64AAAI 2002 Workshops. M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat. AI Magazine (23): 113-121 (2002). Web SearchBibTeXDownload
63Domain-Dependent Knowledge in Answer Set Planning. Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith. CoRR (cs.AI/0207023) (2002). Web SearchBibTeXDownload
62The Complexity of Model Checking for Knowledge Update. Chitta Baral, Yan Zhang. KR 2002, 82-96. Web SearchBibTeX
61A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. Chitta Baral, Tran Cao Son, Le-Chi Tuan. KR 2002, 291-302. Web SearchBibTeX
60Modeling Multimedia Displays Using Action Based Temporal Logic. Graciela Gonzalez, Chitta Baral, Peter A. Cooper. VDB 2002, 141-155. Web SearchBibTeX
2001
59Effect of knowledge representation on model based planning: experiments using logic programming encodings. Le-Chi Tuan, Chitta Baral. Answer Set Programming 2001. Web SearchBibTeXDownload
58Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Tran Cao Son, Chitta Baral, Sheila A. McIlraith. Answer Set Programming 2001. Web SearchBibTeXDownload
57Formalizing sensing actions A transition function based approach. Tran Cao Son, Chitta Baral. Artif. Intell. (125): 19-91 (2001). Web SearchBibTeXDownload
56On the Semantics of Knowledge Update. Chitta Baral, Yan Zhang. IJCAI 2001, 97-102. Web SearchBibTeX
55Computational Complexity of Planning with Temporal Goals. Chitta Baral, Vladik Kreinovich, Raul Trejo. IJCAI 2001, 509-514. Web SearchBibTeX
54From Planning to Searching for the Shortest Plan: An Optimal Transition. Raul Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, Le-Chi Tuan. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (9): 827-837 (2001). Web SearchBibTeXDownload
53Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Goce Trajcevski, Chitta Baral, Jorge Lobo. Int. J. Cooperative Inf. Syst. (10): 483-507 (2001). Web SearchBibTeXDownload
52Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. Chitta Baral, Cenk Uyan. LPNMR 2001, 186-199. Web SearchBibTeXDownload
51Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. Tran Cao Son, Chitta Baral, Sheila A. McIlraith. LPNMR 2001, 226-239. Web SearchBibTeXDownload
2000
50Maintainability: A Weaker Stabilizability Like Notion for High Level Control. Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland. AAAI/IAAI 2000, 62-67. Web SearchBibTeX
49Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. Raul Trejo, Vladik Kreinovich, Chitta Baral. AAAI/IAAI 2000, 545-550. Web SearchBibTeX
48Computational complexity of planning and approximate planning in the presence of incompleteness. Chitta Baral, Vladik Kreinovich, Raul Trejo. Artif. Intell. (122): 241-267 (2000). Web SearchBibTeXDownload
47Abductive reasoning through filtering. Chitta Baral. Artif. Intell. (120): 1-28 (2000). Web SearchBibTeXDownload
46Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. Mutsumi Nakamura, Chitta Baral. Computational Logic 2000, 1210-1224. Web SearchBibTeXDownload
45Computational Complexity of Planning Based on Partial Information about the System's Present and Past States. Chitta Baral, Le-Chi Tuan, Raul Trejo, Vladik Kreinovich. Computational Logic 2000, 882-896. Web SearchBibTeXDownload
44Formalizing (and Reasoning About) the Specifications of Workflows. Goce Trajcevski, Chitta Baral, Jorge Lobo. CoopIS 2000, 1-17. Web SearchBibTeXDownload
43Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000. Chitta Baral, Miroslaw Truszczynski. CoRR (cs.AI/0003073) (2000). Web SearchBibTeXDownload
42Formulating diagnostic problem solving using an action language with narratives and sensing. Chitta Baral, Sheila A. McIlraith, Tran Cao Son. KR 2000, 311-322. Web SearchBibTeX
1999
41Extending ConGolog to Allow Partial Ordering. Chitta Baral, Tran Cao Son. ATAL 1999, 188-204. Web SearchBibTeXDownload
40Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries. Chitta Baral, Graciela Gonzalez. ICMCS, Vol. 1 1999, 550-555. Web SearchBibTeXDownload
39Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness. Chitta Baral, Vladik Kreinovich, Raul Trejo. IJCAI 1999, 948-955. Web SearchBibTeX
1998
38SQL+D: Extended Display Capabilities for Multimedia Database Queries. Chitta Baral, Graciela Gonzalez, Amarendra Nandigam. ACM Multimedia 1998, 109-114. Web SearchBibTeXDownload
37From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica Nogueira, Tran Cao Son. Agents 1998, 32-38. Web SearchBibTeXDownload
36Value Minimization in Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. Artif. Intell. (102): 163-186 (1998). Web SearchBibTeXDownload
35Formalizing Narratives Using Nested Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. Artif. Intell. (104): 107-164 (1998). Web SearchBibTeXDownload
34Relating Theories of Actions and Reactive Control. Chitta Baral, Tran Cao Son. Electron. Trans. Artif. Intell. (2): 211-271 (1998). Web SearchBibTeXDownload
33Design and Implementation of Display Specification for Multimedia Answers. Chitta Baral, Graciela Gonzalez, Tran Cao Son. ICDE 1998, 558-565. Web SearchBibTeXDownload
32Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. Chitta Baral, Michael Gelfond, Olga Kosheleva. J. Log. Program. (35): 195-230 (1998). Web SearchBibTeXDownload
31Conceptual Modeling and Querying in Multimedia Databases. Chitta Baral, Graciela Gonzalez, Tran Cao Son. Multimedia Tools Appl. (7): 37-66 (1998). Web SearchBibTeXDownload
1997
30Relating Logic Programming Theories of Actions and Partial Order Planning. Chitta Baral. Ann. Math. Artif. Intell. (21): 131-151 (1997). Web SearchBibTeXDownload
29Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz. Ann. Math. Artif. Intell. (21): 129 (1997). Web SearchBibTeXDownload
28Formal Characterizations of Active Databases: Part II. Chitta Baral, Jorge Lobo, Goce Trajcevski. DOOD 1997, 247-264. Web SearchBibTeXDownload
27From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. Chitta Baral, Jorge Lobo. DOOD 1997, 26-32. Web SearchBibTeXDownload
26Defeasible Specifications in Action Theories. Chitta Baral, Jorge Lobo. IJCAI 1997, 1441-1446. Web SearchBibTeX
25Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. Chitta Baral, Tran Cao Son. ILPS 1997, 387-401. Web SearchBibTeX
24Reasoning About Effects of Concurrent Actions. Chitta Baral, Michael Gelfond. J. Log. Program. (31): 85-117 (1997). Web SearchBibTeXDownload
23Representing Actions: Laws, Observations and Hypotheses. Chitta Baral, Michael Gelfond, Alessandro Provetti. J. Log. Program. (31): 201-243 (1997). Web SearchBibTeXDownload
22Embedding Revision Programs in Logic Programming Situation Calculus. Chitta Baral. J. Log. Program. (30): 83-97 (1997). Web SearchBibTeXDownload
1996
21Formalizing Narratives Using Nested Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. AAAI/IAAI, Vol. 1 1996, 652-657. Web SearchBibTeX
20A Reactive Mobile Robot Based on a Formal Theory of Action. Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson. AAAI/IAAI, Vol. 2 1996, 1350. Web SearchBibTeX
19Value Minimization in Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. KR 1996, 474-481. Web SearchBibTeX
18Formal Characterization of Active Databases. Chitta Baral, Jorge Lobo. Logic in Databases 1996, 175-195. Web SearchBibTeXDownload
1995
17Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. Chitta Baral. IJCAI 1995, 2017-2026. Web SearchBibTeX
1994
16Rule Based Updates on Simple Knowledge Bases. Chitta Baral. AAAI 1994, 136-141. Web SearchBibTeX
15Varying Selection Functions to Relate Conditional Logics and Preferential Models. Chitta Baral. Fundam. Inform. (21): 307-319 (1994). Web SearchBibTeXDownload
14Combining Default Logic Databases. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian. Int. J. Cooperative Inf. Syst. (3): 319 (1994). Cited by 8Web SearchBibTeX
13Logic Programming and Knowledge Representation. Chitta Baral, Michael Gelfond. J. Log. Program. (19/20): 73-148 (1994). Web SearchBibTeXDownload
1993
12Representing Concurrent Actions in Extended Logic Programming. Chitta Baral, Michael Gelfond. IJCAI 1993, 866-873. Web SearchBibTeX
11Approximating General Logic Programs. Chitta Baral, Michael Gelfond, Olga Kosheleva. ILPS 1993, 181-198. Web SearchBibTeX
10Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. Chitta Baral, V. S. Subrahmanian. J. Autom. Reasoning (10): 399-420 (1993). Cited by 109Web SearchBibTeXDownload
1992
9Generalized Disjunctive Well-Founded Semantics for Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. Ann. Math. Artif. Intell. (5): 89-131 (1992). Web SearchBibTeXDownload
8Combining Knowledge Bases Consisting of First-Order Analysis. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian. Computational Intelligence (8): 45-71 (1992). Web SearchBibTeX
7Stable and Extension Class Theory for Logic Programs and Default Logics. Chitta Baral, V. S. Subrahmanian. J. Autom. Reasoning (8): 345-366 (1992). Cited by 98Web SearchBibTeXDownload
6Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. Chitta Baral. LPAR 1992, 309-319. Web SearchBibTeXDownload
1991
5Combining Multiple Knowledge Bases. Chitta Baral, Sarit Kraus, Jack Minker. IEEE Trans. Knowl. Data Eng. (3): 208-220 (1991). Web SearchBibTeXDownload
4WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. ISMIS 1991, 459-468. Web SearchBibTeXDownload
3Combining Knowledge Bases Consisting of First Order Theories. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian. ISMIS 1991, 92-101. Cited by 242Web SearchBibTeXDownload
2Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). Chitta Baral, V. S. Subrahmanian. LPNMR 1991, 69-86. Web SearchBibTeX
1990
1Generalized Well-founded Semantics for Logic Programs (Extended Abstract). Chitta Baral, Jorge Lobo, Jack Minker. CADE 1990, 102-116. Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ AAAI-10 – IAAI-10 Organizing and Program Committees - Retrieved 2011-03-19 - details
2. ^ AAAI-08 – IAAI-08 Organizing and Program Committees - Retrieved 2011-03-23 - details
3. ^ Forum for Artificial Intelligence - Retrieved 2012-01-12 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research