Chitta Baral | Semantic Scholar

Publications
Influence

Probabilistic reasoning with answer sets

Chitta Baral, Michael Gelfond, J. Nelson Rushton

Computer Science

Theory Pract. Log. Program.

2008 (First Published: 2 December 2008)

This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while causal Bayes nets… Continue Reading

Knowledge Representation, Reasoning and Declarative Problem Solving: Query answering and answer set computing systems

Chitta Baral

Mathematics

2003

Logic Programming and Knowledge Representation

Chitta Baral, Michael Gelfond

Mathematics, Computer Science

J. Log. Program.

1994 (First Published: 1 May 1994)

Abstract In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider extensions of the language… Continue Reading

Dualities between alternative semantics for logic programming and nonmonotonic reasoning

Chitta Baral, V. S. Subrahmanian

Mathematics, Computer Science

Journal of Automated Reasoning

1991 (First Published: 1 March 1991)

The Gelfond-Lifschitz operator associated with a logic program (and likewise the operator associated with default theories by Reiter) exhibits oscillating behavior. In the case of logic programs,… Continue Reading

Stable and extension class theory for logic programs and default logics

Chitta Baral, V. S. Subrahmanian

Mathematics, Computer Science

Journal of Automated Reasoning

1992 (First Published: 1 June 1992)

The stable model semantics (cf. Gelfond and Lifschitz [1]) for logic programs suffers from the problem that programs may not always have stable models. Likewise, default theories suffer from the… Continue Reading

Formalizing sensing actions A transition function based approach

Tran Cao Son, Chitta Baral

Mathematics, Computer Science

Artif. Intell.

2001

Abstract In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent… Continue Reading

Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism

Luis Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral

Computer Science, Medicine

Bioinformatics

2010 (First Published: 1 September 2010)

MOTIVATION Identifying drug-drug interactions (DDIs) is a critical process in drug administration and drug development. Clinical support tools often provide comprehensive lists of DDIs, but they… Continue Reading

Representing Actions: Laws, Observations and Hypotheses

Chitta Baral, Michael Gelfond, Alessandro Provetti

Mathematics, Computer Science

J. Log. Program.

1997 (First Published: 1 April 1997)

We propose extensions £0 and £1 of the action description language .4 that can express both actual and hypothetical situations, observations of the truth values of fluents in these situations (as… Continue Reading

What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution

Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn

Computer Science

2009 (First Published: 1 May 2009)

Robots that can be given instructions in spoken language need to be able to parse a natural language utterance quickly, determine its meaning, generate a goal representation from it, check whether… Continue Reading

Combining Knowledge Bases Consisting of First Order Theories

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian

Computer Science

ISMIS

1991 (First Published: 16 October 1991)

Consider the construction of an expert system by encoding the knowledge of different experts. Suppose the knowledge provided by each expert is encoded into a knowledge base. Then the process of… Continue Reading