Search Results for Logic programming.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Artificial intelligence.

Author

SpringerLink (Online service)

(56)

Voronkov, Andrei. editor.

(9)

Fages, François. editor.

(5)

Rossi, Francesca. editor.

(5)

Seipel, Dietmar. editor.

(3)

Baral, Chitta. editor.

(2)

Frasconi, Paolo. editor.

(2)

Hanus, Michael. editor.

(2)

Leone, Nicola. editor.

(2)

Lisi, Francesca A. editor.

(2)

Muggleton, Stephen. editor.

(2)

Pontelli, Enrico. editor.

(2)

Son, Tran Cao. editor.

(2)

Tamaddoni-Nezhad, Alireza. editor.

(2)

Wolf, Armin. editor.

(2)

Železný, Filip. editor.

(2)

Abreu, Salvador. editor.

(1)

Azevedo, Francisco. editor.

(1)

Baader, Franz. editor.

(1)

Balduccini, Marcello. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Barahona, Pedro. editor.

(1)

Bartenstein, Oskar. editor.

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Bhattacharya, Alakananda. author.

(1)

Bjørner, Nikolaj. editor.

(1)

Blockeel, Hendrik. editor.

(1)

Blume, Matthias. editor.

(1)

Brewka, Gerhard. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Carlsson, Mats. editor.

(1)

Cervesato, Iliano. editor.

(1)

Clarke, Edmund M. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Dahl, Véronica. editor.

(1)

Delgrande, James P. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dovier, Agostino. editor.

(1)

Erdem, Esra. editor.

(1)

Escobar, Santiago. editor.

(1)

Etalle, Sandro. editor.

(1)

Faber, Wolfgang. editor.

(1)

Faltings, Boi V. editor.

(1)

Fermüller, Christian G. editor.

(1)

Gabbrielli, Maurizio. editor.

(1)

Garcia de la Banda, Maria. editor.

(1)

Garrigue, Jacques. editor.

(1)

Geske, Ulrich. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Greco, Gianluigi. editor.

(1)

Gupta, Gopal. editor.

(1)

Hagiya, Masami. editor.

(1)

Hermann, Miki. editor.

(1)

Hermenegildo, Manuel V. editor.

(1)

Hill, Patricia M. editor.

(1)

Hnich, Brahim. editor.

(1)

Janjua, Naeem Khalid. author.

(1)

Kersting, Kristian. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Konar, Amit. author.

(1)

Kramer, Stefan. editor.

(1)

Kroening, Daniel. editor.

(1)

Kuchen, Herbert. editor.

(1)

Lachiche, Nicolas. editor.

(1)

Larrosa, Javier. editor.

(1)

Lavrač, Nada. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lin, Fangzhen. editor.

(1)

Mandal, Ajit K. author.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Mariño, Julio. editor.

(1)

McMillan, Ken. editor.

(1)

Middeldorp, Aart. editor.

(1)

Muggleton, Stephen H. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Oddi, Angelo. editor.

(1)

Oetsch, Johannes. editor.

(1)

Otero, Ramon. editor.

(1)

O’Sullivan, Barry. editor.

(1)

Paes, Aline. editor.

(1)

Petcu, Adrian. editor.

(1)

Pfahringer, Bernhard. editor.

(1)

Pührer, Jörg. editor.

(1)

Raedt, Luc. editor.

(1)

Ramon, Jan. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

(1)

Rybalchenko, Andrey. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Schaub, Torsten. editor.

(1)

Schlipf, John. editor.

(1)

Schrijvers, Tom. editor.

(1)

Shavlik, Jude. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Soliman, Sylvain. editor.

(1)

Sumii, Eijiro. editor.

(1)

Sutcliffe, Geoff. editor.

(1)

Tadepalli, Prasad. editor.

(1)

Terracina, Giorgio. editor.

(1)

Thiemann, Peter. editor.

(1)

Tompits, Hans. editor.

(1)

Truszczyński, Mirosław. editor.

(1)

Umeda, Masanobu. editor.

(1)

Veith, Helmut. editor.

(1)

Vidal, Germán. editor.

(1)

Vrain, Christel. editor.

(1)

Wadler, Philip. editor.

(1)

Warren, David S. editor.

(1)

Woltran, Stefan. editor. (orcid)0000-0003-1594-8972

(1)

Zaverucha, Gerson. editor.

(1)

Zese, Riccardo. editor. (orcid)0000-0001-8352-6304

(1)

Language

(56)

Publication Date

-

(7)

(7)

(6)

(5)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

Subject

Computer science.

(47)

(35)

Software engineering.

(19)

Computer software.

(11)

Computer logic.

(6)

Electronic data processing.

(5)

Mathematical logic.

(5)

Programming languages (Electronic computers).

(5)

Artificial Intelligence (incl. Robotics).

(4)

(4)

Programming Techniques.

(4)

Algebra -- Data processing.

(3)

Computational complexity.

(3)

Computer programming.

(3)

Logics and Meanings of Programs.

(3)

Mathematical Logic and Formal Languages.

(3)

Database management.

(2)

Application software.

(1)

Bioinformatics.

(1)

Computation by Abstract Devices.

(1)

Computational intelligence.

(1)

Computer Science, general.

(1)

Computer vision.

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

(1)

Engineering mathematics.

(1)

(1)

Information storage and retrieval systems.

(1)

Information systems.

(1)

Information theory.

(1)

Mathematical statistics.

(1)

Operations research.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

56 Results Found

Subscribe to search results

1 2 3 4 5

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Probabilistic Inductive Logic Programming Theory and Applications

Probabilistic Inductive Logic Programming Theory and Applications

Probabilistic Inductive Logic Programming Theory and Applications

Author

Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78652-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Author

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20528-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Author

Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Author

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99960-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Author

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44923-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Author

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Author

Janjua, Naeem Khalid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-03949-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Author

Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.

Preferred Shelf Number

ONLINE(335118.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41524-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Author

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334673.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38812-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40564-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45221-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Author

Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28717-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11