Follow
Chitta Baral
Chitta Baral
Professor of Computer Science, Arizona State University
Verified email at asu.edu - Homepage
Title
Cited by
Cited by
Year
Knowledge representation, reasoning and declarative problem solving
C Baral
Cambridge university press, 2003
19192003
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6261994
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
358*2009
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
C Baral, S Kraus, J Minker, VS Subrahmanian
Computational intelligence 8 (1), 45-71, 1992
3231992
Combining multiple knowledge bases
C Baral, S Kraus, J Minker
IEEE transactions on knowledge and data engineering 3 (2), 208-220, 1991
2901991
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2412000
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
2192009
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
2082010
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
1962000
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1961997
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
1461993
Fuzzy c-means clustering with prior biological knowledge
L Tari, C Baral, S Kim
Journal of Biomedical Informatics 42 (1), 74-81, 2009
1342009
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
1082004
Formulating diagnostic problem solving using an action language with narratives and sensing
C Baral, S McIlraith, TC Son
KR, 311-322, 2000
1042000
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
1012016
Reasoning about effects of concurrent actions
C Baral, M Gelfond
The Journal of Logic Programming 31 (1-3), 85-117, 1997
991997
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
The system can't perform the operation now. Try again later.
Articles 1–20