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
Artificial intelligence
Temporal logic
Intelligent agents
Query languages
Formal languages
Ontology
Proteins
Computational complexity
Petri nets
Computer science
Specification languages
Processing
Knowledge acquisition
Knowledge based systems
Semantic Web
Learning systems
Display devices
Neural networks
Molecular interactions
Syntactics
Students
Bioinformatics
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
Image understanding

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
Artificial Intelligence
Sensing
Lambda Calculus
Correctness
Prolog
Formalization
Knowledge
Knowledge Representation and Reasoning
Soundness
Calculus
Probabilistic Reasoning
Computer Science
Epistemic Logic
Intelligent Agents
Nondeterminism
Concurrent
Fixpoint
Bioinformatics
Expert System
Regression
Robot
Text Mining
Model
Interaction
Dynamic Environment
Modeling
Negation as Failure
Logic
Knowledge-based Systems
Completeness