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

Research Output 1990 2019

Filter
Article
2018

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

Mitra, A. & Baral, C., Jul 1 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 623-637 15 p.

Research output: Contribution to journalArticle

Answer Sets
Distinct
Learning systems
Machine Learning
Learning algorithms
2017
2 Citations (Scopus)

Image Understanding using vision and reasoning through Scene Description Graph

Aditya, S., Yang, Y., Baral, C., Aloimonos, Y. & Fermüller, C., Jan 1 2017, (Accepted/In press) In : Computer Vision and Image Understanding.

Research output: Contribution to journalArticle

Image understanding
Semantics
Directed graphs
Image retrieval
Syntactics
2015
Specification languages
Specification Languages
Default Logic
Planning
Specification
2014
2 Citations (Scopus)

Finitary S5-theories

Son, T. C., Pontelli, E., Baral, C. & Gelfond, G., 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8761, p. 39-252 214 p.

Research output: Contribution to journalArticle

Epistemic Logic
Planning
Finite Models
Equivalence
Model
2013

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR) 2013

Baral, C. & Schüller, P., 2013, In : Unknown Journal. 1044, p. i

Research output: Contribution to journalArticle

Processing
2012
26 Citations (Scopus)

A SNPshot of PubMed to associate genetic variants with drugs, diseases, and adverse reactions

Hakenberg, J., Voronov, D., Nguyên, V. H., Liang, S., Anwar, S., Lumpkin, B., Leaman, R., Tari, L. & Baral, C., Oct 2012, In : Journal of Biomedical Informatics. 45, 5, p. 842-850 9 p.

Research output: Contribution to journalArticle

Drug-Related Side Effects and Adverse Reactions
PubMed
Genes
Pharmaceutical Preparations
Pharmacokinetics
9 Citations (Scopus)

Identifying novel drug indications through automated reasoning

Tari, L., Vo, N., Liang, S., Patel, J., Baral, C. & Cai, J., Jul 23 2012, In : PLoS One. 7, 7, e40946.

Research output: Contribution to journalArticle

drugs
Pharmaceutical Preparations
Drug Recalls
neoplasms
new drugs
19 Citations (Scopus)

Incremental information extraction using relational databases

Tari, L., Tu, P. H., Hakenberg, J., Chen, Y., Son, T. C., Gonzalez, G. & Baral, C., 2012, In : IEEE Transactions on Knowledge and Data Engineering. 24, 1, p. 86-99 14 p., 5611526.

Research output: Contribution to journalArticle

Pipelines
Experiments
Query languages
Processing
2 Citations (Scopus)

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them

Baral, C., Dzifcak, J., Gonzalez, M. A. & Gottesman, A., Jul 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 775-791 17 p.

Research output: Contribution to journalArticle

Answer Set Programming
Lambda Calculus
Correctness
Knowledge representation
Glossaries
2011
83 Citations (Scopus)

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

Tari, L., Anwar, S., Liang, S., Cai, J. & Baral, C., 2011, In : Bioinformatics. 27, 13, p. i547-i553

Research output: Contribution to journalArticle

Drug interactions
Data Mining
Text Mining
Drug Interactions
Metabolism
2 Citations (Scopus)

Molecular event extraction from link grammar parse trees in the BIONLP'09 shared task

Hakenberg, J., Solt, I., Tikk, D., Nguyên, V. H., Tari, L., Nguyen, Q. L., Baral, C. & Leser, U., Nov 2011, In : Computational Intelligence. 27, 4, p. 665-680 16 p.

Research output: Contribution to journalArticle

Query languages
Grammar
Proteins
Linkage
Binding sites
2010
22 Citations (Scopus)

Efficient extraction of protein-protein interactions from full-text articles

Hakenberg, J., Leaman, R., Ha Vo, N., Jonnalagadda, S., Sullivan, R., Miller, C., Tari, L., Baral, C. & Gonzalez, G., 2010, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 7, 3, p. 481-494 14 p., 5473210.

Research output: Contribution to journalArticle

Protein-protein Interaction
Proteins
Protein
Percent
Interaction
7 Citations (Scopus)

Logic programming for finding models in the logics of knowledge and its applications: A case study

Baral, C., Gelfond, G., Pontelli, E. & Son, T., Jul 2010, In : Theory and Practice of Logic Programming. 10, 4-6, p. 675-690 16 p.

Research output: Contribution to journalArticle

Logic programming
Logic Programming
Logic
Planning
Visibility
2009
68 Citations (Scopus)

Fuzzy c-means clustering with prior biological knowledge

Tari, L., Baral, C. & Kim, S., Feb 2009, In : Journal of Biomedical Informatics. 42, 1, p. 74-81 8 p.

Research output: Contribution to journalArticle

Cluster Analysis
Genes
Molecular Sequence Annotation
Clustering algorithms
Yeast
16 Citations (Scopus)

Hypothesizing about signaling networks

Tran, N. & Baral, C., Sep 2009, In : Journal of Applied Logic. 7, 3, p. 253-274 22 p.

Research output: Contribution to journalArticle

Knowledge representation
Knowledge Representation
Knowledge based systems
Reasoning
Abduction
131 Citations (Scopus)

Probabilistic reasoning with answer sets

Baral, C., Gelfond, M. & Rushton, N., Jan 2009, In : Theory and Practice of Logic Programming. 9, 1, p. 57-144 88 p.

Research output: Contribution to journalArticle

Probabilistic Reasoning
Answer Sets
Bayes
Sufficiency
Prolog
2008
7 Citations (Scopus)

Chapter 20 Knowledge Representation and Question Answering

Balduccini, M., Baral, C. & Lierler, Y., 2008, In : Foundations of Artificial Intelligence. 3, p. 779-819 41 p.

Research output: Contribution to journalArticle

Question Answering
Knowledge representation
Knowledge Representation
10 Citations (Scopus)

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Baral, C., Eiter, T., Bjäreland, M. & Nakamura, M., Aug 2008, In : Artificial Intelligence. 172, 12-13, p. 1429-1469 41 p.

Research output: Contribution to journalArticle

Maintainability
logic
Temporal logic
Logic programming
event

Reports of the AAAI 2008 Spring Symposia

Balduccini, M., Baral, C., Brodaric, B., Colton, S., Fox, P., Gutelius, D., Hinkelman, K., Horswill, I., Huberman, B., Hudlicka, E., Lerman, K., Lisetti, C., McGuinness, D., Maher, M. L., Musen, M. A., Sahami, M., Sleeman, D., Thönssen, B., Velasquez, J. & Ventura, D., Sep 2008, In : AI Magazine. 29, 3, p. 107-115 9 p.

Research output: Contribution to journalArticle

Semantic Web
Artificial intelligence
Intelligent systems
Semantics
Computer science
2007
11 Citations (Scopus)

CBioC: beyond a prototype for collaborative annotation of molecular interactions from the literature.

Baral, C., Gonzalez, G., Gitter, A., Teegarden, C., Zeigler, A. & Joshi-Topé, G., 2007, In : Computational systems bioinformatics / Life Sciences Society. Computational Systems Bioinformatics Conference. 6, p. 381-384 4 p.

Research output: Contribution to journalArticle

Research Personnel
Databases
Internet
Molecular Biology
Proteins
9 Citations (Scopus)

Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems

Ceberio, M., Kreinovich, V., Chopra, S., Longpré, L., Nguyen, H. T., Ludäscher, B. & Baral, C., Feb 15 2007, In : Journal of Computational and Applied Mathematics. 199, 2, p. 403-410 8 p.

Research output: Contribution to journalArticle

Expert System
Expert systems
Uncertainty
Interval
Interval Computation
Artificial Intelligence
Bioinformatics
Computational Biology
Computer science
Artificial intelligence
5 Citations (Scopus)

Reasoning about non-immediate triggers in biological networks

Tran, N. & Baral, C., Dec 2007, In : Annals of Mathematics and Artificial Intelligence. 51, 2-4, p. 267-293 27 p.

Research output: Contribution to journalArticle

Molecular interactions
Biological Networks
Trigger
Reasoning
Biological systems
28 Citations (Scopus)

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Tu, P. H., Son, T. C. & Baral, C., Jul 2007, In : Theory and Practice of Logic Programming. 7, 4, p. 377-450 74 p.

Research output: Contribution to journalArticle

Answer Set Programming
Incomplete Information
Sensing
Reasoning
Semantics
2006
1 Citation (Scopus)

AAAI 2006 Spring Symposium Reports

Abecker, A., Alami, R., Baral, C., Bickmore, T., Durfee, E., Fong, T., Göker, M. H., Green, N., Liberman, M., Lebiere, C., Martin, J. H., Mentzas, G., Musliner, D., Nicolov, N., Nourbakhsh, I., Salvetti, F., Shapiro, D., Schrekenghost, D., Sheth, A., Stojanovic, L. & 2 others, SunSpiral, V. & Wray, R., Sep 2006, In : AI Magazine. 27, 3, p. 107-112 6 p.

Research output: Contribution to journalArticle

Knowledge representation
Semantic Web
Health care
Computer science
Artificial intelligence
2 Citations (Scopus)

A state-based regression formulation for domains with sensing actions and incomplete information

Tuan, L. C., Baral, C. & Son, T. C., Oct 1 2006, In : Logical Methods in Computer Science. 2, 4, 2.

Research output: Contribution to journalArticle

Incomplete Information
Progression
Sensing
Regression
Planning
35 Citations (Scopus)

Domain-dependent knowledge in answer set planning

Son, T. C., Baral, C., Tran, N. & Mcilraith, S., 2006, In : ACM Transactions on Computational Logic. 7, 4, p. 613-657 45 p.

Research output: Contribution to journalArticle

Answer Sets
Planning
Dependent
Logic programming
Domain Knowledge
10 Citations (Scopus)

Joint learning of logic relationships for studying protein function using phylogenetic profiles and the Rosetta Stone method

Zhang, X., Kim, S., Wang, T. & Baral, C., Jun 2006, In : IEEE Transactions on Signal Processing. 54, 6 II, p. 2427-2435 9 p.

Research output: Contribution to journalArticle

Proteins
Computational methods
Statistical methods
Genes
2005
3 Citations (Scopus)

Alan: An action language for modelling non-Markovian domains

González, G., Baral, C. & Gelfond, M., Feb 2005, In : Studia Logica. 79, 1, p. 115-134 20 p.

Research output: Contribution to journalArticle

Modeling
Multimedia Presentation
Markov Property
Causality
Logic Programs
4 Citations (Scopus)

Chapter 13 Logic programming and reasoning about actions

Baral, C. & Gelfond, M., 2005, In : Foundations of Artificial Intelligence. 1, C, p. 389-426 38 p.

Research output: Contribution to journalArticle

Reasoning about Actions
Logic programming
Intelligent agents
Logic Programming
Semantics
11 Citations (Scopus)

Knowledge-based framework for hypothesis formation in biochemical networks

Tran, N., Baral, C., Nagaraj, V. J. & Joshi, L., Sep 2005, In : Bioinformatics. 21, SUPPL. 2

Research output: Contribution to journalArticle

Biochemical Networks
Knowledge representation
Knowledge based systems
Knowledge-based
Knowledge-based Systems
31 Citations (Scopus)

Knowledge updates: Semantics and complexity issues

Baral, C. & Zhang, Y., May 2005, In : Artificial Intelligence. 164, 1-2, p. 209-243 35 p.

Research output: Contribution to journalArticle

Model checking
Semantics
semantics
Formal methods
logic
Artificial Intelligence
Bioinformatics
Computational Biology
Computer science
Artificial intelligence

Representation and reasoning about evolutions of the world in the context of reasoning about actions

Baral, C. & Tran, N., Feb 2005, In : Studia Logica. 79, 1, p. 33-46 14 p.

Research output: Contribution to journalArticle

Reasoning about Actions
Reasoning
Trigger
Context
2004
50 Citations (Scopus)

A knowledge based approach for representing and reasoning about signaling networks

Baral, C., Chancellor, K., Tran, N., Tran, N. L., Joy, A. & Berens, M., 2004, In : Bioinformatics. 20, SUPPL. 1

Research output: Contribution to journalArticle

Systems Biology
Knowledge-based
Language
Reasoning
Knowledge representation
2003
2 Citations (Scopus)

Introduction to the special issue on Programming with answer sets

Baral, C., Provetti, A. & Son, T. C., Jul 2003, In : Theory and Practice of Logic Programming. 3, 4-5, p. 387-391 5 p.

Research output: Contribution to journalArticle

Answer Sets
Programming
2001
5 Citations (Scopus)

Formalizing and reasoning about the requirements specifications of workflow systems

Trajcevski, G., Baral, C. & Lobo, J., Dec 2001, In : International Journal of Cooperative Information Systems. 10, 4, p. 483-507 25 p.

Research output: Contribution to journalArticle

Specifications
High level languages
Semantics
Testing
Industry
89 Citations (Scopus)

Formalizing sensing actions - a transition function based approach

Son, T. C. & Baral, C., Jan 2001, In : Artificial Intelligence. 125, 1-2, p. 19-91 73 p.

Research output: Contribution to journalArticle

Acoustic waves
Specifications
small state
logic
language
5 Citations (Scopus)

From planning to searching for the shortest plan: An optimal transition

Trejo, R., Galloway, J., Sachar, C., Kreinovich, V., Baral, C. & Tuan, L. C., Dec 2001, In : International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems. 9, 6, p. 827-837 11 p.

Research output: Contribution to journalArticle

Planning
2000
18 Citations (Scopus)

Abductive reasoning through filtering

Baral, C., Jun 2000, In : Artificial Intelligence. 120, 1, p. 1-28 28 p.

Research output: Contribution to journalArticle

Knowledge representation
abduction
guarantee
Entailment
present
93 Citations (Scopus)

Computational complexity of planning and approximate planning in the presence of incompleteness

Baral, C., Kreinovich, V. & Trejo, R., Sep 2000, In : Artificial Intelligence. 122, 1, p. 241-267 27 p.

Research output: Contribution to journalArticle

Computational complexity
Planning
planning
Polynomials
Computational Complexity
1998
7 Citations (Scopus)

Conceptual Modeling and Querying in Multimedia Databases

Baral, C., Gonzalez, G. & Son, T., 1998, In : Multimedia Tools and Applications. 23, 4, p. 37-66 30 p.

Research output: Contribution to journalArticle

Multimedia Databases
Conceptual Modeling
Attribute
Specification
Specifications
6 Citations (Scopus)

Expanding queries to incomplete databases by interpolating general logic programs

Baral, C., Gelfond, M. & Kosheleva, O., Jun 1998, In : Journal of Logic Programming. 35, 3, p. 195-230 36 p.

Research output: Contribution to journalArticle

Logic Programs
Query
Syntactics
Interpolation
Specifications
11 Citations (Scopus)

Formalizing narratives using nested circumscription

Baral, C., Gabaldon, A. & Provetti, A., Sep 1998, In : Artificial Intelligence. 104, 1-2, p. 107-164 58 p.

Research output: Contribution to journalArticle

High level languages
Knowledge representation
narrative
formalization
language
4 Citations (Scopus)

Robots, softbots, immobots: the 1997 AAAI workshop on theories of action, planning and control

Goldman, R. P. & Baral, C., Jun 1998, In : Knowledge Engineering Review. 13, 2, p. 179-184 6 p.

Research output: Contribution to journalArticle

Autonomous agents
Robots
Planning
3 Citations (Scopus)

Value minimization in circumscription

Baral, C., Gabaldon, A. & Provetti, A., Jul 1998, In : Artificial Intelligence. 102, 2, p. 163-186 24 p.

Research output: Contribution to journalArticle

Values
Knowledge representation
Syntactics
Syntax
Knowledge Representation
1997
10 Citations (Scopus)

Embedding revision programs in logic programming situation calculus

Baral, C., Jan 1997, In : Journal of Logic Programming. 30, 1

Research output: Contribution to journalArticle

Logic programming
Logic Programming
Calculus
Knowledge Base
Notation

Reasoning about effects of concurrent actions

Baral, C. & Gelfond, M., Apr 1997, In : Journal of Logic Programming. 31, 1-3

Research output: Contribution to journalArticle

Logic programming
Concurrent
Reasoning
Logic Programming
Logic Programs
30 Citations (Scopus)

Reasoning about effects of concurrent actions

Baral, C. & Gelfond, M., Apr 1997, In : Journal of Logic Programming. 31, 1-3, p. 85-117 33 p.

Research output: Contribution to journalArticle

Logic programming
Concurrent
Reasoning
Logic Programming
Logic Programs
1 Citation (Scopus)

Relating logic programming theories of actions and partial order planning

Baral, C., 1997, In : Annals of Mathematics and Artificial Intelligence. 21, 2-4, p. 131-151 21 p.

Research output: Contribution to journalArticle

Programming theory
Logic programming
Logic Programming
Logic Programs
Partial Order