Algorithmic Learning Theory 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings /

Algorithmic Learning Theory 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings /

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithmic Learning Theory, ALT'97, held in Sendai, Japan, in October 1997. The volume presents 26 revised full papers selected from 42 submissions. Also included are three invited papers by leading researchers...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Li, Ming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Maruoka, Akira (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:	1st ed. 1997.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1316
Θέματα:	Artificial intelligence. Mathematical logic. Artificial Intelligence. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings /
Έκδοση: (1999)

Fuzzy Logic in Artificial Intelligence IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers /
Έκδοση: (1999)

Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
Έκδοση: (1998)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
Έκδοση: (1998)

Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
Έκδοση: (2002)

Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings /
Έκδοση: (1998)

Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997)

Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings /
Έκδοση: (1999)

Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents /
ανά: Kern-Isberner, Gabriele, κ.ά.
Έκδοση: (2001)

Learning Language in Logic
Έκδοση: (2000)

Nonmonotonic Logics Basic Concepts, Results, and Techniques /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (1997)

The Automation of Reasoning with Incomplete Information From Semantic Foundations to Efficient Computation /
ανά: Schaub, Torsten, κ.ά.
Έκδοση: (1997)

Applications of Uncertainty Formalisms
Έκδοση: (1998)

Challenges for Action Theories
ανά: Thielscher, Michael, κ.ά.
Έκδοση: (2000)

Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
Έκδοση: (2000)

Computational Learning Theory Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings /
Έκδοση: (1997)

Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
Έκδοση: (1998)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Έκδοση: (1997)

Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings /
Έκδοση: (1998)

Automated Deduction in Classical and Non-Classical Logics Selected Papers /
Έκδοση: (2000)

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers /
Έκδοση: (2018)

AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings /
Έκδοση: (2003)

Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
Έκδοση: (1997)

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings /
Έκδοση: (2019)

Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings /
Έκδοση: (1998)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Έκδοση: (2002)

Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /
Έκδοση: (1998)

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
Έκδοση: (1998)

Automata Implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers /
Έκδοση: (1998)

Grammatical Inference: Algorithms and Applications 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings /
Έκδοση: (2004)

Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /
Έκδοση: (2004)

Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
Έκδοση: (2002)

AI 2001: Advances in Artificial Intelligence 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings /
Έκδοση: (2001)

Advances in Artificial Intelligence 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings /
Έκδοση: (2002)

Machine Learning: ECML 2003 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Machine Learning: ECML 2002 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings /
Έκδοση: (2002)

Learning Classifier Systems From Foundations to Applications /
Έκδοση: (2000)

Coevolutionary Fuzzy Modeling
Έκδοση: (2004)

Non-Standard Inferences in Description Logics From Foundations and Definitions to Algorithms and Analysis /
ανά: Küsters, Ralf, κ.ά.
Έκδοση: (2001)

Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Έκδοση: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών