Chitta Baral
Chitta Baral
Professor of Computer Science, Arizona State University
Dirección de correo verificada de asu.edu - Página principal
TítuloCitado porAño
Knowledge representation, reasoning and declarative problem solving
C Baral
Cambridge university press, 2003
16922003
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
5671994
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
C Baral, S Kraus, J Minker, VS Subrahmanian
Computational intelligence 8 (1), 45-71, 1992
3421992
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
279*2009
Combining multiple knowledge bases
C Baral, S Kraus, J Minker
IEEE transactions on knowledge and data engineering 3 (2), 208-220, 1991
2651991
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2102000
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1851997
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
1772000
Formalizing sensing actions—a transition function based approach
TC Son, C Baral
Artificial Intelligence 125 (1-2), 19-91, 2001
1682001
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
1652010
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
1592009
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 10 (3), 399-420, 1993
1411993
Fuzzy c-means clustering with prior biological knowledge
L Tari, C Baral, S Kim
Journal of biomedical informatics 42 (1), 74-81, 2009
1142009
Stable and extension class theory for logic programs and default logics
CR Baral, VS Subrahmanian
Journal of Automated Reasoning 8 (3), 345-366, 1992
1131992
Representing concurrent actions in extended logic programming
C Baral, M Gelfond
IJCAI, 866-873, 1993
1101993
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
1002004
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
International Conference on Logic Programming and Nonmonotonic Reasoning, 21-33, 2004
1002004
Reasoning about effects of concurrent actions
C Baral, M Gelfond
The Journal of Logic Programming 31 (1-3), 85-117, 1997
901997
Formulating diagnostic problem solving using an action language with narratives and sensing
C Baral, S McIlraith, TC Son
KR, 311-322, 2000
892000
Reasoning about actions: non-deterministic effects, constraints, and qualification
C Baral
IJCAI 95, 2017-2023, 1995
791995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20