If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Chitta Baral is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Logic programming
Knowledge representation
Semantics
Planning
Specifications
Genes
High level languages
Robots
Temporal logic
Intelligent agents
Query languages
Artificial intelligence
Formal languages
Ontology
Proteins
Computational complexity
Petri nets
Specification languages
Processing
Neural networks
Knowledge acquisition
Image understanding
Knowledge based systems
Semantic Web
Learning systems
Display devices
Molecular interactions
Syntactics
Computer science
Students
Polynomials
Computer programming languages
Computer programming
Biological systems
Programming theory
Expert systems
Chemical analysis
Failure analysis
Statistical methods
Macros
Acoustic waves
Gene expression
Machine oriented languages
Probabilistic logics
Pharmacokinetics
Drug interactions
Learning algorithms
Glossaries
Metabolism
Intelligent systems

Mathematics

Reasoning
Logic Programming
Planning
Answer Set Programming
Logic Programs
Knowledge Representation
Reasoning about Actions
Answer Sets
Knowledge Base
Well-founded Semantics
Specification
Trigger
Natural Language
Knowledge-based
Incomplete Information
Question Answering
Language
Biochemical Networks
Update
Failure Analysis
Sensing
Lambda Calculus
Correctness
Prolog
Formalization
Knowledge
Knowledge Representation and Reasoning
Soundness
Calculus
Probabilistic Reasoning
Epistemic Logic
Intelligent Agents
Nondeterminism
Concurrent
Fixpoint
Expert System
Artificial Intelligence
Regression
Robot
Text Mining
Model
Interaction
Dynamic Environment
Modeling
Negation as Failure
Logic
Knowledge-based Systems
Completeness
Biological Systems
Multimedia Databases