Chitta Baral (baral)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Baral, Chitta. 1990. “Relation between Flat Conditional Logics and Preferential Models (Preliminary Draft).” Unpublished manuscript, Department of Computer Science, University of Maryland.
Baral, Chitta. 1992. “Generalized Negation as Failure and Semantics of Normal Logic Programs.” in Logical Foundations of Computer Science–Tver ’92, edited by Anil Nerode and Mikhail A. Taitslin, pp. 309–319. Berlin: Springer.
Baral, Chitta. 1995. “Reasoning about Actions: Non-Deterministic Effects, Constraints, and Qualification.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 2017–2023. San Francisco, California: Morgan Kaufmann Publishers.
Baral, Chitta. 1998. “Formalizing Narratives Using Nested Circumscription.” Artificial Intelligence 104(1–2): 107–164.
Baral, Chitta. 2000. “Abductive Reasoning through Filtering.” Artificial Intelligence 120(1): 1–28.
Baral, Chitta, Gabaldon, Alfredo and Provetti, Alessandro. 1996. “Value Minimization in Circumscription.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 474–481. San Francisco, California: Morgan Kaufmann Publishers.
Baral, Chitta, Gabaldon, Alfredo and Provetti, Alessandro. 1998. “Value Minimization in Circumscription.” Artificial Intelligence 102(2): 163–186.
Baral, Chitta, Gabeldon, Alfredo and Provetti, Alessandro. 1996. “Formalizing Narratives Using Nested Circumscription.” in, pp. 15–24.
Baral, Chitta and Gelfond, Michael. 1993. “Representing Concurrent Actions in Extended Logic Programming.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 866–871. San Francisco, California: Morgan Kaufmann Publishers.
Baral, Chitta and Gelfond, Michael. 1994. “Logic Programming and Knowledge Representation.” Journal of Logic Programming 19–20.
Baral, Chitta and Gelfond, Michael. 1997. “Reasoning about Effects of Concurrent Actions.” Journal of Logic Programming 31: 85–118.
Baral, Chitta and Gelfond, Michael. 2000. “Reasoning Agents in Dynamic Domains.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 257–279. Dordrecht: Kluwer Academic Publishers.
Baral, Chitta, Gelfond, Michael and Provetti, Alessandro. 1995. “Representing Actions I (Laws, Observations and Hypotheses).” in AAAI-95. Working Notes of the AAAI Spring Symposium on Extending Theories of Action: Formal Theories and Applications, edited by Craig Boutilier and Moisés Goldszmidt. Menlo Park, California: The AAAI Press.
Baral, Chitta, Gelfond, Michael and Provetti, Alessandro. 1997. “Representing Actions: Laws, Observations, and Hypotheses.” Journal of Logic Programming 31(1–3).
Baral, Chitta, Kraus, Sarit, Minker, Jack and Subramanian, V. S. 1992. “Combining Knowledge Bases Consisting of First Order Theories.” Computational Intelligence 8.
Baral, Chitta, Kreinovich, Vladik and Trejo, Raúl. 2000. “Computational Complexity of Planning and Approximate Planning in the Presence of Incompleteness.” Artificial Intelligence 122(1–2): 241–267.
Baral, Chitta, Lobo, Jorge and Minker, Jack. 1990. “Generalized Disjunctive Well-Founded Semantics for Logic Programs: Declarative Semantics.” in Methodologies for Intelligent Systems: Proceedings of the Fifth International Symposium, edited by Zbigniew Raś, Maria Zemankova, and Mary L. Emrich. Amsterdam: North-Holland Publishing Co.
Baral, Chitta, McIlraith, Sheila A. and San, Tran Cao. 2000. “Formulating Diagnostic Reasoning Using an Action Language with Narratives and Sensing.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 311–322. San Francisco, California: Morgan Kaufmann Publishers.
Baral, Chitta, Son, Tran Cao and Le-Chi, Tuan. 2002. “A Transition Function Based Characterization of Actions with Delayed and Continuous Effects.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 291–302. San Francisco, California: Morgan Kaufmann Publishers.
Baral, Chitta, Son, Tran Cao and Le-Chi, Tuan. 2003. “Golog + HTNTI: Adding Time and Intervals to Procedural and Hierarchical Control Knowledge.” in AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, edited by Patrick Doherty, John McCarthy, and Mary-Anne Williams, pp. 19–26. Menlo Park, California: The AAAI Press.
Baral, Chitta and Subramanian, V. S. 1991. “Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Resoning.” in Proceedings of the First International Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 69–85. Cambridge, Massachusetts: The MIT Press.
Baral, Chitta, Tran, Nam and Le-Chi, Tuan. 2002. “Reasoning about Actions in a Probabilistic Setting.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns, pp. 507–512. Menlo Park, California: The AAAI Press.
Baral, Chitta and Zhung, Yan. 2002. “The Complexity of Model Checking for Knowledge Update.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 82–93. San Francisco, California: Morgan Kaufmann Publishers.