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

Research Output 1990 2019

2019

Integrating knowledge and reasoning in image understanding

Aditya, S., Yang, Y. & Baral, C., Jan 1 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 6252-6259 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Image understanding
Object recognition
Semantics
Neural networks
Deep learning
2 Citations (Scopus)

Spatial knowledge distillation to aid visual reasoning

Aditya, S., Saha, R., Yang, Y. & Baral, C., Mar 4 2019, Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019. Institute of Electrical and Electronics Engineers Inc., p. 227-235 9 p. 8658731. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distillation
Masks
Students
Neural networks
2018
1 Citation (Scopus)

Combining knowledge and reasoning through probabilistic soft logic for image puzzle solving

Aditya, S., Yang, Y., Baral, C. & Aloimonos, Y., Jan 1 2018, 34th Conference on Uncertainty in Artificial Intelligence 2018, UAI 2018. Globerson, A., Globerson, A. & Silva, R. (eds.). Association For Uncertainty in Artificial Intelligence (AUAI), Vol. 1. p. 238-248 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Object detection
Uncertainty
5 Citations (Scopus)

Explicit reasoning over end-to-end neural architectures for visual question answering

Aditya, S., Yang, Y. & Baral, C., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 629-637 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Engines
Neural networks
Processing
1 Citation (Scopus)

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

Viewpoint ask not what your postdoc can do for you ⋯

Baral, C., Chang, S. F., Curless, B., Dasgupta, P., Hirschberg, J. & Jones, A., Jan 1 2018, In : Communications of the ACM. 61, 1, p. 42-44 3 p.

Research output: Contribution to journalComment/debate

2 Citations (Scopus)

Why deep neural networks: A possible theoretical explanation

Baral, C., Fuentes, O. & Kreinovich, V., 2018, Studies in Systems, Decision and Control. Springer International Publishing, Vol. 100. p. 1-5 5 p. (Studies in Systems, Decision and Control; vol. 100).

Research output: Chapter in Book/Report/Conference proceedingChapter

neural network
Neural Networks
Neural networks
Parallelism
Network layers
2017
6 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

Reactive maintenance policies over equalized states in dynamic environments

Saribatur, Z. G., Baral, C. & Eiter, T., 2017, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer Verlag, Vol. 10423 LNAI. p. 709-723 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maintenance Policy
Dynamic Environment
Maintenance
Clustering
State Space

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives

Baral, C. & Son, T. C., Jan 1 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Springer Verlag, Vol. 10621 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Irreflexive
Update
Belief Revision
Inaccurate
Likelihood
2016
16 Citations (Scopus)

Addressing a question answering challenge by combining statistical methods with inductive rule learning and reasoning

Mitra, A. & Baral, C., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2779-2785 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Intelligent agents
Statistical methods
Inductive logic programming (ILP)
Knowledge representation
Processing
2 Citations (Scopus)

Automatic extraction of events-based conditional commonsense knowledge

Sharma, A. & Baral, C., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, Vol. WS-16-01 - WS-16-15. p. 527-531 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
19 Citations (Scopus)

Learning to use formulas to solve simple arithmetic problems

Mitra, A. & Baral, C., 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers. Association for Computational Linguistics (ACL), Vol. 4. p. 2144-2153 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

learning
primary school
language
Language Understanding
Natural Language

Plan failure analysis: Formalization and application in interactive planning through natural language communication

Baral, C., Son, T. C., Gelfond, M. & Mitra, A., 2016, Princiles and Practice of Multi-Agent Systems - 19th International Conference, PRIMA 2016, Proceedings. Springer Verlag, Vol. 9862. p. 376-386 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9862).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Failure Analysis
Formalization
Natural Language
Failure analysis
Robot
2015
4 Citations (Scopus)

An approach to solve winograd schema challenge using automatically extracted commonsense knowledge

Sharma, A., Vo, N. H., Gaur, S. & Baral, C., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 141-144 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specification languages
Specification Languages
Default Logic
Planning
Specification

Cancer pathways: Automatic extraction, representation, and reasoning in the 'big data' era

Gonzalez, G., Baral, C., Kiefer, J., Kim, S. & Ye, J., 2015, 20th Pacific Symposium on Biocomputing, PSB 2015. Stanford University, p. 80-83 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gene expression
Brain
Throughput
Learning systems
Tumors
4 Citations (Scopus)

Learning to automatically solve logic grid puzzles

Mitra, A. & Baral, C., 2015, Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), p. 1023-1033 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Learning systems

Multi-agent action modeling through action sequences and perspective fluents

Baral, C., Gelfond, G., Pontelli, E. & Cao Son, I., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 25-31 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Planning

Recognizing social constructs from textual conversation

Aditya, S., Baral, C., Vo, N. H., Lee, J., Ye, J., Naung, Z., Lumpkin, B., Hastings, J., Scherl, R., Sweet, D. M. & Inclezan, D., 2015, NAACL HLT 2015 - 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1293-1298 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Machine oriented languages
Statistical methods
conversation
leadership
politeness
9 Citations (Scopus)

The NL2KR platform for building natural language translation systems

Vo, N. H., Mitra, A. & Baral, C., 2015, ACL-IJCNLP 2015 - 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), Vol. 1. p. 899-908 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal languages
Glossaries
Graphical user interfaces
Learning algorithms
18 Citations (Scopus)

Towards addressing the winograd schema challenge - Building and using a semantic parser and a knowledge hunting module

Sharma, A., Vo, N. H., Aditya, S. & Baral, C., 2015, IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 1319-1325 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
1 Citation (Scopus)

Translating simple legal text to formal representations

Gaur, S., Vo, N. H., Kashihara, K. & Baral, C., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9067. p. 259-273 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9067).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning
Text
Framework
6 Citations (Scopus)

Visual commonsense for scene understanding using perception, semantic parsing and reasoning

Aditya, S., Yang, Y., Baral, C., Fermuller, C. & Aloimonos, Y., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 9-16 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Linguistics
Semantics
Processing
1 Citation (Scopus)

“Add another blue stack of the same height!”: ASP based planning and plan failure analysis

Baral, C. & Son, T. C., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9345. p. 127-133 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9345).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Failure Analysis
Failure analysis
Planning
Robots
Natural Language
2014
3 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
1 Citation (Scopus)

Pathway specification and comparative queries: A high level language with petri net semantics

Anwar, S. & Baral, C., 2014, Proceedings of the National Conference on Artificial Intelligence. AI Access Foundation, Vol. 2. p. 981-988 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

High level languages
Petri nets
Semantics
Specifications
Query languages

Preface

Baral, C., De Giacomo, G. & Eiter, T., 2014, In : Unknown Journal. p. xv-xvi

Research output: Contribution to journalEditorial

Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP

Anwar, S., Baral, C. & Inoue, K., Sep 9 2014, Logical Modeling of Biological Systems. wiley, p. 207-243 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Petri nets
Semantics
Trajectories
Biological systems
2013
5 Citations (Scopus)

Encoding higher level extensions of Petri nets in answer set programming

Anwar, S., Baral, C. & Inoue, K., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI. p. 116-121 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Answer Set Programming
Question Answering
Biological systems
Petri nets
Biological Systems

Event-object reasoning with curated knowledge bases: Deriving missing information

Baral, C. & Vo, N. H., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI. p. 161-167 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Base
Raw materials
Reasoning
Object

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
3 Citations (Scopus)

Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: The action language mAL

Baral, C., Gelfond, G., Pontelli, E. & Son, T. C., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8143 LNAI. p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State Constraints
Reasoning
Reasoning about Actions
Epistemic Logic
Dynamic Logic

The NL2KR system

Baral, C., Dzifcak, J., Kumbhare, K. & Vo, N. H., 2013, CEUR Workshop Proceedings. CEUR-WS, Vol. 1044. p. 37-47 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
2012
6 Citations (Scopus)

Answering why and how questions with respect to a frame-based knowledge base: A preliminary report

Baral, C., Vo, N. H. & Liang, S., 2012, Leibniz International Proceedings in Informatics, LIPIcs. Vol. 17. p. 26-36 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Base
Students
Question Answering System
Answer Set Programming
Biology
7 Citations (Scopus)

Answer set programming and planning with knowledge and world-altering actions in multiple agent domains

Pontelli, E., Son, T. C., Baral, C. & Gelfond, G., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7265. p. 509-526 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7265).

Research output: Chapter in Book/Report/Conference proceedingChapter

Answer Set Programming
Planning
Programming Model
Knowledge
Reasoning
27 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
5 Citations (Scopus)

From knowledge represented in frame-based languages to declarative representation and reasoning via ASP

Baral, C. & Liang, S., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. p. 413-423 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cloning
Knowledge representation
10 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
8 Citations (Scopus)

Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation

Baral, C. & Dzifcak, J., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. p. 573-577 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ontology
1 Citation (Scopus)

The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating english to FOL

Baral, C., Gonzalez, M. A. & Gottesman, A., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7265. p. 40-56 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7265).

Research output: Chapter in Book/Report/Conference proceedingChapter

Lambda Calculus
First-order Logic
Formal languages
Knowledge representation
Formal Languages
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
86 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

Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages

Baral, C., Jan 1 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Springer Verlag, Vol. 6645 LNAI. 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Knowledge Representation
Natural Language
Calculus
Functional programming
1 Citation (Scopus)

Logic programming and uncertainty

Baral, C., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6929 LNAI. p. 22-37 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6929 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Uncertainty
Computer programming languages
Programming Languages
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
3 Citations (Scopus)

On representing actions in multi-agent domains

Baral, C. & Gelfond, G., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6565 LNAI. p. 213-232 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

Research output: Chapter in Book/Report/Conference proceedingChapter

Epistemic Logic
Dynamic Logic
Reasoning about Actions
Dynamic Environment
Extrapolate

Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation

Baral, C. & Dzifcak, J., 2011, AAAI Fall Symposium - Technical Report. Vol. FS-11-01. p. 18-25 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ontology
10 Citations (Scopus)

Using inverse λ and generalization to translate English to formal languages

Baral, C., Dzifcak, J., Gonzalez, M. A. & Zhou, J., Jan 1 2011, Proceedings of the 9th International Conference on Computational Semantics, IWCS 2011. Association for Computational Linguistics, ACL Anthology, p. 35-44 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal languages
Semantics
Query languages
Knowledge representation
Syntactics