フォロー
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
19042003
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6191994
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
350*2009
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
C Baral, S Kraus, J Minker, VS Subrahmanian
Computational intelligence 8 (1), 45-71, 1992
3241992
Combining multiple knowledge bases
C Baral, S Kraus, J Minker
IEEE transactions on knowledge and data engineering 3 (2), 208-220, 1991
2891991
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2392000
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
2132009
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
2052010
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1961997
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
1952000
Formalizing sensing actions—A transition function based approach
TC Son, C Baral
Artificial Intelligence 125 (1-2), 19-91, 2001
1902001
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 10 (3), 399-420, 1993
1451993
Fuzzy c-means clustering with prior biological knowledge
L Tari, C Baral, S Kim
Journal of Biomedical Informatics 42 (1), 74-81, 2009
1312009
Stable and extension class theory for logic programs and default logics
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 8 (3), 345-366, 1992
1171992
Representing concurrent actions in extended logic programming
C Baral, M Gelfond
IJCAI, 866-873, 1993
1151993
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
1072004
Formulating diagnostic problem solving using an action language with narratives and sensing
C Baral, S McIlraith, TC Son
KR, 311-322, 2000
1042000
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
982015
Reasoning about effects of concurrent actions
C Baral, M Gelfond
The Journal of Logic Programming 31 (1-3), 85-117, 1997
981997
Learning to use formulas to solve simple arithmetic problems
A Mitra, C Baral
Proceedings of the 54th Annual Meeting of the Association for Computational …, 2016
942016
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20