Search Results for Logic programming.

1.

Cover image for Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Author

Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519102.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23708-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Author

Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519276.1)

Electronic Access

https://doi.org/10.1007/978-3-319-14726-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Author

Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519103.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48899-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

Author

Trappl, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518563.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21548-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Author

Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518922.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19686-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Author

Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519139.1)

Electronic Access

https://doi.org/10.1007/978-3-319-28114-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519146.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46823-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Author

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518763.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23485-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Author

Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518775.1)

Electronic Access

https://doi.org/10.1007/978-3-319-17822-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Falaschi, Moreno. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518861.1)

Electronic Access

https://doi.org/10.1007/978-3-319-27436-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}