Chitta Baral

Publications
Influence

Knowledge Representation, Reasoning and Declarative Problem Solving

Chitta Baral
Computer Science
2003

Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and their exploitation requires representation via the development of a declarative interface whose input language is based on logic. Expand

Probabilistic reasoning with answer sets

Chitta Baral, M. Gelfond, J. Rushton
Computer Science
Theory and Practice of Logic Programming
2 December 2008

We develop a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Expand

Logic Programming and Knowledge Representation

Chitta Baral, M. Gelfond
Computer Science, Mathematics
J. Log. Program.
1 May 1994

We consider extensions of the language of definite logic programs by classical (strong) negation, disjunction, and some modal operators and show how each of the added features extends the representational power of the languages. Expand

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

Chitta Baral
Mathematics
2003

Formalizing sensing actions A transition function based approach

Tran Cao Son, Chitta Baral
Mathematics, Computer Science
Artif. Intell.
2001

We develop a high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans. Expand

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

L. Tari, S. Anwar, S. Liang, J. Cai, Chitta Baral
Computer Science, Medicine
Bioinform.
1 September 2010

We propose a novel approach of discovering DDIs through the integration of ‘biological domain knowledge’ with biological facts from Medline abstracts and curated sources. Expand

Combining Multiple Knowledge Bases

Chitta Baral, S. Kraus, J. Minker
Computer Science
IEEE Trans. Knowl. Data Eng.
1 June 1991

The authors define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints. Expand

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, P. Schermerhorn
Computer Science
IEEE International Conference on Robotics and…
12 May 2009

We describe an integrated robotic architecture that can achieve the above steps by translating natural language instructions incrementally and simultaneously into formal logical goal description and action languages, which can be used both to reason about the achievability of a goal as well as to generate new action scripts to pursue the goal. Expand

Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module

Arpit Sharma, N. Vo, Somak Aditya, Chitta Baral
Computer Science
IJCAI
25 July 2015

We present an approach that identifies the knowledge needed to answer a challenge question, hunts down that knowledge from text repositories, and then reasons with them to come up with the answer. Expand

Reasoning agents in dynamic domains

Chitta Baral, M. Gelfond
Computer Science
1 December 2000

The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the answer set semantics. Expand

Recommended Authors