Search Results for Reasoning.

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:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(94)

Voronkov, Andrei. editor.

(9)

d’Amato, Claudia. editor.

(4)

Lukasiewicz, Thomas. editor.

(3)

Polleres, Axel. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Armando, Alessandro. editor.

(2)

Aßmann, Uwe. editor.

(2)

Baral, Chitta. editor.

(2)

Barkowsky, Thomas. editor.

(2)

Baroglio, Cristina. editor.

(2)

Bassiliades, Nick. editor.

(2)

Croitoru, Madalina. editor.

(2)

Eiter, Thomas. editor.

(2)

Erdem, Esra. editor.

(2)

Faber, Wolfgang. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Franconi, Enrico. editor.

(2)

Freksa, Christian. editor.

(2)

Gabbay, Dov M. author.

(2)

Galmiche, Didier. editor.

(2)

Governatori, Guido. editor.

(2)

Gutierrez, Claudio. editor.

(2)

Handschuh, Siegfried. editor.

(2)

Henze, Nicola. editor.

(2)

Knauff, Markus. editor.

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Marchiori, Massimo. editor.

(2)

Małuszyński, Jan. editor.

(2)

Nickles, Matthias. editor.

(2)

Paschke, Adrian. editor.

(2)

Pool, Michael. editor.

(2)

Son, Tran Cao. editor.

(2)

Agudo, Belén Díaz. editor.

(1)

Alferes, Jóse Júlio. editor.

(1)

Althoff, Klaus-Dieter. editor.

(1)

Amgoud, Leila. author.

(1)

Anshakov, Oleg M. author.

(1)

Antoniou, Grigoris. editor.

(1)

Arenas, Marcelo. editor.

(1)

Baader, Franz. editor.

(1)

Bailey, James. editor.

(1)

Balduccini, Marcello. editor.

(1)

Barahona, Pedro. editor.

(1)

Bartho, Andreas. editor.

(1)

Baumgartner, Peter. editor.

(1)

Beckert, Bernhard. editor.

(1)

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

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Bergmann, Ralph. editor.

(1)

Bichindaritz, Isabelle. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Bobillo, Fernando. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonatti, Piero A. editor.

(1)

Brewka, Gerhard. editor.

(1)

Bry, François. editor.

(1)

Brünnler, Kai. editor.

(1)

Bühler, Dirk. author.

(1)

Cabalar, Pedro. editor.

(1)

Calvanese, Diego. editor.

(1)

Carnielli, Walter. author.

(1)

Cellucci, Carlo. author.

(1)

Cervesato, Iliano. editor.

(1)

Chemello, Gaetano. editor.

(1)

Chen-Burger, Yun-Heh. author.

(1)

Clarke, Edmund M. editor.

(1)

Coelho, Lucio. author.

(1)

Coniglio, Marcelo. author.

(1)

Corby, Olivier. editor.

(1)

Costa, Paulo C. G. editor.

(1)

Costa, Paulo Cesar G. editor.

(1)

Cox, Michael T. editor.

(1)

Decker, Stefan. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Delany, Sarah Jane. editor.

(1)

Delgrande, James P. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dowek, Gilles. editor.

(1)

Eisinger, Norbert. editor.

(1)

Eklund, Peter. editor.

(1)

Endler, Markus. author.

(1)

Fages, François. editor.

(1)

Fermüller, Christian G. editor.

(1)

Fundulaki, Irini. author.

(1)

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

(1)

Furbach, Ulrich. editor.

(1)

Gaag, Linda C. editor.

(1)

Geisweiller, Nil. author.

(1)

Gergely, Tamás. author.

(1)

Giese, Martin. editor.

(1)

Giesl, Jürgen. editor.

(1)

Godo, Lluís. editor.

(1)

Goertzel, Ben. author.

(1)

Gottlob, Georg. editor.

(1)

Gouveia, Paula. author.

(1)

Gramlich, Bernhard. editor.

(1)

Greco, Gianluigi. editor.

(1)

Gunderson, James P. author.

(1)

Gunderson, Louise F. author.

(1)

Gärdenfors, Peter. editor.

(1)

Göker, Mehmet H. editor.

(1)

Güvenir, H. Altay. editor.

(1)

Haemmerlé, Ollivier. editor.

(1)

Hanft, Alexandre. editor.

(1)

Harmelen, Frank. editor.

(1)

Hartanto, Ronny. author.

(1)

Hermann, Miki. editor.

(1)

Hitzler, Pascal. editor.

(1)

Horrocks, Ian. editor.

(1)

Howse, John. editor.

(1)

Hutter, Dieter. editor.

(1)

Hähnle, Reiner. editor.

(1)

Hüllermeier, Eyke. author.

(1)

Janičić, Predrag. author.

(1)

Katz, Graham. editor.

(1)

Krennwallner, Thomas. editor.

(1)

Krieg-Brückner, Bernd. editor.

(1)

Kroner, Paula. editor.

(1)

Krötzsch, Markus. editor.

(1)

Lamb, Luís C. author.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lausen, Georg. editor.

(1)

Lawry, Jonathan. author.

(1)

Le Phuoc, Danh. author.

(1)

Lee, Joohyung. editor.

(1)

Lembo, Domenico. editor.

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor.

(1)

Ligozat, Gérard. editor.

(1)

Lin, Fangzhen. editor.

(1)

Liu, Weiru. editor.

(1)

Lowe, Gavin. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

Marquis, Pierre. editor.

(1)

Martinez, Maria Vanina. author.

(1)

May, Wolfgang. editor.

(1)

McGinty, Lorraine. editor.

(1)

McMillan, Ken. editor.

(1)

Mellouli, Khaled. editor.

(1)

Metcalfe, George. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miller, Dale. editor.

(1)

Minker, Wolfgang. author.

(1)

Minor, Mirjam. editor.

(1)

Molinaro, Cristian. author.

(1)

Montani, Stefania. editor.

(1)

Montello, Daniel R. editor.

(1)

Mutharaju, Raghava. author.

(1)

Muñoz-Ávila, Héctor. editor.

(1)

Neagu, Nicoleta. author.

(1)

Nebel, Bernhard. editor.

(1)

Newcombe, Nora S. editor.

(1)

Olivetti, Nicola. editor.

(1)

Ontañón, Santiago. editor.

(1)

Ossowski, Sascha. editor.

(1)

Pan, Jeff Z. editor.

(1)

Parent, Xavier. editor.

(1)

Patel-Schneider, Peter. editor.

(1)

Patranjan, Paula-Lavinia. editor.

(1)

Pearce, David. editor.

(1)

Pennachin, Cassio. author.

(1)

Pustejovsky, James. editor.

(1)

Ram, Ashwin. editor.

(1)

Ricca, Francesco. editor.

(1)

Ricci, Francesco. editor.

(1)

Richter, Michael M. author.

(1)

Richter, Michael M. editor.

(1)

Robertson, Dave. author.

(1)

Roman, Dumitru. editor.

(1)

Roth-Berghofer, Thomas R. editor.

(1)

Rousset, Marie-Christine. editor.

(1)

Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080

(1)

Sakr, Sherif. author.

(1)

Sattler, Uli. editor.

(1)

Sattler, Ulrike. editor.

(1)

Schaerf, Marco. editor.

(1)

Schaffert, Sebastian. editor.

(1)

Schaub, Torsten. editor.

(1)

Schilder, Frank. editor.

(1)

Schlipf, John. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schulz, Stephan. editor.

(1)

Schwertel, Uta. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Sernadas, Cristina. author.

(1)

Shankar, Natarajan. editor.

(1)

Soliman, Sylvain. editor.

(1)

Sossai, Claudio. editor.

(1)

Stapleton, Gem. editor.

(1)

Stephan, Werner. editor.

(1)

Stickel, Mark E. editor.

(1)

Stock, Oliviero. editor.

(1)

Straccia, Umberto. editor.

(1)

Subrahmanian, V.S. author.

(1)

Sutcliffe, Geoff. editor.

(1)

Swift, Terrance. editor.

(1)

Terracina, Giorgio. editor.

(1)

Tessaris, Sergio. editor.

(1)

Language

(94)

Publication Date

-

(13)

(12)

(12)

(10)

(10)

(9)

(8)

(7)

(7)

(6)

Subject

Artificial intelligence.

(79)

Software engineering.

(37)

(34)

Information systems.

(32)

Information storage and retrieval systems.

(27)

(20)

Computer Communication Networks.

(16)

Database management.

(11)

Artificial Intelligence (incl. Robotics).

(10)

Mathematical Logic and Formal Languages.

(9)

Computational complexity.

(7)

Computer software.

(7)

Logics and Meanings of Programs.

(7)

Management information systems.

(6)

Multimedia systems.

(6)

Computer simulation.

(4)

Data Mining and Knowledge Discovery.

(4)

Information Storage and Retrieval.

(4)

Information theory.

(4)

(4)

Social sciences -- Data processing.

(4)

Information Systems Applications (incl. Internet).

(3)

Logic, Symbolic and mathematical.

(3)

(3)

Programming Techniques.

(3)

(2)

Computer vision.

(2)

Data encryption (Computer science).

(2)

Data structures (Computer science).

(2)

Discrete Mathematics in Computer Science.

(2)

Information Systems and Communication Service.

(2)

Optical pattern recognition.

(2)

Philosophy (General).

(2)

Translators (Computer programs).

(2)

User Interfaces and Human Computer Interaction.

(2)

Algebra -- Data processing.

(1)

Bioinformatics.

(1)

Business Information Systems.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer graphics.

(1)

Computer network architectures.

(1)

Electronic data processing.

(1)

(1)

History of Philosophy.

(1)

Information Systems.

(1)

Math Applications in Computer Science.

(1)

Mathematical geography.

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Programming Languages, Compilers, Interpreters.

(1)

(1)

Technology -- Philosophy.

(1)

(1)

Text processing (Computer science.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

94 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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.

13.

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:

14.

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:

15.

Cover image for Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

Author

d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00338-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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:

19.

Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Author

Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334848.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

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:

22.

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:

23.

Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

Author

Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.

Preferred Shelf Number

ONLINE(334092.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11