Search Results for Reasoning.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(40)

Voronkov, Andrei. editor.

(9)

Armando, Alessandro. editor.

(2)

Bassiliades, Nick. editor.

(2)

Erdem, Esra. editor.

(2)

Faber, Wolfgang. editor.

(2)

Galmiche, Didier. editor.

(2)

Governatori, Guido. editor.

(2)

Paschke, Adrian. editor.

(2)

Alferes, Jóse Júlio. editor.

(1)

Baader, Franz. editor.

(1)

Bailey, James. editor.

(1)

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

(1)

Baumgartner, Peter. editor.

(1)

Beckert, Bernhard. editor.

(1)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(1)

Bjørner, Nikolaj. editor.

(1)

Brünnler, Kai. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calvanese, Diego. editor.

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cervesato, Iliano. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cox, Michael T. editor.

(1)

Delgrande, James P. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dowek, Gilles. editor.

(1)

Fages, François. editor.

(1)

Fermüller, Christian G. editor.

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Funk, Peter. editor. (orcid)0000-0002-5562-1424

(1)

Furbach, Ulrich. editor.

(1)

Giese, Martin. editor.

(1)

Gramlich, Bernhard. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Hartanto, Ronny. author.

(1)

Hermann, Miki. editor.

(1)

Hitzler, Pascal. editor.

(1)

Hutter, Dieter. editor.

(1)

Kontchakov, Roman. editor.

(1)

Krötzsch, Markus. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lausen, Georg. editor.

(1)

Lee, Joohyung. editor.

(1)

Lembo, Domenico. editor.

(1)

Lierler, Yuliya. editor.

(1)

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

(1)

Lin, Fangzhen. editor.

(1)

Lowe, Gavin. editor.

(1)

Lukasiewicz, Thomas. editor.

(1)

Marchiori, Massimo. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

May, Wolfgang. editor.

(1)

McMillan, Ken. editor.

(1)

Metcalfe, George. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miller, Dale. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Mugnier, Marie-Laure. editor.

(1)

Olivetti, Nicola. editor.

(1)

Pan, Jeff Z. editor.

(1)

Pearce, David. editor.

(1)

Polleres, Axel. editor.

(1)

Roman, Dumitru. editor.

(1)

Rudolph, Sebastian. editor.

(1)

Sattler, Uli. editor.

(1)

Schaub, Torsten. editor.

(1)

Schulz, Stephan. editor.

(1)

Schwertel, Uta. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Shankar, Natarajan. editor.

(1)

Soliman, Sylvain. editor.

(1)

Son, Tran Cao. editor.

(1)

Stephan, Werner. editor.

(1)

Straccia, Umberto. editor.

(1)

Sutcliffe, Geoff. editor.

(1)

Swift, Terrance. editor.

(1)

Veith, Helmut. editor.

(1)

Waaler, Arild. editor.

(1)

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

(1)

Language

(40)

Publication Date

-

(6)

(5)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(1)

Subject

Computer science.

(37)

Artificial intelligence.

(31)

(22)

Information systems.

(12)

Information storage and retrieval systems.

(10)

(7)

Multimedia systems.

(6)

Computational complexity.

(4)

Logics and Meanings of Programs.

(4)

Artificial Intelligence (incl. Robotics).

(3)

Computer Communication Networks.

(3)

Computer software.

(3)

Mathematical Logic and Formal Languages.

(3)

Programming Techniques.

(3)

Computer logic.

(2)

Database management.

(2)

Discrete Mathematics in Computer Science.

(2)

Application software.

(1)

Computer simulation.

(1)

(1)

Data Mining and Knowledge Discovery.

(1)

Data encryption (Computer science).

(1)

Electronic data processing.

(1)

Information Storage and Retrieval.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems and Communication Service.

(1)

Information storage and retrieval.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical logic.

(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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

40 Results Found

Subscribe to search results

1 2 3 4

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

2.

Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Author

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31095-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Author

Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01081-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Author

Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

Author

Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11113-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Author

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334832.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40537-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

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:

11.

Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Author

Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30743-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Author

Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11