Loading…
Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
[2015]
|
Series: | Lecture notes in computer science ;
9450. |
Physical Description: |
1 online resource. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (XIV, 794 pages 178 illustrations) : online resource.
eBook
Search Result 2
Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xi, 446 pages).
Conference Proceeding
eBook
Search Result 3
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xii, 221 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 4
Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers 1st ed. 2016.
Published: Springer International Publishing : Imprint : Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (IX, 223 pages 41 illustrations in color.) : online resource.
eBook
Search Result 5
Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxii, 586 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xvi, 293 pages) : illustrations.
Conference Proceeding
eBook
Search Result 7
A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxii, 479 pages) : illustrations (some color).
eBook
Search Result 8
Logic programming with Prolog Second edition.
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xiv, 253 pages) : illustrations.
eBook
Search Result 9
Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xxiii, 328 pages) : illustrations.
Conference Proceeding
eBook
Search Result 10
Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xvi, 207 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 11
Deductive Software Verification -- The KeY Book : From Theory to Practice
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (XXXII, 702 pages) : illustrations.
eBook
Search Result 12
Logics of specification languages
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (XXI, 623 pages) : illustrations.
eBook
Search Result 13
Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xviii, 831 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 14
Logics for computer and data sciences, and artificial intelligence
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xviii, 362 pages) : illustrations.
eBook
Search Result 15
Mathematical reasoning : the history and impact of the DReaM group
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 16
Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (348 pages).
Conference Proceeding
eBook
Search Result 17
Logics in computer science : a study on extensions of temporal and strategic logics
Published: Atlantis, 2013
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 18
Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (x, 243 pages) : illustrations.
Conference Proceeding
eBook
Search Result 19
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xx, 362 pages) : illustrations.
eBook
Search Result 20
Probability logics : probability-based formalization of uncertain reasoning
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xi, 215 pages) : illustrations.
eBook
Search Result 21
Subjective logic : a formalism for reasoning under uncertainty
Subjective logic : a formalism for reasoning under uncertainty
Subjective logic : a formalism for reasoning under uncertainty /
Subjective logic : a formalism for reasoning under uncertainty /
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxi, 337 pages) : illustrations.
eBook
Search Result 22
Logics for artificial intelligence
Published: E. Horwood ; Halsted Press, 1984
Description:
121 pages : illustrations ; 25 cm.
Book
Search Result 23
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvi, 211 pages) : illustrations.
Conference Proceeding
eBook
Search Result 24
Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xvii, 385 pages) : color illustrations.
Conference Proceeding
eBook
Search Result 25
A general framework for reasoning on inconsistency
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 26
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings 1st ed. 2015.
Published: Springer International Publishing : Imprint : Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (XXV, 436 pages 150 illustrations in color.) : online resource.
eBook
Search Result 27
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xix, 538 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 28
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (x, 283 pages) : illustrations.
Conference Proceeding
eBook
Search Result 29
Towards a design flow for reversible logic
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (xiii, 184 pages)
eBook
Search Result 30
Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (1 volume) : illustrations (black and white).
Conference Proceeding
eBook
Search Result 31
Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected p...
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 32
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (x, 190 pages) : illustrations.
eBook
Search Result 33
From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xiv, 293 pages) : illustrations (some color).
eBook
Search Result 34
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xx, 179 pages) : color illustrations.
Conference Proceeding
eBook
Search Result 35
Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xii, 211 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 36
Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (viii, 322 pages) : illustrations.
Conference Proceeding
eBook
Search Result 37
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xii, 333 pages) : illustrations.
Conference Proceeding
eBook
Search Result 38
Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xx, 203 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 39
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xiii, 355 pages) : illustrations.
eBook
Search Result 40
Principles of logic and logic programming
Published: Elsevier, 1996
Elsevier - Click here for access
Description:
1 online resource (xiii, 329 pages) : illustrations.
eBook