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

Full description

Saved in:
Bibliographic Details
Corporate Authors: LPAR (Conference) Suva, Fiji), SpringerLink (Online service)
Other Authors: Davis, Martin (Editor), Fehnker, Ansgar (Editor), McIver, Annabelle (Editor), Voronkov, Andrei, 1959- (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Heidelberg : Springer, [2015]
Series:Lecture notes in computer science ; 9450.
Physical Description:
1 online resource.
Subjects:
Computer logic -- Congresses.
Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers)
Computer logic.
Logic, Symbolic and mathematical.
Artificial intelligence.
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 by SpringerLink (Online service)

Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
Description: 1 online resource (XIV, 794 pages 178 illustrations) : online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Search Result 3

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings by Fuji International Symposium on Functional and Logic Programming Online, SpringerLink (Online service)

Published: Springer, 2020
Description: 1 online resource (xii, 221 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
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. by SpringerLink (Online service)

Published: Springer International Publishing : Imprint : Springer, 2016
Description: 1 online resource (IX, 223 pages 41 illustrations in color.) : online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Search Result 5

Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings by JELIA (Conference) Larnaca, Cyprus), SpringerLink (Online service)

Published: Springer, 2016
Description: 1 online resource (xxii, 586 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings
Search Result 7

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday by SpringerLink (Online service)

Published: Springer, 2016
Description: 1 online resource (xxii, 479 pages) : illustrations (some color).
SpringerLink - Click here for access
eBook
Save to List
Saved in:
A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
Search Result 8

Logic programming with Prolog Second edition. by Bramer, M. A. (Max A.), 1948-

Published: Springer, 2013
Description: 1 online resource (xiv, 253 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logic programming with Prolog
Search Result 10

Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings by RuleML+RR (Joint Conference) Bolzano, Italy), SpringerLink (Online service)

Published: Springer, 2019
Description: 1 online resource (xvi, 207 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
Search Result 11

Deductive Software Verification -- The KeY Book : From Theory to Practice by SpringerLink (Online service)

Published: Springer, 2016
Description: 1 online resource (XXXII, 702 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Deductive Software Verification -- The KeY Book : From Theory to Practice
Search Result 12

Logics of specification languages by SpringerLink (Online service)

Published: Springer, 2008
Description: 1 online resource (XXI, 623 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logics of specification languages
Search Result 13

Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings by JELIA (Conference) Dresden, Germany), SpringerLink (Online service)

Published: Springer, 2023
Description: 1 online resource (xviii, 831 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Search Result 14

Logics for computer and data sciences, and artificial intelligence by Polkowski, Lech

Published: Springer, 2022
Description: 1 online resource (xviii, 362 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logics for computer and data sciences, and artificial intelligence
Search Result 15

Mathematical reasoning : the history and impact of the DReaM group by SpringerLink (Online service)

Published: Springer, 2021
Description: 1 online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Mathematical reasoning : the history and impact of the DReaM group
Search Result 17

Logics in computer science : a study on extensions of temporal and strategic logics by Mogavero, Fabio

Published: Atlantis, 2013
Description: 1 online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logics in computer science : a study on extensions of temporal and strategic logics
Search Result 20

Probability logics : probability-based formalization of uncertain reasoning by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran

Published: Springer, 2016
Description: 1 online resource (xi, 215 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Probability logics : probability-based formalization of uncertain reasoning
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 /
by Jøsang, Audun

Published: Springer, 2016
Description: 1 online resource (xxi, 337 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Subjective logic : a formalism for reasoning under uncertainty
Search Result 22

Logics for artificial intelligence by Turner, Raymond, 1947-

Published: E. Horwood ; Halsted Press, 1984
Description: 121 pages : illustrations ; 25 cm.
Book
Save to List
Saved in:
Logics for artificial intelligence
Search Result 24

Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers by LOPSTR (Symposium) Siena, Italy), SpringerLink (Online service)

Published: Springer, 2015
Description: 1 online resource (xvii, 385 pages) : color illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers
Search Result 25

A general framework for reasoning on inconsistency by Martinez, Maria Vanina, Molinaro, Cristian, Subrahmanian, V. S., Amgoud, Leila

Published: Springer, 2013
Description: 1 online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
A general framework for reasoning on inconsistency
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. by SpringerLink (Online service)

Published: Springer International Publishing : Imprint : Springer, 2015
Description: 1 online resource (XXV, 436 pages 150 illustrations in color.) : online resource.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Search Result 27

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by RV (Conference) Online), SpringerLink (Online service)

Published: Springer, 2020
Description: 1 online resource (xix, 538 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
Search Result 29

Towards a design flow for reversible logic by Wille, Robert

Published: Springer, 2010
Description: 1 online resource (xiii, 184 pages)
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Towards a design flow for reversible logic
Search Result 30

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings by Workshop on Logic, Language, Information and Computation Iaşi, Romania, SpringerLink (Online service)

Published: Springer, 2022
Description: 1 online resource (1 volume) : illustrations (black and white).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings
Search Result 32

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning by Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi

Published: Springer, 2015
Description: 1 online resource (x, 190 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
Search Result 33

From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement by SpringerLink (Online service)

Published: Springer, 2020
Description: 1 online resource (xiv, 293 pages) : illustrations (some color).
SpringerLink - Click here for access
eBook
Save to List
Saved in:
From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement
Search Result 34

Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings by RP (Workshop) Warsaw, Poland), SpringerLink (Online service)

Published: Springer, 2015
Description: 1 online resource (xx, 179 pages) : color illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Search Result 35

Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings by LOPSTR (Symposium) Cascais, Portugal), SpringerLink (Online service)

Published: Springer, 2023
Description: 1 online resource (xii, 211 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Search Result 37

Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers by LOPSTR (Symposium) Canterbury, England), SpringerLink (Online service)

Published: Springer, 2015
Description: 1 online resource (xii, 333 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers
Search Result 38

Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers by LOPSTR (Symposium) Frankfurt am Main, Germany), SpringerLink (Online service)

Published: Springer, 2019
Description: 1 online resource (xx, 203 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers
Search Result 39

Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday by SpringerLink (Online service)

Published: Springer, 2012
Description: 1 online resource (xiii, 355 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Search Result 40

Principles of logic and logic programming by Metakides, George, 1945-

Published: Elsevier, 1996
Description: 1 online resource (xiii, 329 pages) : illustrations.
Elsevier - Click here for access
eBook
Save to List
Saved in:
Principles of logic and logic programming
Show all versions (81473)

Similar Items