Selected Publications and Manuscripts
of
Chitta Baral
* * *


 Relating theories of actions and reactive control Baral, C. and Son, T.(Submitted for publication) Two smaller versions appear in AAAI 96 workshop on reasoning about actions, planning and robot control: bridgining the gap and the AAAI 97 workshop on Robot, Softbots and Immobots.  From theory to practice: the UTEP robot in AAAI 96 and 97 robot contests. In proceedings of the second international conference on automated agents (Agents 98), 3238. * Abstract. 
Applications of theories of actions to production systems and active databse systems.  
 Formalizing Active Databases. Baral, C. and Lobo, J. In LIDS (Logic in Databases) 96.  Formal characterization of active databases  II. Baral, C. and Lobo, J. In proceedings of international conference on deductive and objectoriented database systems (DOOD), 1997. 
Databases (active, multimedia, incomplete, etc.) and Workflow Systems.  
 Issues in Querying Multimedia Databases Baral, C. and Gonzalez, G. and Son, T. In 2nd international workshop on Multimedia information systems, 1996.  Conceptual modeling and querying in multimedia databases. Baral, C., Gonzalez, G. and Son, T. In Journal of multimedia tools and applications, 7, 3766 (1998).  A multimdeia display extension to SQL: Language Design and Architecture (postscript file 4.2 MB) Baral, C., Gonzalez, G. and Reddy, R. In 1998 International Conference in Data Engineering (ICDE 98). Pointers to demos and other papers related to this project.  SQL+D: extended display capabilities for multimedia database queries. C. Baral, G. Gonzalez and A. Nandigam. In ACM Multimedia 1998.  Formalizing Active Databases. Baral, C. and Lobo, J. In LIDS (Logic in Databases) 96.  A language to reason about long duration transactions and their concurrent execution. Baral, C. and Lobo, J.(comments welcome).  Expanding queries to incomplete databases by interpolating general logic programs. , C. Baral, O. Kosheleva and M. Gelfond. (A revised version of the paper in Proceedings of International Logic Programming Symposium, Vancouver, 181198, 1993.) In Journal of Logic Programming, vol 35, 1998, 195230. 
Circumscription.  

Reasoning About Actions  
 Defeasible specification in action theories. Baral, C. and Lobo, J. In IJCAI 97.  Temporal logic and reasoning about actions. Mendez, G., Llopis, J., Lobo, J. and Baral, C. In Common Sense 96.  Reasoning about actual and hypothetical occurances of concurrent and nondeterministic actions, Baral, C., Gelfond, M and Watson, R. (This paper builds up on an earlier paper ). It appears in a book titled Theoretical Approaches to Dynamic Worlds and edited by Bertram Fronhofer and Remo Pereschi.)  A Systematic Approach to reason with time and situations (Preliminary Report) Baral, C. (This incomplete manuscript tries to reconcile the situation calculus approach and the temporal reasoning approach of reasoning about actions), Comments Welcome.  Representing Actions: (Laws, Observation and Hypothesis), C. Baral, M. Gelfond A. Provetti. (This paper suggests an approach to integrate narratives to situation calculus), Discuseed in the AAAI 95 Spring Symposium on extending theories of actions. In Journal of Logic Programming, 1997.  Formalizing narratives using nested circumscription C. Baral, A. Gabaldon and A. Provetti. (This paper presents a translation of the previous paper into nested circumscription.) In AAAI96. An extended version submited to a journal.  Reasoning about actions: Nondeterministic effects, Constraints, and Qualification , C. Baral. (This paper proposes the language of state specifications to uniformly represent nondeterministic effects, qualifications, and constraints), Discuseed in the AAAI 95 Spring Symposium on extending theories of actions, and in IJCAI 95.  Reasoning about Effects of Concurrent Actions, C. Baral, and M. Gelfond. (A thoroughly revised version of an IJCAI 93 paper and appears in Journal of Logic Programming in 1997)  Rule based updates on simple knowledge bases , C. Baral. In Journal of Logic Programming, 1997. An extended version of a AAAI 94 (pages 136141) paper. (This paper suggests a way to translate rule based update specifications to logic programs using situation calculus notation) Original extended manuscript with proofs 
Knowledge Representation  
 Expanding queries to incomplete databases by interpolating general logic programs. , C. Baral, O. Kosheleva and M. Gelfond. (A revised version of the paper in Proceedings of International Logic Programming Symposium, Vancouver, 181198, 1993.) (This paper introduces the concept of removing CWA from a general logic program and gives an algorithm that translates a general logic program to an extended logic program with CWA removed.) To appear in Journal of Logic Programming. 
Theory of Logic Programming and Nonmonotonic Reasoning  
 Stable and Extension Class Theory for Logic Programs and Default Logics , C. Baral and V. S. Subrahmanian. Journal of Automated Reasoning, 8: 345366, 1992. (This paper introduces the concept of stable classes to characterize programs that do not have stable models and extends the idea to default and autoepistemic theories.)  Varying Selection Function to Relate Conditional Logics and Preferential Models , C. Baral, Fundamenta Informaticae, 214: 307320, 1994. 
Combining Knowledge Bases  
 Combining Knowledge Bases Consisting of First Order Theories , C. Baral, S. Kraus, J. Minker and V. S. Subrahmanian. Computational Intelligence, 8, 1, (1992), 4571.  Combining Default Logic Databases , C. Baral, S. Kraus, J. Minker and V. S. Subrahmanian. Internationa Journal of Intelligent and Cooperative Information Systems, 3,3: 319348, 1994. 
Logic Programming Semantics  
 Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs , C. Baral, Proceedings of International Conference on Logic Programming and Automated Reasoning, St. Petersburg, 1992. Lecture notes in AI 624, ed: A. Voronkov, 309319. (This paper introduces the concept of Generalized negation as failure for normal disjunctive logic programs.)  Classification of iterative fixpoint semantics for logic programs , C. Baral, Second International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 1992. 