Chitta Baral
Chitta Baral
Professor of Computer Science, Arizona State University
在 asu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Knowledge representation, reasoning and declarative problem solving
C Baral
Cambridge university press, 2003
18482003
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6091994
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
332*2009
COMBINING KNOWLEDGE BASES CONSISTING OF FIRSTORDER THEORIES
C Baral, S Kraus, J Minker, VS Subrahmanian
Computational intelligence 8 (1), 45-71, 1992
3201992
Combining multiple knowledge bases
C Baral, S Kraus, J Minker
IEEE transactions on knowledge and data engineering 3 (2), 208-220, 1991
2841991
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2282000
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution
J Dzifcak, M Scheutz, C Baral, P Schermerhorn
2009 IEEE International Conference on Robotics and Automation, 4163-4168, 2009
2022009
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1971997
Computational complexity of planning and approximate planning in the presence of incompleteness
C Baral, V Kreinovich, R Trejo
Artificial Intelligence 122 (1-2), 241-267, 2000
1912000
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism
L Tari, S Anwar, S Liang, J Cai, C Baral
Bioinformatics 26 (18), i547-i553, 2010
1902010
Formalizing sensing actions—A transition function based approach
TC Son, C Baral
Artificial Intelligence 125 (1-2), 19-91, 2001
1812001
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 10 (3), 399-420, 1993
1441993
Fuzzy c-means clustering with prior biological knowledge
L Tari, C Baral, S Kim
Journal of biomedical informatics 42 (1), 74-81, 2009
1282009
Stable and extension class theory for logic programs and default logics
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 8 (3), 345-366, 1992
1161992
Representing concurrent actions in extended logic programming
C Baral, M Gelfond
IJCAI, 866-873, 1993
1131993
A knowledge based approach for representing and reasoning about signaling networks
C Baral, K Chancellor, N Tran, NL Tran, A Joy, M Berens
Bioinformatics 20 (suppl_1), i15-i22, 2004
1052004
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
International Conference on Logic Programming and Nonmonotonic Reasoning, 21-33, 2004
1052004
Reasoning about effects of concurrent actions
C Baral, M Gelfond
The Journal of Logic Programming 31 (1-3), 85-117, 1997
971997
Formulating diagnostic problem solving using an action language with narratives and sensing
C Baral, S McIlraith, TC Son
KR, 311-322, 2000
952000
Towards addressing the winograd schema challenge—building and using a semantic parser and a knowledge hunting module
A Sharma, NH Vo, S Aditya, C Baral
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
852015
系统目前无法执行此操作,请稍后再试。
文章 1–20