Learning Language in Logic

Learning Language in Logic

This volume has its origins in the ?rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after the Ninth International Workshop on Inductive Logic Programming (ILP'99) and the Sixteenth International Conference on Machine Learning (ICML�...

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

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

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

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

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

Algorithmic Learning Theory 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings /
Έκδοση: (1997)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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)

Logical Aspects of Computational Linguistics Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers /
Έκδοση: (2001)

Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings /
Έκδοση: (2001)

New Trends in Formal Languages Control, Cooperation, and Combinatorics /
Έκδοση: (1997)

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

Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers /
Έκδοση: (1997)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

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

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)

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)

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

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

Computational Learning Theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Έκδοση: (2001)

Computational Learning Theory 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

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

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

Cannot write session to /tmp/vufind_sessions/sess_md4h0du98iv70od7sdd4b7ipsb