2004
- Regression With Respect to Sensing Actions and Partial States. C. Baral,
Le-Chi Tuan, Xin Zhang, Tran Son. Abstract
, to be presented in AAAI'04.
- Encoding probabilistic causal models in probabilistic action language PAL.
C. Baral and Nam Tran. Abstract
, to be presented in AAAI'04.
- Adding Time and Intervals to Procedural and Hierarchical Control
Specifications. Tran Son, Chitta Baral, and Le-Chi Tuan. Abstract
, to be presented in AAAI'04
- A
knowledge based approach for representing and reasoning about cell signaling
networks. C. Baral, K. Chancellor, Nam Tran, Nhan Tran, A. Joy, and M.
Berens. Abstract
, to be presented in ISMB/ECCB'04.
- Reasoning about Triggered Actions in AnsProlog and its Application to
Molecular Interactions in Cells. N. Tran and C. Baral. Abstract
, to be presented in KR'2004.
- A
Polynomial time algorithm for constructing k-maintainable policies. C.
Baral and T. Eiter. Abstract
, Slides of a
talk at UT Austin , to be presented in ICAPS'2004.
- Probabilistic reasoning with answer sets. C. Baral, M. Gelfond and N.
Rushton. Abstract
, in Proceedings of LPNMR7, 2004.
- Planning with Sensing Actions and Incomplete Information using Logic
Programming.
T. Son, P. Huy and C. Baral. Abstract.
In Proceedings of LPNMR7, 2004.
2003
2002
2001
2000
- Computational complexity of planning and approximate planning in presence
of incompleteness.
C. Baral, V. Kreinovich, and R. Trejo.
In Artificial Intelligence Journal, 122(1-2),241-267, 2000. Abstract.
* Initial version appeared in IJCAI 99, pgs 948-953.
* Version in
Artificial Intelligence Journal (postscript)
- Formalizing sensing actions -- a transition function based approach.
C. Baral and T. Son.
In Artificial Intelligence Journal, 125 (1-2), pgs 19-91, Jan 2001. Abstract.
* Version in
Artificial Intelligence Journal (postscript)
* Technical
report with all the proofs. (postscript)
* A subset of
it that appears in the International logic programming Symposium (ILPS), pgs
387-401, 1997. (postscript)
- Abductive reasoning through filtering.
C. Baral.
In Artificial Intelligence Journal, 120 (1), 1-28, 2000. Abstract.
* Version in
Artificial Intelligence Journal. (postscript)
- Reasoning agents in dynamic domains.
C. Baral and M. Gelfond. Abstract.
* In
``Logic based AI'' (postscript)
editor J. Minker. Kluwer Academic Publishers. Pages 257-279, 2000.
- Maintainability: a weaker stabilizability like notion for high level
control.
Mutsumi Nakamura, Chitta Baral and Marcus Bjareland.
*
Abstract.
* In AAAI
2000, pgs 62-67. (postscript)
* Extended
version submitted to a journal.
- Towards feasible approach to plan checking under probabilistic
uncertainty.
Raul Trejo, Vladik Kreinovich and Chitta Baral.
*
Abstract.
* In AAAI
2000, pgs 545-550. (postscript)
- Formulating diagnostic problem solving using an action language with
narratives and sensing.
Chitta Baral, Sheila McIlraith, and Tran Cao Son.
* Abstract.
* In KR 2000, pgs
311-322. (postscript)
- Extending ConGolog to allow partial ordering.
C. Baral and Tran Son. Abstract.
* In
Proceedings of ATAL (Agent theories, architectures and Languages) 99, pgs
188-204. (postscript)
* Awarded one of the two best paper awards.
- Formalizing (and Reasoning About) the Specifications of Workflows.
Goce Trajcevski, Chitta Baral and Jorge Lobo. Abstract.
* In
Proceedings of the Fifth IFCIS International conference on Cooperative
Information Systems (CoopIS'2000). (postscript)
* Awarded one of the best paper awards.
- Computational Complexity of Planning Based on Partial Information About
The System's Present and Past States.
C. Baral, L. Tuan, R. Trejo and V. Kreinovich. Abstract.
* In First
International Conference on Computational Logic (KR track) CL'2000, pgs
882-896. (postscript)
- Invariance, Maintenance and other declarative objectives of triggers -- a
formal characterization of active databases.
M. Nakamura and C. Baral. Abstract.
* In First
International Conference on Computational Logic (DOOD track) CL'2000, pgs
1210-1224. (postscript)
1998
- Formalizing narratives using nested circumscription.
C. Baral, A. Gabaldon and A. Provetti.
In Artificial Intelligence journal, 104/1-2, pages 107-164, Sept 1998.
Abstract.
* Version that
appears in the Artificial Intelligence journal. (postscript)
* The AAAI 96
version, pgs 652-657. (postscript)
- Value minimization in nested circumscription.
C. Baral, A. Gabaldon and A. Provetti.
In Artificial Intelligence journal, 102/2, 163-186, July 1998.
* Abstract.
* The
version in Artificial Intelligence journal. (postscript)
* The
initial KR 96 version, pgs 474-481. (postscript)
- Relating theories of actions and reactive control. C. Baral and T. Son.
In ETAI (Electronic transactions of AI), 2(3-4):211-271, 1998.
* Abstract.
* The initial
version. (postscript)
* The
current version -- shortened and revised. (postscript)
* The ETAI version. .
- From theory to practice: the UTEP robot in AAAI 96 and 97 robot contests.
C. Baral, L. Floriano, A. Hardesty, D. Morales, M. Nogueira, and T.C. Son.
Abstract.
* In Proc. of
the second international conference on automated agents (Agents 98), 32-38.
(in postscript)
- Expanding queries to incomplete databases by interpolating general logic
programs.
Chitta Baral, Michael Gelfond and Olga Kosheleva.
In Journal of Logic programming, vol 35, pgs 195-230, 1998. Abstract.
* The
version in Journal of Logic programming. (postscript)
1997
- Representing Actions: Laws, Observation and Hypothesis.
C. Baral, M. Gelfond, and A. Provetti.
In Journal of Logic Programming, Vol 31(1-3), 201-243, 1997. Abstract.
* The
version in Journal of Logic Programming. (postscript)
- Reasoning about Effects of Concurrent Actions.
C. Baral, and M. Gelfond.
In Journal of Logic Programming, vol 31(1-3), pgs 85-117, 1997.
* Abstract.
* The
version in Journal of Logic Programming. (postscript)
(A thoroughly revised version of an IJCAI 93 paper.)
- Defeasible specifications in action theories.
Chitta Baral and Jorge Lobo. Abstract.
IJCAI 97,
pgs 1441-1446. (postscript)
- Embedding revision programs in logic programming situation calculus.
Chitta Baral.
In Journal of Logic Programming, vol 30(1), pgs 83-97, Jan 1997.
Abstract.
The
version in Journal of Logic Programming. (postscript)
- Formalizing workflows as cooperative agents.
Baral, C. and Lobo, J. Abstract.
The
DYNAMICS 97 (a workshop in ILPS 97) version. (postscript)
1992 -- 1996
- Formalizing Active Databases.
C. Baral, and J. Lobo. Abstract.
The
version in LIDS (Logic in Databases) 96, pgs 175-195, LNCS 1154.
(postscript)
- Reasoning about actions: non-deterministic effects, constraints, and
qualification.
Chitta Baral. Abstract.
IJCAI 95,
pgs 2017-2023. (postscript)
- Logic programming and knowledge representation.
Chitta Baral and Michael Gelfond.
In Journal of Logic Programming, 19,20:73-148, 1994.
* Abstract.
* The version in
Journal of Logic Programming. (postscript)
- Duality between alternative semantics of logic programs and nonmonotonic
formalisms.
Chitta Baral and V. S. Subrahmanian.
In Journal of automated reasoning, 10:399-420, 1993. Abstract.
The version
in Journal of automated reasoning. (postscript)
- Stable and extension class theory for logic programs and default logics.
Chitta Baral and V. S. Subrahmanian. In Journal of automated reasoning, 8: 345-366, 1992.
Abstract.
The
version in Journal of automated reasoning. (postscript)