FEEDBACK Smiley face

Your search returned 18 results. Subscribe to this search

|
1. A first course in artificial intelligence

by Khemani, Deepak.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : McGraw Hill Education, ©2013Availability: Items available for loan: IIITD [006.3 KHE-F] (1).
Items available for reference: IIITD [CBIA 006.3 KHE-F] (1).
Checked out (3).

2. Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

3. Theory Reasoning in Connection Calculi [electronic resource] /

by Baumgartner, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

4. Grading Knowledge [electronic resource] :Extracting Degree Information from Texts /

by Staab, Steffen [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

5. Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] :Second International Workshop, EMMCVPR’99 York, UK, July 26–29, 1999 Proceedings /

by Hancock, Edwin R [editor.] | Pelillo, Marcello [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

6. Modeling and Using Context [electronic resource] :Third International and Interdisciplinary Conference, CONTEXT 2001 Dundee, UK, July 27–30, 2001 Proceedings /

by Akman, Varol [editor.] | Bouquet, Paolo [editor.] | Thomason, Richmond [editor.] | Young, Roger [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

7. Non-Standard Inferences in Description Logics [electronic resource] /

by Küsters, Ralf [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

8. Rules and Rule Markup Languages for the Semantic Web [electronic resource] :Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings /

by Schröder, Michael [editor.] | Wagner, Gerd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

9. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings /

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

10. Conceptual Structures for Knowledge Creation and Communication [electronic resource] :11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003. Proceedings /

by Ganter, Bernhard [editor.] | Moor, Aldo de [editor.] | Lex, Wilfried [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

11. Automated Reasoning [electronic resource] :Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /

by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

12. Logics in Artificial Intelligence [electronic resource] :9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings /

by Alferes, Jóse Júlio [editor.] | Leite, João [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

13. Algebra, Meaning, and Computation [electronic resource] :Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

14. Modeling and Using Context [electronic resource] :6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings /

by Kokinov, Boicho [editor.] | Richardson, Daniel C [editor.] | Roth-Berghofer, Thomas R [editor.] | Vieu, Laure [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

15. Uncertainty Reasoning for the Semantic Web II [electronic resource] :International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers /

by Bobillo, Fernando [editor.] | Costa, Paulo C. G [editor.] | d’Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Lukasiewicz, Thomas [editor.] | Nickles, Matthias [editor.] | Pool, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

16. Uncertainty Reasoning for the Semantic Web III [electronic resource] :ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /

by Bobillo, Fernando [editor.] | Carvalho, Rommel N [editor.] | Costa, Paulo C.G [editor.] | d'Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Lukasiewicz, Thomas [editor.] | Nickles, Matthias [editor.] | Pool, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

17. Language, Logic, and Computation [electronic resource] :12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /

by Silva, Alexandra [editor.] | Staton, Sam [editor.] | Sutton, Peter [editor.] | Umbach, Carla [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

18. Membrane Computing [electronic resource] :18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /

by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in