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

Research Output

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

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

2 Scopus citations
2018

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

1 Scopus citations

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

7 Scopus citations

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

1 Scopus citations

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

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

3 Scopus citations
2017

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

7 Scopus citations

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

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

2016

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

17 Scopus citations

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

2 Scopus citations

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

19 Scopus citations

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

2015

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

4 Scopus citations

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

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

4 Scopus citations

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

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

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

10 Scopus citations

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

19 Scopus citations

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

1 Scopus citations

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

6 Scopus citations

“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

1 Scopus citations
2014

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

3 Scopus citations

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

1 Scopus citations

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

2013

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

5 Scopus citations

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

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

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

3 Scopus citations

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

2012

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

6 Scopus citations

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

7 Scopus citations

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

27 Scopus citations

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

4 Scopus citations

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

10 Scopus citations

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

20 Scopus citations

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

7 Scopus citations

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

1 Scopus citations

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

2 Scopus citations
2011

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

89 Scopus citations

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

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

1 Scopus citations

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

2 Scopus citations

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

3 Scopus citations

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

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

10 Scopus citations