Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Chitta Baral
2010 – today
- 2013
[c102]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA 2013: 290-306- [c101]Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, Nguyen Ha Vo: The NL2KR System. LPPAR@LPNMR 2013: 37-47
- [e3]Chitta Baral, Peter Schüller (Eds.): Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013. CEUR Workshop Proceedings 1044, CEUR-WS.org 2013
- [i15]Saadat Anwar, Chitta Baral, Katsumi Inoue: Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. CoRR abs/1306.3542 (2013)
- [i14]Saadat Anwar, Chitta Baral, Katsumi Inoue: Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. CoRR abs/1306.3548 (2013)
- [i13]Chitta Baral, Nguyen Ha Vo: Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information. CoRR abs/1306.4411 (2013)
- 2012
- [j47]Jörg Hakenberg, Dmitry Voronov, Nguyen Ha Vo, Shanshan Liang, Saadat Anwar, Barry Lumpkin, Robert Leaman, Luis Tari, Chitta Baral: A SNPshot of PubMed to associate genetic variants with drugs, diseases, and adverse reactions. Journal of Biomedical Informatics 45(5): 842-850 (2012)
- [j46]Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: Incremental Information Extraction Using Relational Databases. IEEE Trans. Knowl. Data Eng. 24(1): 86-99 (2012)
- [j45]Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman: Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. TPLP 12(4-5): 775-791 (2012)
- [c100]Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman: The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. Correct Reasoning 2012: 40-56
- [c99]Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond: Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning 2012: 509-526
- [c98]Chitta Baral, Nguyen Ha Vo, Shanshan Liang: Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report. ICLP (Technical Communications) 2012: 26-36
- [c97]Chitta Baral, Juraj Dzifcak: Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. KR 2012
- [c96]Chitta Baral, Shanshan Liang: From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. KR 2012
- [i12]Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman: Typed Answer Set Programming and Inverse Lambda Algorithms. CoRR abs/1210.5670 (2012)
- 2011
- [j44]Jörg Hakenberg, Illés Solt, Domonkos Tikk, Nguyen Ha Vo, Luis Tari, Quang Long Nguyen, Chitta Baral, Ulf Leser: Molecular Event Extraction from Link Grammar Parse Trees in the BioNLP'09 Shared Task. Computational Intelligence 27(4): 665-680 (2011)
- [c95]Chitta Baral, Juraj Dzifcak: Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation. AAAI Fall Symposium: Advances in Cognitive Systems 2011
- [c94]Chitta Baral, Gregory Gelfond: On Representing Actions in Multi-agent Domains. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 213-232
- [c93]Chitta Baral: Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. LPNMR 2011: 12
- [c92]
- [i11]Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou: Using Inverse lambda and Generalization to Translate English to Formal Languages. CoRR abs/1108.3843 (2011)
- [i10]
- [i9]
- 2010
- [j43]Luis Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral: Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism. Bioinformatics 26(18) (2010)
- [j42]Jörg Hakenberg, Robert Leaman, Nguyen Ha Vo, Siddhartha Jonnalagadda, Ryan Sullivan, Christopher Miller, Luis Tari, Chitta Baral, Graciela Gonzalez: Efficient Extraction of Protein-Protein Interactions from Full-Text Articles. IEEE/ACM Trans. Comput. Biology Bioinform. 7(3): 481-494 (2010)
- [j41]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic programming for finding models in the logics of knowledge and its applications: A case study. TPLP 10(4-6): 675-690 (2010)
- [c91]Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli: Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS 2010: 259-266
- [c90]Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: GenerIE: Information extraction using database queries. ICDE 2010: 1121-1124
- [c89]Chitta Baral: Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). KR 2010
- [c88]Chitta Baral, Ian Horrocks, Yoav Shoham: Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010
- [c87]Luis Tari, Saadat Anwar, Shanshan Liang, Jörg Hakenberg, Chitta Baral: Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning. Pacific Symposium on Biocomputing 2010: 465-476
- [c86]Adrien Coulet, Nigam H. Shah, Lawrence Hunter, Chitta Baral, Russ B. Altman: Extraction of Genotype-Phenotype-Drug Relationships from Text: From Entity Recognition to Bioinformatics Application. Pacific Symposium on Biocomputing 2010: 485-487
- [i8]Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez: Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. CoRR abs/1001.4277 (2010)
- [i7]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. CoRR abs/1007.3700 (2010)
2000 – 2009
- 2009
- [j40]Richard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. Int. J. Software and Informatics 3(1): 3-30 (2009)
- [j39]Nam Tran, Chitta Baral: Hypothesizing about signaling networks. J. Applied Logic 7(3): 253-274 (2009)
- [j38]Luis Tari, Chitta Baral, Seungchan Kim: Fuzzy c-means clustering with prior biological knowledge. Journal of Biomedical Informatics 42(1): 74-81 (2009)
- [j37]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)
- [c85]Chitta Baral, Tran Cao Son, Enrico Pontelli: Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. CLIMA 2009: 46-63
- [c84]Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn: What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. ICRA 2009: 4163-4168
- [c83]Chitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
- [c82]Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez: Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. HLT-NAACL (Short Papers) 2009: 177-180
- [c81]Luis Tari, Jörg Hakenberg, Graciela Gonzalez, Chitta Baral: Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks. Pacific Symposium on Biocomputing 2009: 87-98
- 2008
- [j36]Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura: Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Artif. Intell. 172(12-13): 1429-1469 (2008)
- [j35]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: AAAI 2008 Spring Symposia Reports. AI Magazine 29(3): 107-115 (2008)
- [c80]Chitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. AAAI 2008: 406-411
- [c79]Chitta Baral, Juraj Dzifcak, Tran Cao Son: Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. AAAI 2008: 818-823
- [c78]Marcello Balduccini, Chitta Baral: Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008
- [c77]Syed Toufeeq Ahmed, Hasan Davulcu, Chitta Baral: Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. BIBM 2008: 473-476
- [c76]Chitta Baral: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. ICLP 2008: 69-70
- [c75]Richard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357
- [i6]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. CoRR abs/0812.0659 (2008)
- 2007
- [j34]Nam Tran, Chitta Baral: Reasoning about non-immediate triggers in biological networks. Ann. Math. Artif. Intell. 51(2-4): 267-293 (2007)
- [j33]Phan Huy Tu, Tran Cao Son, Chitta Baral: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. TPLP 7(4): 377-450 (2007)
- [c74]Chitta Baral, Juraj Dzifcak, Luis Tari: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. ICLP 2007: 1-21
- [c73]Chitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics for Goal Specification. IJCAI 2007: 236-242
- [c72]Chitta Baral, Matt Hunsaker: Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. IJCAI 2007: 243-249
- [c71]Graciela Gonzalez, Juan C. Uribe, Luis Tari, Colleen Brophy, Chitta Baral: Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. Pacific Symposium on Biocomputing 2007: 28-39
- [c70]Luis Tari, Phan Huy Tu, Barry Lumpkin, Robert Leaman, Graciela Gonzalez, Chitta Baral: Passage Relevancy Through Semantic Relatedness. TREC 2007
- [e2]Chitta Baral, Gerhard Brewka, John S. Schlipf (Eds.): Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Lecture Notes in Computer Science 4483, Springer 2007, ISBN 978-3-540-72199-4
- 2006
- [j32]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: AAAI 2006 Spring Symposium Reports. AI Magazine 27(3): 107-112 (2006)
- [j31]Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Logical Methods in Computer Science 2(4) (2006)
- [j30]Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith: Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006)
- [j29]Xin Zhang, Seungchan Kim, Tie Wang, Chitta Baral: Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method. IEEE Transactions on Signal Processing 54(6-2): 2427-2435 (2006)
- [c69]Chitta Baral, Jicheng Zhao: Goal Specification, Non-Determinism and Quantifying over Policies. AAAI 2006: 231-237
- [c68]
- [c67]Chitta Baral, Saadat Anwar, Juraj Dzifcak: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 1-9
- [c66]
- [c65]Chitta Baral, Juraj Dzifcak, Hiro Takahashi: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. ICLP 2006: 376-390
- [c64]Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
- [c63]Luis Tari, Graciela Gonzalez, Robert Leaman, Shawn Nikkila, Ryan Wendt, Chitta Baral: ASU at TREC 2006 Genomics Track. TREC 2006
- [i5]Phan Huy Tu, Tran Cao Son, Chitta Baral: Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming. CoRR abs/cs/0605017 (2006)
- [i4]Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. CoRR abs/cs/0609111 (2006)
- 2005
- [j28]Chitta Baral, Yan Zhang: Knowledge updates: Semantics and complexity issues. Artif. Intell. 164(1-2): 209-243 (2005)
- [j27]Chitta Baral, Nam Tran: Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. Studia Logica 79(1): 33-46 (2005)
- [j26]Graciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)
- [c62]Chitta Baral, Thomas Eiter, Jicheng Zhao: Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. AAAI 2005: 578-583
- [c61]Nam Tran, Chitta Baral, Carron Shankland: Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. AAAI 2005: 676-681
- [c60]
- [c59]Chitta Baral, Michael Gelfond, Richard B. Scherl: Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 149-150
- [c58]Xin Zhang, Chitta Baral, Seungchan Kim: An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset. AIME 2005: 524-534
- [c57]Luis Tari, Chitta Baral, Saadat Anwar: A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Answer Set Programming 2005
- [c56]Prabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan: BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers. DILS 2005: 19-30
- [c55]Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi: Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. DILS 2005: 121-136
- [c54]Chitta Baral, Hasan Davulcu, Mutsumi Nakamura, Prabhdeep Singh, Luis Tari, Lian Yu: Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration. DILS 2005: 309-312
- [c53]Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi: Knowledge-based framework for hypothesis formation in biochemical networks. ECCB/JBI 2005: 219
- [c52]Luis Tari, Chitta Baral, P. Dasgupta: Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology. Pacific Symposium on Biocomputing 2005
- [c51]Lian Yu, Syed Toufeeq Ahmed, Graciela Gonzalez, Brendan Logsdon, Mutsumi Nakamura, Shawn Nikkila, Kalpesh Shah, Luis Tari, Ryan Wendt, Amanda Zeigler, Chitta Baral: Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. TREC 2005
- [e1]Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (Eds.): Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Lecture Notes in Computer Science 3662, Springer 2005, ISBN 3-540-28538-5
- 2004
- [c50]Tran Cao Son, Chitta Baral, Le-Chi Tuan: Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97
- [c49]
- [c48]Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son: Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561
- [c47]Chitta Baral, Thomas Eiter: A Polynomial Time Algorithm for Constructing k-Maintainable Policies. ICAPS 2004: 111-121
- [c46]Chitta Baral, Jicheng Zhao: Goal Specification in Presence of Non-Deterministic Actions. ECAI 2004: 273-277
- [c45]Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran, Anna M. Joy, Michael E. Berens: A knowledge based approach for representing and reasoning about signaling networks. ISMB/ECCB (Supplement of Bioinformatics) 2004: 15-22
- [c44]
- [c43]Chitta Baral, Thomas Eiter: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. KR 2004: 720-730
- [c42]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
- [c41]Tran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274
- [i3]Le-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states. CoRR cs.AI/0405071 (2004)
- 2003
- [j25]Chitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)
- [c40]Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran: Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways. CSB 2003: 623-628
- 2002
- [j24]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: AAAI 2002 Workshops. AI Magazine 23(4): 113-121 (2002)
- [c39]Chitta Baral, Nam Tran, Le-Chi Tuan: Reasoning about Actions in a Probabilistic Setting. AAAI/IAAI 2002: 507-512
- [c38]
- [c37]Chitta Baral, Tran Cao Son, Le-Chi Tuan: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302
- [c36]Graciela Gonzalez, Chitta Baral, Peter A. Cooper: Modeling Multimedia Displays Using Action Based Temporal Logic. VDB 2002: 141-155
- [i2]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning. CoRR cs.AI/0207023 (2002)
- 2001
- [j23]Tran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001)
- [j22]Goce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Int. J. Cooperative Inf. Syst. 10(4): 483-507 (2001)
- [j21]Raul Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, Le-Chi Tuan: From Planning to Searching for the Shortest Plan: An Optimal Transition. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 827-837 (2001)
- [c35]Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001
- [c34]Le-Chi Tuan, Chitta Baral: Effect of knowledge representation on model based planning: experiments using logic programming encodings. Answer Set Programming 2001
- [c33]
- [c32]Chitta Baral, Vladik Kreinovich, Raul Trejo: Computational Complexity of Planning with Temporal Goals. IJCAI 2001: 509-514
- [c31]Chitta Baral, Cenk Uyan: Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. LPNMR 2001: 186-199
- [c30]Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239
- 2000
- [j20]
- [j19]Chitta Baral, Vladik Kreinovich, Raul Trejo: Computational complexity of planning and approximate planning in the presence of incompleteness. Artif. Intell. 122(1-2): 241-267 (2000)
- [c29]Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland: Maintainability: A Weaker Stabilizability Like Notion for High Level Control. AAAI/IAAI 2000: 62-67
- [c28]Raul Trejo, Vladik Kreinovich, Chitta Baral: Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. AAAI/IAAI 2000: 545-550
- [c27]Chitta Baral, Le-Chi Tuan, Raul Trejo, Vladik Kreinovich: Computational Complexity of Planning Based on Partial Information about the System's Present and Past States. Computational Logic 2000: 882-896
- [c26]Mutsumi Nakamura, Chitta Baral: Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. Computational Logic 2000: 1210-1224
- [c25]Goce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
- [c24]Chitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322
- [i1]Chitta Baral, Miroslaw Truszczynski: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000. CoRR cs.AI/0003073 (2000)
1990 – 1999
- 1999
- [c23]
- [c22]Chitta Baral, Graciela Gonzalez: Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries. ICMCS, Vol. 1 1999: 550-555
- [c21]Chitta Baral, Vladik Kreinovich, Raul Trejo: Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness. IJCAI 1999: 948-955
- 1998
- [j18]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
- [j17]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)
- [j16]Chitta Baral, Tran Cao Son: Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. 2: 211-271 (1998)
- [j15]Chitta Baral, Michael Gelfond, Olga Kosheleva: Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35(3): 195-230 (1998)
- [j14]Chitta Baral, Graciela Gonzalez, Tran Cao Son: Conceptual Modeling and Querying in Multimedia Databases. Multimedia Tools Appl. 7(1/2): 37-66 (1998)
- [c20]Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica Nogueira, Tran Cao Son: From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. Agents 1998: 32-38
- [c19]Chitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565
- [c18]Chitta Baral, Graciela Gonzalez, Amarendra Nandigam: SQL+D: Extended Display Capabilities for Multimedia Database Queries. ACM Multimedia 1998: 109-114
- 1997
- [j13]Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz: Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Ann. Math. Artif. Intell. 21(2-4): 129 (1997)
- [j12]Chitta Baral: Relating Logic Programming Theories of Actions and Partial Order Planning. Ann. Math. Artif. Intell. 21(2-4): 131-151 (1997)
- [j11]Chitta Baral: Embedding Revision Programs in Logic Programming Situation Calculus. J. Log. Program. 30(1): 83-97 (1997)
- [j10]Chitta Baral, Michael Gelfond: Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997)
- [j9]Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
- [c17]Chitta Baral, Jorge Lobo: From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD 1997: 26-32
- [c16]Chitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264
- [c15]
- [c14]Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401
- 1996
- [c13]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657
- [c12]Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson: A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 1996: 1350
- [c11]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481
- [c10]Chitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195
- 1995
- [c9]Chitta Baral: Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. IJCAI 1995: 2017-2026
- 1994
- [j8]Chitta Baral: Varying Selection Functions to Relate Conditional Logics and Preferential Models. Fundam. Inform. 21(4): 307-319 (1994)
- [j7]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3(3): 319-348 (1994)
- [j6]Chitta Baral, Michael Gelfond: Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994)
- [c8]
- 1993
- [j5]Chitta Baral, V. S. Subrahmanian: Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. J. Autom. Reasoning 10(3): 399-420 (1993)
- [c7]Chitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873
- [c6]Chitta Baral, Michael Gelfond, Olga Kosheleva: Approximating General Logic Programs. ILPS 1993: 181-198
- 1992
- [j4]Chitta Baral, Jorge Lobo, Jack Minker: Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992)
- [j3]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First-Order Analysis. Computational Intelligence 8: 45-71 (1992)
- [j2]Chitta Baral, V. S. Subrahmanian: Stable and Extension Class Theory for Logic Programs and Default Logics. J. Autom. Reasoning 8(3): 345-366 (1992)
- [c5]Chitta Baral: Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. LPAR 1992: 309-319
- 1991
- [j1]Chitta Baral, Sarit Kraus, Jack Minker: Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991)
- [c4]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92-101
- [c3]Chitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468
- [c2]Chitta Baral, V. S. Subrahmanian: Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). LPNMR 1991: 69-86
- 1990
- [c1]Chitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:19 CEST by the dblp team