| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral |
Incremental Information Extraction Using Relational Databases.  |
IEEE Trans. Knowl. Data Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak |
Language understanding as a step |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak |
Solving puzzles described in |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou |
Using Inverse lambda and Generalization to Translate English to Formal Languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jörg Hakenberg, Illés Solt, Domonkos Tikk, Nguyen Ha Vo, Luis Tari, Quang Long Nguyen, Chitta Baral, Ulf Leser |
Molecular Event Extraction from Link Grammar Parse Trees in the BioNLP'09 Shared Task. |
Computational Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral |
Logic Programming and Uncertainty. |
SUM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral |
Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond |
On Representing Actions in Multi-agent Domains. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral |
Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez |
Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Hakenberg, Robert Leaman, Nguyen Ha Vo, Siddhartha Jonnalagadda, Ryan Sullivan, Christopher Miller, Luis Tari, Chitta Baral, Graciela Gonzalez |
Efficient Extraction of Protein-Protein Interactions from Full-Text Articles. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Logic programming for finding models in the logics of knowledge and its applications: A case study. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Saadat Anwar, Shanshan Liang, Jörg Hakenberg, Chitta Baral |
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning. |
Pacific Symposium on Biocomputing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Adrien Coulet, Nigam H. Shah, Lawrence Hunter, Chitta Baral, Russ B. Altman |
Extraction of Genotype-Phenotype-Drug Relationships from Text: From Entity Recognition to Bioinformatics Application. |
Pacific Symposium on Biocomputing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral |
GenerIE: Information extraction using database queries. |
ICDE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Ian Horrocks, Yoav Shoham |
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral |
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli |
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luis Tari, Chitta Baral, Seungchan Kim |
Fuzzy c-means clustering with prior biological knowledge. |
Journal of Biomedical Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral |
Hypothesizing about signaling networks. |
J. Applied Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
Probabilistic reasoning with answer sets. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Jörg Hakenberg, Graciela Gonzalez, Chitta Baral |
Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks. |
Pacific Symposium on Biocomputing |
2009 |
DBLP BibTeX RDF |
|
| 1 | Siddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez |
Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. |
HLT-NAACL (Short Papers) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn |
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
Probabilistic reasoning with answer sets |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura |
Maintenance goals of agents in a dynamic environment: Formulation and policy construction. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura |
AAAI 2008 Spring Symposia Reports. |
AI Magazine |
2008 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral |
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Toufeeq Ahmed, Hasan Davulcu, Chitta Baral |
Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. |
BIBM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Chitta Baral |
Organizing Committee. |
AAAI Spring Symposium: Emotion, Personality, and Social Behavior |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Plans, Regression, Knowledge, Sensing |
| 1 | Chitta Baral, Jicheng Zhao |
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak, Tran Cao Son |
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral |
Reasoning about non-immediate triggers in biological networks. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30 |
| 1 | Phan Huy Tu, Tran Cao Son, Chitta Baral |
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Graciela Gonzalez, Juan C. Uribe, Luis Tari, Colleen Brophy, Chitta Baral |
Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. |
Pacific Symposium on Biocomputing |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Jicheng Zhao |
Non-monotonic Temporal Logics for Goal Specification. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Matt Hunsaker |
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak, Luis Tari |
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Phan Huy Tu, Barry Lumpkin, Robert Leaman, Graciela Gonzalez, Chitta Baral |
Passage Relevancy Through Semantic Relatedness. |
TREC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Gerhard Brewka, John S. Schlipf (eds.) |
Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings |
LPNMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xin Zhang 0005, Seungchan Kim, Tie Wang, Chitta Baral |
Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method. |
IEEE Transactions on Signal Processing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Tran Cao Son |
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Tran Cao Son |
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Phan Huy Tu, Tran Cao Son, Chitta Baral |
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray |
AAAI 2006 Spring Symposium Reports. |
AI Magazine |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith |
Domain-dependent knowledge in answer set planning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
answer set planning, control knowledge, planning, Reasoning about actions, procedural knowledge |
| 1 | Chitta Baral, Luis Tari |
Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. |
ICIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak, Hiro Takahashi |
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Graciela Gonzalez, Robert Leaman, Shawn Nikkila, Ryan Wendt, Chitta Baral |
ASU at TREC 2006 Genomics Track. |
TREC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral |
Organizing Committee. |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Saadat Anwar, Juraj Dzifcak |
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Chitta Baral |
A Framework for Composition and Inter-operation of Rules in the Semantic Web. |
RuleML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jicheng Zhao |
Goal Specification, Non-Determinism and Quantifying over Policies. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Nam Tran |
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
triggered evolutions, probabilistic triggers, triggers, linear temporal logic, reasoning about actions, randomized strategies |
| 1 | Graciela Gonzalez, Chitta Baral, Michael Gelfond |
Alan: An Action Language For Modelling Non-Markovian Domains. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Yan Zhang |
Knowledge updates: Semantics and complexity issues. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Tari, Chitta Baral, P. Dasgupta |
Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology. |
Pacific Symposium on Biocomputing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi |
Knowledge-based framework for hypothesis formation in biochemical networks. |
ECCB/JBI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Yu, Syed Toufeeq Ahmed, Graciela Gonzalez, Brendan Logsdon, Mutsumi Nakamura, Shawn Nikkila, Kalpesh Shah, Luis Tari, Ryan Wendt, Amanda Zeigler, Chitta Baral |
Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. |
TREC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond, Richard B. Scherl |
Answer Set Programming as the Basis for a Homeland Security QAS. |
AAAI Spring Symposium: AI Technologies for Homeland Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.) |
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings |
LPNMR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luis Tari, Chitta Baral, Saadat Anwar |
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Xin Zhang 0005, Chitta Baral, Seungchan Kim |
An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset. |
AIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
DILS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
DILS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi |
Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. |
DILS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Thomas Eiter, Jicheng Zhao |
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral, Carran Shankland |
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond |
Reasoning about Intended Actions. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Tran Cao Son |
Regression with respect to sensing actions and partial states |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Jicheng Zhao |
Goal Specification in Presence of Non-Deterministic Actions. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Thomas Eiter |
A Polynomial Time Algorithm for Constructing k-Maintainable Policies. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu, Chitta Baral |
Planning with Sensing Actions and Incomplete Information Using Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
Probabilistic Reasoning With Answer Sets. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ISMB/ECCB (Supplement of Bioinformatics) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral |
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Thomas Eiter |
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Xin Zhang 0005, Tran Cao Son |
Regression with Respect to Sensing Actions and Partial States. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Le-Chi Tuan |
Adding Time and Intervals to Procedural and Hierarchical Control Specifications. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nam Tran, Chitta Baral |
Encoding Probabilistic Causal Model in Probabilistic Action Language. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Alessandro Provetti, Tran Cao Son |
Introduction to the special issue on Programming with Answer Sets. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Karen Chancellor, Nam Tran, Nhan Tran |
Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways. |
CSB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith |
Domain-Dependent Knowledge in Answer Set Planning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
AI Magazine |
2002 |
DBLP BibTeX RDF |
|
| 1 | Graciela Gonzalez, Chitta Baral, Peter A. Cooper |
Modeling Multimedia Displays Using Action Based Temporal Logic. |
VDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Yan Zhang |
The Complexity of Model Checking for Knowledge Update. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Nam Tran, Le-Chi Tuan |
Reasoning about Actions in a Probabilistic Setting. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Goce Trajcevski, Chitta Baral, Jorge Lobo |
Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. |
Int. J. Cooperative Inf. Syst. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Raul Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, Le-Chi Tuan |
From Planning to Searching for the Shortest Plan: An Optimal Transition. |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral |
Formalizing sensing actions A transition function based approach. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Vladik Kreinovich, Raul Trejo |
Computational Complexity of Planning with Temporal Goals. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Yan Zhang |
On the Semantics of Knowledge Update. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Cenk Uyan |
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")