Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397) - Image 1

£89.95

Springer Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)
Brand: Springer
Price: 89.98 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price

Price Analysis

Most common price: £90 (86 days, 100.0%)

Price range: £90 - £90

Price levels: 1 different prices over 86 days

Description

This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller .. ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 364216241X
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 27 September 2010
Listed Since: 23 September 2010

Barcode

No barcode data available

Springer Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Advances in Artificial Intelligence - IBERAMIA 2010: 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings: 6433 (Lecture Notes in Computer Science, 6433)

Advances in Intelligent Informatics, Smart Technology and Natural Language Processing: Selected Revised Papers from the Joint International Symposium ... in Intelligent Systems and Computing, 807)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Springer Parallel and Constraint Logic Programming Book 876

Springer Mathematical Problems from Applied Logic I - Vol 4

Proceedings of 3rd International Conference on Computing Informatics and Networks: ICCIN 2020: 167 (Lecture Notes in Networks and Systems, 167)

Intelligent Computing and Networking: Proceedings of IC-ICN 2020: 146 (Lecture Notes in Networks and Systems, 146)

Recent Findings in Intelligent Computing Techniques: Proceedings of the 5th ICACNI 2017, Volume 2: 708 (Advances in Intelligent Systems and Computing, 708)

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings: 2142 (Lecture Notes in Computer Science, 2142)

Proceedings of the Ninth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2017): 737 (Advances in Intelligent Systems and Computing, 737)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Algorithms and Architectures for Parallel Processing: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings: 10393 (Lecture Notes in Computer Science, 10393)

Advances in Intelligent Systems and Computing III: Selected Papers from the International Conference on Computer Science and Information Technologies, ... in Intelligent Systems and Computing, 871)

Springer AI in Intelligent Systems - Computer Science Vol. 2

Logic Programming: A Classified Bibliography

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... and Communication Technology, 323)

Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18): Volume 1: 874 (Advances in Intelligent Systems and Computing, 874)

Advances and New Developments in Fuzzy Logic and Technology: Selected Papers from IWIFSGN'2019 – The Eighteenth International Workshop on ... in Intelligent Systems and Computing, 1308)