The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chitta Baral: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chitta Baral, V. S. Subrahmanian
    Stable and Extension Class Theory for Logic Programs and Default Logics. [Citation Graph (4, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:3, pp:345-366 [Journal]
  2. Chitta Baral, Jorge Lobo, Jack Minker
    Generalized Well-founded Semantics for Logic Programs (Extended Abstract). [Citation Graph (3, 0)][DBLP]
    CADE, 1990, pp:102-116 [Conf]
  3. Chitta Baral, V. S. Subrahmanian
    Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). [Citation Graph (2, 0)][DBLP]
    LPNMR, 1991, pp:69-86 [Conf]
  4. Chitta Baral, V. S. Subrahmanian
    Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. [Citation Graph (2, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:3, pp:399-420 [Journal]
  5. Chitta Baral, Sarit Kraus, Jack Minker
    Combining Multiple Knowledge Bases. [Citation Graph (2, 16)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1991, v:3, n:2, pp:208-220 [Journal]
  6. Chitta Baral
    Rule Based Updates on Simple Knowledge Bases. [Citation Graph (1, 0)][DBLP]
    AAAI, 1994, pp:136-141 [Conf]
  7. Chitta Baral, Jorge Lobo, Goce Trajcevski
    Formal Characterizations of Active Databases: Part II. [Citation Graph (1, 0)][DBLP]
    DOOD, 1997, pp:247-264 [Conf]
  8. Chitta Baral, Jorge Lobo
    Defeasible Specifications in Action Theories. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1997, pp:1441-1446 [Conf]
  9. Chitta Baral, Jorge Lobo, Jack Minker
    WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. [Citation Graph (1, 0)][DBLP]
    ISMIS, 1991, pp:459-468 [Conf]
  10. Chitta Baral, Jorge Lobo
    Formal Characterization of Active Databases. [Citation Graph (1, 0)][DBLP]
    Logic in Databases, 1996, pp:175-195 [Conf]
  11. Chitta Baral, Tran Cao Son
    Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. [Citation Graph (1, 0)][DBLP]
    ILPS, 1997, pp:387-401 [Conf]
  12. Chitta Baral, Michael Gelfond
    Logic Programming and Knowledge Representation. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:73-148 [Journal]
  13. Chitta Baral, Michael Gelfond, Alessandro Provetti
    Representing Actions: Laws, Observations and Hypotheses. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:201-243 [Journal]
  14. Chitta Baral, Graciela Gonzalez, Tran Cao Son
    Conceptual Modeling and Querying in Multimedia Databases. [Citation Graph (1, 0)][DBLP]
    Multimedia Tools Appl., 1998, v:7, n:1/2, pp:37-66 [Journal]
  15. Chitta Baral, Thomas Eiter, Jicheng Zhao
    Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:578-583 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1350- [Conf]
  17. Chitta Baral, Michael Gelfond
    Reasoning about Intended Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:689-694 [Conf]
  18. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:652-657 [Conf]
  19. Chitta Baral, Nam Tran, Le-Chi Tuan
    Reasoning about Actions in a Probabilistic Setting. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:507-512 [Conf]
  20. Chitta Baral, Jicheng Zhao
    Goal Specification, Non-Determinism and Quantifying over Policies. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  21. Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland
    Maintainability: A Weaker Stabilizability Like Notion for High Level Control. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:62-67 [Conf]
  22. Tran Cao Son, Chitta Baral, Le-Chi Tuan
    Adding Time and Intervals to Procedural and Hierarchical Control Specifications. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:92-97 [Conf]
  23. Nam Tran, Chitta Baral
    Encoding Probabilistic Causal Model in Probabilistic Action Language. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:305-310 [Conf]
  24. Nam Tran, Chitta Baral, Carran Shankland
    Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:676-681 [Conf]
  25. Raul Trejo, Vladik Kreinovich, Chitta Baral
    Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:545-550 [Conf]
  26. Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son
    Regression with Respect to Sensing Actions and Partial States. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:556-561 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    Agents, 1998, pp:32-38 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:524-534 [Conf]
  29. Chitta Baral, Thomas Eiter
    A Polynomial Time Algorithm for Constructing k-Maintainable Policies. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:111-121 [Conf]
  30. Luis Tari, Chitta Baral, Saadat Anwar
    A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  31. Le-Chi Tuan, Chitta Baral
    Effect of knowledge representation on model based planning: experiments using logic programming encodings. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  32. Tran Cao Son, Chitta Baral, Sheila A. McIlraith
    Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  33. Chitta Baral, Tran Cao Son
    Extending ConGolog to Allow Partial Ordering. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:188-204 [Conf]
  34. Chitta Baral, Luis Tari
    Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. [Citation Graph (0, 0)][DBLP]
    ICIT, 2006, pp:125-128 [Conf]
  35. Mutsumi Nakamura, Chitta Baral
    Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1210-1224 [Conf]
  36. 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. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:882-896 [Conf]
  37. Goce Trajcevski, Chitta Baral, Jorge Lobo
    Formalizing (and Reasoning About) the Specifications of Workflows. [Citation Graph (0, 30)][DBLP]
    CoopIS, 2000, pp:1-17 [Conf]
  38. Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran
    Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways. [Citation Graph (0, 0)][DBLP]
    CSB, 2003, pp:623-628 [Conf]
  39. 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. [Citation Graph (0, 0)][DBLP]
    DILS, 2005, pp:309-312 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    DILS, 2005, pp:19-30 [Conf]
  41. Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi
    Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. [Citation Graph (0, 0)][DBLP]
    DILS, 2005, pp:121-136 [Conf]
  42. Chitta Baral, Jorge Lobo
    From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. [Citation Graph (0, 0)][DBLP]
    DOOD, 1997, pp:26-32 [Conf]
  43. Chitta Baral, Jicheng Zhao
    Goal Specification in Presence of Non-Deterministic Actions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:273-277 [Conf]
  44. Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi
    Knowledge-based framework for hypothesis formation in biochemical networks. [Citation Graph (0, 0)][DBLP]
    ECCB/JBI, 2005, pp:219- [Conf]
  45. Chitta Baral, Graciela Gonzalez, Tran Cao Son
    Design and Implementation of Display Specification for Multimedia Answers. [Citation Graph (0, 9)][DBLP]
    ICDE, 1998, pp:558-565 [Conf]
  46. Chitta Baral, Juraj Dzifcak, Hiro Takahashi
    Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:376-390 [Conf]
  47. Chitta Baral, Graciela Gonzalez
    Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 1, 1999, pp:550-555 [Conf]
  48. Chitta Baral
    Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:2017-2026 [Conf]
  49. Chitta Baral, Michael Gelfond
    Representing Concurrent Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:866-873 [Conf]
  50. Chitta Baral, Vladik Kreinovich, Raul Trejo
    Computational Complexity of Planning with Temporal Goals. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:509-514 [Conf]
  51. Chitta Baral, Vladik Kreinovich, Raul Trejo
    Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:948-955 [Conf]
  52. Chitta Baral, Yan Zhang
    On the Semantics of Knowledge Update. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:97-102 [Conf]
  53. Chitta Baral, Matt Hunsaker
    Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:243-249 [Conf]
  54. Chitta Baral, Jicheng Zhao
    Non-monotonic Temporal Logics for Goal Specification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:236-242 [Conf]
  55. 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. [Citation Graph (0, 0)][DBLP]
    ISMB/ECCB (Supplement of Bioinformatics), 2004, pp:15-22 [Conf]
  56. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
    Combining Knowledge Bases Consisting of First Order Theories. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1991, pp:92-101 [Conf]
  57. Chitta Baral, Thomas Eiter
    A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:720-730 [Conf]
  58. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:474-481 [Conf]
  59. Chitta Baral, Sheila A. McIlraith, Tran Cao Son
    Formulating diagnostic problem solving using an action language with narratives and sensing. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:311-322 [Conf]
  60. Chitta Baral, Tran Cao Son, Le-Chi Tuan
    A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:291-302 [Conf]
  61. Chitta Baral, Yan Zhang
    The Complexity of Model Checking for Knowledge Update. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:82-96 [Conf]
  62. Nam Tran, Chitta Baral
    Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:554-564 [Conf]
  63. Chitta Baral
    Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:309-319 [Conf]
  64. Chitta Baral, Michael Gelfond, J. Nelson Rushton
    Probabilistic Reasoning With Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:21-33 [Conf]
  65. Chitta Baral, Cenk Uyan
    Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:186-199 [Conf]
  66. Tran Cao Son, Chitta Baral, Sheila A. McIlraith
    Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:226-239 [Conf]
  67. Tran Cao Son, Phan Huy Tu, Chitta Baral
    Planning with Sensing Actions and Incomplete Information Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:261-274 [Conf]
  68. Chitta Baral, Graciela Gonzalez, Amarendra Nandigam
    SQL+D: Extended Display Capabilities for Multimedia Database Queries. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 1998, pp:109-114 [Conf]
  69. Luis Tari, Chitta Baral, P. Dasgupta
    Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2005, pp:- [Conf]
  70. Enrico Pontelli, Tran Cao Son, Chitta Baral
    A Framework for Composition and Inter-operation of Rules in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2006, pp:39-50 [Conf]
  71. Chitta Baral, Michael Gelfond, Olga Kosheleva
    Approximating General Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:181-198 [Conf]
  72. Graciela Gonzalez, Chitta Baral, Peter A. Cooper
    Modeling Multimedia Displays Using Action Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    VDB, 2002, pp:141-155 [Conf]
  73. Chitta Baral
    Abductive reasoning through filtering. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:120, n:1, pp:1-28 [Journal]
  74. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:102, n:2, pp:163-186 [Journal]
  75. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:104, n:1-2, pp:107-164 [Journal]
  76. Chitta Baral, Vladik Kreinovich, Raul Trejo
    Computational complexity of planning and approximate planning in the presence of incompleteness. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:122, n:1-2, pp:241-267 [Journal]
  77. Chitta Baral, Yan Zhang
    Knowledge updates: Semantics and complexity issues. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:209-243 [Journal]
  78. Tran Cao Son, Chitta Baral
    Formalizing sensing actions A transition function based approach. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:125, n:1-2, pp:19-91 [Journal]
  79. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:4, pp:113-121 [Journal]
  80. Chitta Baral
    Relating Logic Programming Theories of Actions and Partial Order Planning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:131-151 [Journal]
  81. Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz
    Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:129- [Journal]
  82. Chitta Baral, Jorge Lobo, Jack Minker
    Generalized Disjunctive Well-Founded Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:5, n:2-4, pp:89-131 [Journal]
  83. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
    Combining Knowledge Bases Consisting of First-Order Analysis. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1992, v:8, n:, pp:45-71 [Journal]
  84. Chitta Baral, Miroslaw Truszczynski
    Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000 [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  85. Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith
    Domain-Dependent Knowledge in Answer Set Planning [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  86. Le-Chi Tuan, Chitta Baral, Tran Cao Son
    Regression with respect to sensing actions and partial states [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  87. Chitta Baral, Tran Cao Son
    Relating Theories of Actions and Reactive Control. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:211-271 [Journal]
  88. Chitta Baral
    Varying Selection Functions to Relate Conditional Logics and Preferential Models. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:4, pp:307-319 [Journal]
  89. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
    Combining Default Logic Databases. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1994, v:3, n:3, pp:319-0 [Journal]
  90. Goce Trajcevski, Chitta Baral, Jorge Lobo
    Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2001, v:10, n:4, pp:483-507 [Journal]
  91. Raul Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, Le-Chi Tuan
    From Planning to Searching for the Shortest Plan: An Optimal Transition. [Citation Graph (0, 0)][DBLP]
    International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2001, v:9, n:6, pp:827-837 [Journal]
  92. Chitta Baral
    Embedding Revision Programs in Logic Programming Situation Calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:1, pp:83-97 [Journal]
  93. Chitta Baral, Michael Gelfond
    Reasoning About Effects of Concurrent Actions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:85-117 [Journal]
  94. Chitta Baral, Michael Gelfond, Olga Kosheleva
    Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:3, pp:195-230 [Journal]
  95. Le-Chi Tuan, Chitta Baral, Tran Cao Son
    A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal]
  96. Chitta Baral, Nam Tran
    Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:33-46 [Journal]
  97. Graciela Gonzalez, Chitta Baral, Michael Gelfond
    Alan: An Action Language For Modelling Non-Markovian Domains. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:115-134 [Journal]
  98. Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith
    Domain-dependent knowledge in answer set planning. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:613-657 [Journal]
  99. Chitta Baral, Alessandro Provetti, Tran Cao Son
    Introduction to the special issue on Programming with Answer Sets. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:387-391 [Journal]
  100. Chitta Baral, Juraj Dzifcak, Luis Tari
    Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:1-21 [Conf]
  101. Le-Chi Tuan, Chitta Baral, Tran Cao Son
    A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  102. Phan Huy Tu, Tran Cao Son, Chitta Baral
    Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  103. Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. [Citation Graph (, )][DBLP]


  104. Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. [Citation Graph (, )][DBLP]


  105. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. [Citation Graph (, )][DBLP]


  106. GenerIE: Information extraction using database queries. [Citation Graph (, )][DBLP]


  107. Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. [Citation Graph (, )][DBLP]


  108. What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. [Citation Graph (, )][DBLP]


  109. Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]


  110. Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). [Citation Graph (, )][DBLP]


  111. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP]


  112. Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. [Citation Graph (, )][DBLP]


  113. State-Based Regression with Sensing and Knowledge. [Citation Graph (, )][DBLP]


  114. Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. [Citation Graph (, )][DBLP]


  115. Passage Relevancy Through Semantic Relatedness. [Citation Graph (, )][DBLP]


  116. ASU at TREC 2006 Genomics Track. [Citation Graph (, )][DBLP]


  117. Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. [Citation Graph (, )][DBLP]


  118. Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. [Citation Graph (, )][DBLP]


  119. Maintenance goals of agents in a dynamic environment: Formulation and policy construction. [Citation Graph (, )][DBLP]


  120. Reasoning about non-immediate triggers in biological networks. [Citation Graph (, )][DBLP]


  121. Probabilistic reasoning with answer sets [Citation Graph (, )][DBLP]


  122. Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text [Citation Graph (, )][DBLP]


  123. Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002