Search the dblp DataBase
Chitta Baral :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] Chitta Baral Rule Based Updates on Simple Knowledge Bases. [Citation Graph (1, 0)][DBLP ] AAAI, 1994, pp:136-141 [Conf ] Chitta Baral , Jorge Lobo , Goce Trajcevski Formal Characterizations of Active Databases: Part II. [Citation Graph (1, 0)][DBLP ] DOOD, 1997, pp:247-264 [Conf ] Chitta Baral , Jorge Lobo Defeasible Specifications in Action Theories. [Citation Graph (1, 0)][DBLP ] IJCAI, 1997, pp:1441-1446 [Conf ] 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 ] Chitta Baral , Jorge Lobo Formal Characterization of Active Databases. [Citation Graph (1, 0)][DBLP ] Logic in Databases, 1996, pp:175-195 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Chitta Baral , Michael Gelfond Reasoning about Intended Actions. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:689-694 [Conf ] 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 ] 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 ] Chitta Baral , Jicheng Zhao Goal Specification, Non-Determinism and Quantifying over Policies. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] 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 ] 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 ] Nam Tran , Chitta Baral Encoding Probabilistic Causal Model in Probabilistic Action Language. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:305-310 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Chitta Baral , Thomas Eiter A Polynomial Time Algorithm for Constructing k-Maintainable Policies. [Citation Graph (0, 0)][DBLP ] ICAPS, 2004, pp:111-121 [Conf ] 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 ] 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 ] 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 ] Chitta Baral , Tran Cao Son Extending ConGolog to Allow Partial Ordering. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:188-204 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Chitta Baral , Jicheng Zhao Goal Specification in Presence of Non-Deterministic Actions. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:273-277 [Conf ] 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 ] 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 ] 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 ] 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 ] Chitta Baral Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2017-2026 [Conf ] Chitta Baral , Michael Gelfond Representing Concurrent Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:866-873 [Conf ] Chitta Baral , Vladik Kreinovich , Raul Trejo Computational Complexity of Planning with Temporal Goals. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:509-514 [Conf ] 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 ] Chitta Baral , Yan Zhang On the Semantics of Knowledge Update. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:97-102 [Conf ] 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 ] Chitta Baral , Jicheng Zhao Non-monotonic Temporal Logics for Goal Specification. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:236-242 [Conf ] 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 ] 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 ] Chitta Baral , Thomas Eiter A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. [Citation Graph (0, 0)][DBLP ] KR, 2004, pp:720-730 [Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP ] KR, 1996, pp:474-481 [Conf ] 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 ] 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 ] Chitta Baral , Yan Zhang The Complexity of Model Checking for Knowledge Update. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:82-96 [Conf ] 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 ] Chitta Baral Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] LPAR, 1992, pp:309-319 [Conf ] Chitta Baral , Michael Gelfond , J. Nelson Rushton Probabilistic Reasoning With Answer Sets. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:21-33 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Chitta Baral , Michael Gelfond , Olga Kosheleva Approximating General Logic Programs. [Citation Graph (0, 0)][DBLP ] ILPS, 1993, pp:181-198 [Conf ] 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 ] Chitta Baral Abductive reasoning through filtering. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2000, v:120, n:1, pp:1-28 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. [Citation Graph (, )][DBLP ] Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. [Citation Graph (, )][DBLP ] Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. [Citation Graph (, )][DBLP ] GenerIE: Information extraction using database queries. [Citation Graph (, )][DBLP ] Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. [Citation Graph (, )][DBLP ] 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 ] Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP ] Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). [Citation Graph (, )][DBLP ] Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP ] Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. [Citation Graph (, )][DBLP ] State-Based Regression with Sensing and Knowledge. [Citation Graph (, )][DBLP ] Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. [Citation Graph (, )][DBLP ] Passage Relevancy Through Semantic Relatedness. [Citation Graph (, )][DBLP ] ASU at TREC 2006 Genomics Track. [Citation Graph (, )][DBLP ] Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. [Citation Graph (, )][DBLP ] Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. [Citation Graph (, )][DBLP ] Maintenance goals of agents in a dynamic environment: Formulation and policy construction. [Citation Graph (, )][DBLP ] Reasoning about non-immediate triggers in biological networks. [Citation Graph (, )][DBLP ] Probabilistic reasoning with answer sets [Citation Graph (, )][DBLP ] Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text [Citation Graph (, )][DBLP ] Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study [Citation Graph (, )][DBLP ] Search in 0.024secs, Finished in 0.028secs