Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were ca...
Saved in:
Other Authors: | Cervesato, Iliano |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/25619 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Logics in Artificial Intelligence
Published: (2017) -
Advances in Artificial Intelligence - IBERAMIA 2008
Published: (2017) -
Artificial Intelligence: Methodology, Systems, and Applications
Published: (2017) -
Artificial Neural Networks - ICANN 2008
Published: (2017) -
Model Checking and Artificial Intelligence
Published: (2017)