募捐 9月15日2024 – 10月1日2024 关于筹款

Logics in Artificial Intelligence: 10th European...

Main
Computers - Computer Science
Logics in Artificial Intelligence: 10th...

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Computer Science

年:

2006

出版:

1

出版社:

Springer-Verlag Berlin Heidelberg

语言:

english

页:

520

ISBN 10:

3540396276

ISBN 13:

9783540396277

系列:

Lecture Notes in Computer Science 4160 : Lecture Notes in Artificial Intelligence

文件:

PDF, 4.75 MB

IPFS:

,

english, 2006

线上阅读

正在转换

转换为失败

您可能会感兴趣

Philippe Balbiani (auth.), Sebastian Link, Henri Prade (eds.) — Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

Francesco Calimeri, Nicola Leone, Marco Manna — Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Pietro Baroni (editor); Yì N. Wáng (editor); Christoph Benzmüller (editor) — Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran (eds.) — Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Christoph Beierle, Alex Dekhtyar (eds.) — Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Marc Gyssens, Guillermo Simari (eds.) — Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Loizos Michael, Antonis Kakas (eds.) — Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Marcello Balduccini, Tomi Janhunen — Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, 14th International Conference

Franz Baader, Andrei Voronkov — Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Michael Kifer (auth.), Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.) — Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) — Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.) — Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings

Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà , Franco Turini (auth.), Antonis C. Kakas, Fariba Sadri (eds.) — Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Stefania Costantini, Arianna Tocchio (auth.), Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone (eds.) — Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

N. G. de Bruijn (auth.), Harrie de Swart (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley (auth.), Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf (eds.) — Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Thierry Denœux (auth.), Khaled Mellouli (eds.) — Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) — Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang (auth.), Fariba Sadri, Ken Satoh (eds.) — Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.) — Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.) — Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.) — Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Sebastian Link, Henri Prade — Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings (Lecture ... Applications, incl. Internet Web, and HCI)

Philippe Balbiani (auth.), Sebastian Link, Henri Prade (eds.) — Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

Gerhard Brewka (auth.), Tomi Janhunen, Ilkka Niemelä (eds.) — Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Gerhard Brewka (auth.), Tomi Janhunen, Ilkka Niemelä (eds.) — Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, (eds.) — Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz

Andrei Voronkov & Christoph Weidenbach (eds.) — LNCS 7797 - Programming Logics

Andrei Voronkov, Christoph Weidenbach — Programming Logics: Essays in Memory of Harald Ganzinger

Anthony Hunter (auth.), Weiru Liu, V. S. Subrahmanian, Jef Wijsen (eds.) — Scalable Uncertainty Management: 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings

Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

关键词