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

Research Output 1990 2019

Filter
Chapter
2018
1 Citation (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
2014

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

A logic programming based framework for intelligent web service composition

Pontelli, E., Son, T. C. & Baral, C., 2008, Managing Web Service Quality: Measuring Outcomes and Effectiveness. IGI Global, p. 193-221 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Logic programming
Web services
Chemical analysis
Programming theory
Planning
1999
1 Citation (Scopus)

Specifying generic multimedia 3D visualizations and temporal presentations from database queries

Baral, C. & Gonzalez, G., 1999, International Conference on Multimedia Computing and Systems -Proceedings. Los Alamitos, CA, United States: IEEE, Vol. 1. p. 550-555 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Visualization
Virtual reality
Display devices