- Joint learning of logic relationships for studying protein function using phylogenetic profiles and the
- Issues in Querying Multimedia Databases Chitta Baral, Graciela Gonzalez and Tran Son
- Planning with different forms of domaindependent control knowledge --an answer set programming
- CSE 571 --Artificial Intelligence Take Home TEST ---II a
- Maintainability: a weaker stabilizability like notion for high level control Mutsumi Nakamura Chitta Baral Marcus Bj areland
- Knowledge-Based Intergrative Framework for Hypothesis Formation in Biochemical Networks
- Computational complexity of planning and approximate planning in the presence of incompleteness
- FROM ACTION THEORIES TO AGENTS Chitta Baral
- Formal Characterizations of Active Databases: Chitta Baral ?1 and Jorge Lobo ??2 and Goce Trajcevski 2
- What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic
- Formalizing Sensing Actions a transition function based approach Tran Cao Son and Chitta Baral
- Formalizing workflows as cooperative agents Chitta Baral \Lambda
- Relating logic programming theories of actions and partial order planning
- Reasoning about actions: Nondeterministic effects, Constraints, and Qualification
- Reasoning about actions in a probabilistic setting Chitta Baral, Nam Tran and LeChi Tuan
- On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond
- ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING
- Computational Complexity of Planning with Temporal Goals Chitta Baral
- A transition function based characterization of actions with delayed and continuous effects
- Under consideration for publication in Theory and Practice of Logic Programming 1 Probabilistic reasoning with answer sets
- Characterizing Production Systems using Logic Programming and Situation Calculus
- Goal specification in presence of non-deterministic Chitta Baral and Jicheng Zhao 1
- Adding Time and Intervals to Procedural and Hierarchical Control Specifications Tran Cao Son
- Goal specification using temporal logic in presence of non-deterministic actions Chitta Baral Matt Barry
- Representation and reasoning about evolution of the world in the context of reasoning about actions
- Encoding probabilistic causal models in probabilistic action language PAL Chitta Baral and Nam Tran
- Knowledge updates: Semantics and complexity issues
- Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages
- Towards deep reasoning with respect to natural language text in scientific domains Chitta Baral, Shanshan Liang and Vo Nguyen
- Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions
- GenerIE: Information Extraction Using Database Queries
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. X, NO. Y, SOMETIME 2010 1 Efficient extraction of protein-protein interactions
- Oxford University Press 2005 1 Discovering drug interactions: a text-mining and reasoning ap-
- IEEE TRANSACTIONS ON KNOWLEDGE & DATA ENGINEERING 1 Parse Tree Database for Information Extraction
- Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Chitta Baral and Jicheng Zhao
- Reasoning about Non-immediate Triggers in Biological Networks Nam Tran Chitta Baral
- Volume title 1 The editors
- Genomic Information Retrieval through Selective Extraction and Tagging by the ASU-BioAI Group
- Reasoning about the ERK signal transduction pathway using BioSigNet-RR
- Collaborative Curation of Data from Bio-medical Texts and Abstracts and its integration
- IntEx: A Syntactic Role Driven Protein-Protein Interaction Extractor for Bio-Medical Text
- Logic Programming and Reasoning about Actions
- Macros, Macro calls and Use of Ensembles in Modular Answer Set Programming
- REASONING AGENTS IN DYNAMIC DOMAINS Chitta Baral
- Approximate reasoning about actions in presence of sensing and
- Defeasible Specifications in Action Theories Recent research in formalizing effects of actions
- CSE 494/CSE598/CBS598 Spring 2006: take home part of the final exam
- Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge
- Goal Specification, Non-determinism and Quantifying over Policies Chitta Baral and Jicheng Zhao
- Invariance, Maintenance and other declarative objectives of triggers --a formal characterization
- Knowledge updates: Semantics and complexity issues #
- Expanding queries to incomplete databases by interpolating general logic programs. 1
- Formalizing Sensing Actions a transition function based approach Tran Cao Son Chitta Baral
- Conceptual Modeling and Querying in Multimedia Databases Chitta Baral, Graciela Gonzalez and Tran Son
- Computational Intelligence, Volume xx, Number 000, 2009 Molecular event extraction from Link Grammar parse trees
- Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning
- Computational Complexity of Planning with Temporal Chitta Baral
- Probabilistic reasoning with answer sets Chitta Baral1
- Reasoning about intended actions Chitta Baral
- Encoding probabilistic causal model in probabilistic action language Nam Tran and Chitta Baral
- Abductive reasoning through Filtering Chitta Baral
- Knowledge representation, reasoning and declarative problem solving with Answer sets 1
- Reasoning about actions in a probabilistic setting Chitta Baral and LeChi Tuan
- Towards Feasible Approach to Plan Checking Under Probabilistic Uncertainty: Interval Methods
- Temporal Logic and reasoning about actions Gisela Mendez
- A language to reason about long duration transactions and their concurrent execution
- BIOINFORMATICS Vol. 00 no. 00 2004
- Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains
- The Complexity of Model Checking for Knowledge Update Chitta Baral \Lambda
- Relating theories of actions and reactive control Chitta Baral and Tran Cao Son
- QUERYING PARSE TREE DATABASE OF MEDLINE TEXT TO SYNTHESIZE USER-SPECIFIC BIOMOLECULAR NETWORKS
- Computational Complexity of Planning Based on Partial Information About
- Reasoning about actual and hypothetical occurances of concurrent and nondeterministic
- Embedding Revision Programs in Logic Programming Situation Calculus
- A Polynomial-time Algorithm for Constructing k-Maintainable Policies Chitta Baral
- Reasoning about Triggered Actions in AnsProlog and its Application to Molecular Interactions in Cells
- Value Minimization in Circumscription Chitta Baral, Alfredo Gabaldon 1
- J. LOGIC PROGRAMMING 1993:12:1--199 1 REPRESENTING ACTIONS: LAWS,
- Relating theories of actions and reactive control Chitta Baral and Tran Cao Son
- Regression With Respect to Sensing Actions and Partial States Le-chi Tuan, Chitta Baral, and Xin Zhang
- Using Answer Set Programming to model multi-agent scenarios involving agents' knowledge about other's
- Planning with Sensing Actions and Incomplete Information using Logic Programming
- Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
- Towards overcoming the knowledge acquisition bottleneck in Answer Set Prolog applications
- Reasoning in description logics using declarative logic programming Guray Alsac and Chitta Baral
- Formalizing Narratives using Nested Circumscription and Value Minimization
- Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning
- Reasoning about actions: Non-deterministic effects, Constraints, and Qualification
- Varying Selection Functions to Relate Conditional Logics and Preferential Models
- Logic Programming and Knowledge Representation Chitta Baral and Michael Gelfond
- A formal characterization of maintenance goals Mutsumi Nakamura and Chitta Baral
- CSE 571 --Artificial Intelligence Take Home TEST ---II b
- Extending ConGolog to allow partial ordering Chitta Baral and Tran Cao Son
- PROGRAMMING REPRESENTATION,
- Formalizing Narratives using Nested Circumscription Chitta Baral, Alfredo Gabaldon
- Complexity and approximation studies of finding polynomially bounded length plans for temporal goals
- Combining Default Logic Databases * Chitta Baraly Sarit Krausz Jack Minkerx V.S.Subrahmanian{
- Combining Multiple Knowledge Bases consisting of Logic
- Rule Based Updates on Simple Knowledge Bases Chitta Baral
- Embedding Revision Programs in Logic Programming Situation Calculus
- From theory to practice The UTEP robot in the AAAI 96 and AAAI 97 robot contests
- Declarative specification and solution of combinatorial auctions using logic programming
- [MLLB96] G. Mendez, J Llopis, J. Lobo, and C. Baral. Temporal logic and reasoning about actions. In Common Sense 96, 1996.
- Formalizing (and Reasoning About) the Specifications of Workflows
- Formalizing Narratives using Nested Circumscription
- On the Semantics of Knowledge Update Chitta Baral
- Hypothesizing about Signaling Networks & Chitta Baral b
- Formulating diagnostic problem solving using an action language with narratives and sensing
- Logic Programming and Knowledge Representation Chitta Baral and Michael Gelfond
- J. LOGIC PROGRAMMING 1993:12:1--199 1 REASONING ABOUT EFFECTS OF
- Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning
- Rule Based Updates on Simple Knowledge Bases Chitta Baral
- Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs
- A Systematic Approach to reason with time and situations
- Combining Knowledge Bases Consisting of First Order Theories
- Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
- Logic programming and uncertainty Chitta Baral
