Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2002
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computer programming / Computer programming / software engineering / computer science / Formal Languages and Automata Theory / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Programming Techniques
ISBN:	9783540441908
EAN-Code:	9783540441908
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #2424 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1800 gr
Seiten:	567
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

TheEuropeanConferenceonLogicsinAIprovidesamajorbiennialforumforthe discussion of logic-oriented approaches to arti?cial intelligence. Following pre- ous workshops held in France (1988), The Netherlands (1990), Germany (1992), England (1994), Portugal (1996), Germany (1998), and Spain (2000) the eighth conference was in Cosenza, Italy, September 23¿26, 2002. The international level and the overall technical quality of this event is now well established. As a c- sequence, the Program Committee wished to explicitly mark JELIA 2002 as a milestone by promoting the event from a ¿Workshop¿ to a ¿Conference¿. Theaimwastobringtogetheractiveresearchersinterestedinallaspectsc- cerning the use of logics in arti?cial intelligence to discuss current research, - sults,problems,andapplicationsofboththeoreticalandpracticalnature. JELIA strived to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia, industry, and g- ernment, and between theoreticians and practitioners. ThetechnicalprogramofJELIA2002comprisedthreeinvitedtalksthatwere given by Georg Gottlob, Michael Gelfond, and Moshe Y. Vardi and 41 refereed contributions selected by the Program Committee amongst more than 100 s- mittedpapers. Asapartofthetechnicalprogram,theconferencefeaturedas- cial session consisting of 11 system presentations. Finally, the program included three tutorials by V. S. Subrahamanian, Dino Pedreschi and Fosca Giannotti, and Gerald Pfeifer.