Search Results for Reasoning.

1.

Case-Based Approximate Reasoning

Yazar

Hüllermeier, Eyke. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-5695-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Neural-Symbolic Cognitive Reasoning

Yazar

d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73246-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Robots, Reasoning, and Reification

Yazar

Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-87488-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Linked Data Storing, Querying, and Reasoning

Yazar

Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73515-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Case-Based Reasoning A Textbook

Yazar

Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334902.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Decentralized Reasoning in Ambient Intelligence

Yazar

Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4168-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Cognitive Reasoning A Formal Approach

Yazar

Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68875-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Modelling and Reasoning with Vague Concepts

Yazar

Lawry, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-30262-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

A General Framework for Reasoning On Inconsistency

Yazar

Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332107.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6750-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Domain-Level Reasoning for Spoken Dialogue Systems

Yazar

Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9728-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Constraint Satisfaction Techniques for Agent-Based Reasoning

Yazar

Neagu, Nicoleta. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137139

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Yazar

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80283-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-85352-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63498-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings

Yazar

Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72407-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63501-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

20.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Yazar

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Yazar

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61581-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Yazar

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Yazar

Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

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:

29.

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

Yazar

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

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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

Yazar

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

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

Yazar

Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334719.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

Yazar

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

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

Yazar

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

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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

Yazar

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

Yer Numarası

ONLINE(334728.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

Yazar

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

Yer Numarası

ONLINE(334848.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings

Yazar

Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

Yazar

Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

Yazar

Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

Yazar

Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

Yazar

Liu, Weiru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings

Yazar

Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Yazar

Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Yazar

Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Yazar

Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

Yazar

Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots

Yazar

Hartanto, Ronny. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures

Yazar

Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings

Yazar

Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

Yazar

Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-91216-11-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Yazar

Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Yazar

Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Yazar

Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Yazar

Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

Yazar

Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings

Yazar

Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

Yazar

Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Yazar

Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings

Yazar

McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Yazar

Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Yazar

Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

Yazar

Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Yazar

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

Yazar

Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Yazar

Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71070-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

Yazar

Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85502-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

Yazar

Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85658-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Yazar

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Yazar

Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88737-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Yazar

Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88808-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Yazar

Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89439-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

Yazar

Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89765-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

Yazar

Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-87601-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

Yazar

Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72200-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

Yazar

Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72982-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Yazar

Olivetti, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73099-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

Yazar

Mellouli, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75256-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

Yazar

Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74141-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Yazar

Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74615-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Yazar

Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75560-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers

Yazar

Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

Yazar

Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello

Yazar

Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11829263

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

Yazar

Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11837787

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Yazar

Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11916277

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

Yazar

Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11805816

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Yazar

Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11814771

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

Yazar

Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11853107

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Reasoning Robots The Art and Science of Programming Robotic Agents

Yazar

Thielscher, Michael. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3069-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

Yazar

Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138799

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Yazar

Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11546207

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

Yazar

Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11552222

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Yazar

Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11591191

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

Yazar

Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11526988

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Yazar

Beckert, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11554554

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

Yazar

Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11536406

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

Yazar

Godo, Lluís. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138862

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Yazar

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106663

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers

Yazar

Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106616

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Yazar

Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106931

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Yazar

Cellucci, Carlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336157.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-6091-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Yazar

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78750-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72044-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Yazar

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-77019-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78709-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Multi-valued Logic for Decision-Making Under Uncertainty

Yazar

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74762-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

Yazar

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84595-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

Yazar

Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-89103-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Structures of Computing A Guide to Practice-Oriented Theory

Yazar

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-54358-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Yazar

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55630-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Yazar

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61716-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings

Yazar

Guo, Jinyang. editor. (orcid)0000-0003-1956-3367 Ma, Yuqing. editor. Ding, Yifu. editor. Gong, Ruihao. editor. Zheng, Xingyu. editor. (orcid)0009-0009-6283-7635

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6125-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50524-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Informatics and machine learning : from Martingales to metaheuristics

Yazar

Winters-Hilt, Stephen, author.

Yer Numarası

Q325.5 .W558 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Models of Computation

Yazar

Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55665-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I

Yazar

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Yazar

Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part II

Yazar

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Yazar

Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Advances in Artificial Intelligence 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings

Yazar

Khoury, Richard. editor. Drummond, Christopher. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Yazar

Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

Yazar

Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Yazar

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Decision Procedures An Algorithmic Point of View

Yazar

Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)