Search Results for Nonmonotonic reasoning.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(16)

Gabbay, Dov M., 1945-

(4)

Woods, John (John Hayden)

(4)

Balduccini, Marcello. editor.

(2)

Baral, Chitta. editor.

(2)

Son, Tran Cao. editor.

(2)

Antoniou, G. (Grigoris)

(1)

Artemov, Sergei. editor.

(1)

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

(1)

Brewka, Gerhard. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calimeri, Francesco. editor.

(1)

Cardoso, Amílcar. editor.

(1)

Costa, Ernesto. editor.

(1)

Delgrande, James P. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Eiter, Thomas. editor.

(1)

Erdem, Esra. editor.

(1)

Faber, Wolfgang. editor.

(1)

Gabbay, Dov M. author.

(1)

Gaggl, Sarah. editor.

(1)

Greco, Gianluigi. editor.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Ianni, Giovambattista. editor.

(1)

Janhunen, Tomi. editor.

(1)

John Wiley & Sons, publisher.

(1)

Konar, Amit, author.

(1)

Leone, Nicola. editor.

(1)

Levi, Isaac, 1930-

(1)

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

(1)

Lin, Fangzhen. editor.

(1)

Machado, Penousal. editor.

(1)

Martinez, Maria Vanina. editor. (orcid)

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Nerode, Anil, 1932-

(1)

Nerode, Anil. editor.

(1)

Ortiz, Magdalena. editor.

(1)

Peckol, James K., author.

(1)

Pereira, Francisco. editor.

(1)

Pereira, Luís Moniz.

(1)

Schaub, Torsten. editor.

(1)

Schlechta, Karl.

(1)

Schlechta, Karl. author.

(1)

Schlipf, John. editor.

(1)

Strass, Hannes. editor.

(1)

Terracina, Giorgio. editor.

(1)

Trappl, Robert. editor.

(1)

Truszczynski, Miroslaw. editor.

(1)

Truszczyński, Mirosław. editor.

(1)

Williams, M. A.

(1)

Woltran, Stefan. editor.

(1)

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

(1)

Tümünü genişlet

Dil

(26)

Yayın Yılı

-

(5)

(4)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Artificial intelligence.

(11)

Computer science.

(7)

Nonmonotonic reasoning.

(6)

Software engineering.

(5)

Many-valued logic.

(4)

Computational complexity.

(3)

Formal Languages and Automata Theory.

(3)

(3)

Machine theory.

(3)

Programming Techniques.

(3)

Computer programming.

(2)

Discrete Mathematics in Computer Science.

(2)

Algebraic logic.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Brain -- Computer simulaion.

(1)

(1)

Commonsense reasoning.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer logic.

(1)

Computer science -- Mathematics.

(1)

Conditionals (Logic)

(1)

Database management.

(1)

Discrete mathematics.

(1)

Electronic books.

(1)

(1)

Ensembles flous.

(1)

(1)

(1)

(1)

(1)

(1)

Information technology -- Management.

(1)

KOŞULLULAR (MANTIK)

(1)

(1)

Lissabon (1993)

(1)

(1)

Logic programming -- Congresses.

(1)

Logic, Symbolic and mathematical

(1)

Logic, Symbolic and mathematical.

(1)

(1)

(1)

Logics and Meanings of Programs.

(1)

(1)

Logique symbolique et mathématique.

(1)

Logisch programmeren.

(1)

Logische Programmierung.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

(1)

Modality (Logic)

(1)

Monotonie (wiskunde)

(1)

Nichtmonotone Logik.

(1)

Nichtmonotones Schließen.

(1)

Nonmonotonic reasoning -- Congresses.

(1)

Philosophy of Science.

(1)

(1)

SAĞDUYUYA DAYALI AKILYÜRÜTME.

(1)

Science -- Philosophy.

(1)

Semantics -- Mathematical models.

(1)

Soft computing.

(1)

TECHNOLOGY & ENGINEERING.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Ç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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

26 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3

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.

1.

Nonmonotonic reasoning için kapak resmi

Nonmonotonic reasoning

Nonmonotonic reasoning

Yazar

Antoniou, G. (Grigoris) Williams, M. A.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Yazar

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

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

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings için kapak resmi

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

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:

5.

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Yazar

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

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

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:

7.

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

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

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:

8.

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

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

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:

9.

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

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

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:

10.

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

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

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:

11.

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings için kapak resmi

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

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:

12.

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning için kapak resmi

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

Yazar

Levi, Isaac, 1930-

Yer Numarası

BC 183 L48 1996

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11