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
18262003
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6081994
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
329*2009
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
C Baral, S Kraus, J Minker, VS Subrahmanian
Computational intelligence 8 (1), 45-71, 1992
3191992
Combining multiple knowledge bases
C Baral, S Kraus, J Minker
IEEE transactions on knowledge and data engineering 3 (2), 208-220, 1991
2831991
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2292000
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
1982009
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1971997
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
1892010
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
1882000
Formalizing sensing actions—A transition function based approach
TC Son, C Baral
Artificial Intelligence 125 (1-2), 19-91, 2001
1792001
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 10 (3), 399-420, 1993
1431993
Fuzzy c-means clustering with prior biological knowledge
L Tari, C Baral, S Kim
Journal of biomedical informatics 42 (1), 74-81, 2009
1242009
Stable and extension class theory for logic programs and default logics
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 8 (3), 345-366, 1992
1151992
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
1042004
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
International Conference on Logic Programming and Nonmonotonic Reasoning, 21-33, 2004
1042004
Reasoning about effects of concurrent actions
C Baral, M Gelfond
The Journal of Logic Programming 31 (1-3), 85-117, 1997
951997
Formulating diagnostic problem solving using an action language with narratives and sensing
C Baral, S McIlraith, TC Son
KR, 311-322, 2000
922000
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
IJCAI, 1319-1325, 2015
852015
The system can't perform the operation now. Try again later.
Articles 1–20