Search Results for Reasoning.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Artificial intelligence.

Yazar

SpringerLink (Online service)

(133)

Voronkov, Andrei. editor.

(9)

Croitoru, Madalina. editor.

(4)

Jain, Lakhmi C. editor.

(4)

d’Amato, Claudia. editor.

(4)

Akama, Seiki. author.

(3)

Fanizzi, Nicola. editor.

(3)

Laskey, Kathryn B. editor.

(3)

Laskey, Kenneth J. editor.

(3)

Lukasiewicz, Thomas. editor.

(3)

Montani, Stefania. editor.

(3)

Nickles, Matthias. editor.

(3)

Pool, Michael. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Abraham, Ajith. editor.

(2)

Aßmann, Uwe. editor.

(2)

Baral, Chitta. editor.

(2)

Barkowsky, Thomas. editor.

(2)

Bobillo, Fernando. editor.

(2)

Endres, Dominik. editor. (orcid)0000-0001-9756-9655

(2)

Erdem, Esra. editor.

(2)

Freksa, Christian. editor.

(2)

Galmiche, Didier. editor.

(2)

Horrocks, Ian. editor.

(2)

Knauff, Markus. editor.

(2)

Magnani, Lorenzo. editor.

(2)

Murai, Tetsuya. author.

(2)

Roman, Dumitru. editor.

(2)

Son, Tran Cao. editor.

(2)

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

(2)

ALISEDA, ATOCHA.

(1)

Abe, Jair Minoro. author.

(1)

Addis, Tom. author.

(1)

Agudo, Belén Díaz. editor.

(1)

Al-Shaer, Ehab. editor.

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(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)

Armando, Alessandro. editor.

(1)

Baader, Franz. editor.

(1)

Bach, Kerstin. editor. (orcid)0000-0002-4256-7676

(1)

Bailey, James. editor.

(1)

Balduccini, Marcello. editor.

(1)

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

(1)

Barka, Noureddine. editor. (orcid)0000-0003-2330-8326

(1)

Baroglio, Cristina. editor.

(1)

Bartho, Andreas. editor.

(1)

Bassiliades, Nick. 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)

Bessière, Pierre. editor.

(1)

Bhattacharyya, Siddhartha. editor.

(1)

Bianco, Simone. editor.

(1)

Bichindaritz, Isabelle. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Bobrow, Daniel G. (Daniel Gureasko), 1935-

(1)

Bonacina, Maria Paola. editor.

(1)

Bouchon-Meunier, Bernadette. editor.

(1)

Brewka, Gerhard. editor.

(1)

Brünnler, Kai. editor.

(1)

Cabalar, Pedro. editor.

(1)

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

(1)

Cao, Tru Hoang. author.

(1)

Carnielli, Walter. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Cebi, Selcuk. editor.

(1)

Cerrito, Serenella. editor.

(1)

Cervesato, Iliano. editor.

(1)

Cevik Onar, Sezi. editor.

(1)

Chaki, Jyotismita. author.

(1)

Chapman, Peter. editor. (orcid)0000-0002-5524-5780

(1)

Chemello, Gaetano. editor.

(1)

Chen, Yen-Wei. editor.

(1)

Chen-Burger, Yun-Heh. author.

(1)

Choo, Yun-Huoy. editor.

(1)

Cicerone, Serafino. editor.

(1)

Clarke, Edmund M. editor.

(1)

Coelho, Lucio. author.

(1)

Corby, Olivier. editor.

(1)

Costa, Paulo C. G. editor.

(1)

Costa, Paulo C.G. editor.

(1)

Costa, Paulo Cesar G. editor.

(1)

Cox, Michael T. editor.

(1)

Das, Gautam. editor.

(1)

De, Sourav. editor.

(1)

Decker, Stefan. editor.

(1)

Delany, Sarah Jane. editor.

(1)

Delgrande, James P. editor.

(1)

Demri, Stéphane. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dey, Nilanjan. editor.

(1)

Dompere, Kofi Kissi. author.

(1)

Dowek, Gilles. editor.

(1)

Eisinger, Norbert. editor.

(1)

Eiter, Thomas. editor.

(1)

Eklund, Peter. editor.

(1)

El Hassani, Ibtissam. editor.

(1)

Endler, Markus. author.

(1)

Faber, Wolfgang. editor.

(1)

Fages, François. editor.

(1)

Fermüller, Christian G. editor.

(1)

Fisher, Michael, 1962-

(1)

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

(1)

Fundulaki, Irini. author.

(1)

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

(1)

Furbach, Ulrich. editor.

(1)

Gaag, Linda C. editor.

(1)

Gabbay, Dov M. author.

(1)

Gabbay, Dov M., 1945-

(1)

Geisweiller, Nil. author.

(1)

Gergely, Tamás. author.

(1)

Gero, John S. editor.

(1)

Giese, Martin. editor.

(1)

Giesl, Jürgen. editor.

(1)

Godo, Lluís. editor.

(1)

Goertzel, Ben. author.

(1)

Gonzales, Christophe. editor.

(1)

Gottlob, Georg. editor.

(1)

Governatori, Guido. editor.

(1)

Gramlich, Bernhard. editor.

(1)

Gray, J. O., ed.

(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)

Hamadi, Youssef. editor.

(1)

Hamlen, Kevin W. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Hanft, Alexandre. editor.

(1)

Hanna, Sean. editor.

(1)

Harmelen, Frank. editor.

(1)

Hartanto, Ronny. author.

(1)

Hassanien, Aboul-Ella. editor.

(1)

Hausser, Roland. author.

(1)

Helmer, Sven. editor.

(1)

Henze, Nicola. editor.

(1)

Hermann, Miki. editor.

(1)

Hernandez, Nathalie. editor.

(1)

Herrera, Francisco. editor.

(1)

Howlett, R. J. editor.

(1)

Howlett, Robert J. 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)

Jäschke, Robert. editor.

(1)

Kacprzyk, Janusz. editor.

(1)

Kahraman, Cengiz. editor.

(1)

Kapur, Deepak. editor.

(1)

Katz, Graham. editor.

(1)

Kelemen, Jozef. editor.

(1)

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

(1)

Kolaitis, Phokion. editor.

(1)

Koubarakis, Manolis. editor.

(1)

Kountchev, Roumen. editor.

(1)

Krennwallner, Thomas. editor.

(1)

Krieg-Brückner, Bernd. editor.

(1)

Kroner, Paula. editor.

(1)

Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601

(1)

Kudo, Yasuo. author.

(1)

Lamb, Luís C. author.

(1)

Lamontagne, Luc. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Laugier, Christian. editor.

(1)

Lausen, Georg. editor.

(1)

Lawry, Jonathan. author.

(1)

Le Phuoc, Danh. author.

(1)

Lee, Joohyung. editor.

(1)

Leone, Nicola. editor.

(1)

Li, Ping. editor.

(1)

Lierler, Yuliya. editor.

(1)

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

(1)

Ligozat, Gérard. editor.

(1)

Lin, Fangzhen. editor.

(1)

Liu, Hu-Chen. author.

(1)

Liu, Weiru. editor.

(1)

Liò, Pietro. editor.

(1)

Magdalena, Luis. editor.

(1)

Magnani, Lorenzo. author.

(1)

Marchiori, Massimo. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

Marling, Cindy. editor. (orcid)0000-0002-4155-5155

(1)

Marquis, Pierre. editor.

(1)

Martinez, Maria Vanina. author.

(1)

Masrour, Tawfik. editor.

(1)

May, Wolfgang. editor.

(1)

Małuszyński, Jan. editor.

(1)

McGinty, Lorraine. editor.

(1)

McMillan, Ken. editor.

(1)

Tümünü genişlet

Dil

(137)

Yayın Yılı

-

(14)

(12)

(11)

(11)

(11)

(10)

(10)

(9)

(9)

(9)

(9)

(8)

(7)

(5)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(79)

(31)

Software engineering.

(31)

Information systems.

(23)

Information storage and retrieval systems.

(19)

Computational intelligence.

(17)

(16)

(15)

Database management.

(15)

Computer Communication Networks.

(12)

Artificial Intelligence (incl. Robotics).

(10)

Computational complexity.

(8)

Mathematical Logic and Formal Languages.

(8)

Management information systems.

(7)

Mathematical logic.

(7)

Logics and Meanings of Programs.

(6)

Computer software.

(5)

Information theory.

(5)

Computer logic.

(4)

Computer science—Mathematics.

(4)

Computer simulation.

(4)

Engineering mathematics.

(4)

(4)

Social sciences -- Data processing.

(4)

Application software.

(3)

Computer vision.

(3)

Data Mining and Knowledge Discovery.

(3)

Information Storage and Retrieval.

(3)

Programming Techniques.

(3)

(3)

Cognitive psychology.

(2)

(2)

Data Engineering.

(2)

Discrete Mathematics in Computer Science.

(2)

Engineering -- Data processing.

(2)

Information Systems Applications (incl. Internet).

(2)

Information storage and retrieval.

(2)

Internet of things.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical statistics.

(2)

(2)

Multimedia systems.

(2)

Optical pattern recognition.

(2)

Philosophy (General).

(2)

Systems theory.

(2)

User Interfaces and Human Computer Interaction.

(2)

(1)

Applied Dynamical Systems.

(1)

Aufsatzsammlung.

(1)

(1)

Bioinformatics.

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

Business Information Systems.

(1)

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer communication systems.

(1)

Computer graphics.

(1)

Computer system failures.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Analysis and Big Data.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Decision making.

(1)

(1)

(1)

Electronic data processing.

(1)

Engineering design.

(1)

Entscheidungsprozess

(1)

Genetic epistemology.

(1)

Health Informatics.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Systems and Communication Service.

(1)

Information Systems.

(1)

Knowledge management.

(1)

Künstliche Intelligenz

(1)

Künstliche Intelligenz.

(1)

Math Applications in Computer Science.

(1)

Mathematical geography.

(1)

Mathematical optimization.

(1)

Medical informatics.

(1)

Medical records -- Data processing.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Nonlinear theories.

(1)

Numerical analysis.

(1)

Operations research.

(1)

Pattern recognition.

(1)

Philosophy of mind.

(1)

(1)

Physikalisches System.

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Production engineering.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Qualitative reasoning.

(1)

Qualitatives Schließen.

(1)

Quantitative research.

(1)

(1)

(1)

Science -- Philosophy.

(1)

(1)

Systems biology.

(1)

Technology -- Philosophy.

(1)

(1)

Temporal databases.

(1)

Text processing (Computer science.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

137 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 12

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

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

37.

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework için kapak resmi

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework

Yazar

Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning için kapak resmi

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

Yazar

Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers için kapak resmi

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings için kapak resmi

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Yazar

Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking için kapak resmi

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

Yazar

Addis, Tom. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings için kapak resmi

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Yazar

Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers için kapak resmi

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

Yazar

Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings için kapak resmi

Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

Yazar

Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings için kapak resmi

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

Yazar

Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

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

Yazar

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

Yer Numarası

ONLINE(334092.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE(334264.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 12

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11