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...

Full description

Saved in:

Bibliographic Details
Other Authors:	Cervesato, Iliano
Format:	Book
Language:	English
Published:	Springer 2017
Subjects:	Artificial intelligence > Congresses ; Logic programming > Congresses 006.3
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

id	oai:112.137.131.14:VNU_123-25619
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-256192020-07-14T02:22:40Z Logic for Programming, Artificial Intelligence, and Reasoning Cervesato, Iliano Veith, Helmut Voronkov, Andrei Artificial intelligence -- Congresses ; Logic programming --Congresses 006.3 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 carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics. 2017-04-10T07:39:39Z 2017-04-10T07:39:39Z 2008 Book 978-3-540-89438-4 http://repository.vnu.edu.vn/handle/VNU_123/25619 en 727 p. application/pdf Springer
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	English
topic	Artificial intelligence -- Congresses ; Logic programming --Congresses 006.3
spellingShingle	Artificial intelligence -- Congresses ; Logic programming --Congresses 006.3 Logic for Programming, Artificial Intelligence, and Reasoning
description	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 carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
author2	Cervesato, Iliano
author_facet	Cervesato, Iliano
format	Book
title	Logic for Programming, Artificial Intelligence, and Reasoning
title_short	Logic for Programming, Artificial Intelligence, and Reasoning
title_full	Logic for Programming, Artificial Intelligence, and Reasoning
title_fullStr	Logic for Programming, Artificial Intelligence, and Reasoning
title_full_unstemmed	Logic for Programming, Artificial Intelligence, and Reasoning
title_sort	logic for programming, artificial intelligence, and reasoning
publisher	Springer
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/25619
_version_	1680963127279091712

Logic for Programming, Artificial Intelligence, and Reasoning

Similar Items