Call For Participation
                       Workshop on Logic and Learning
                         Affiliated with LICS 2001
                  June 19-20, 2001, Boston, Massachusetts

                  http://www.eecs.tufts.edu/~roni/LicsWksp/


The workshop aims to focus on logic-based results and techniques for
machine learning, fostering further understanding of the use of logic
in learning.  The workshop combines invited talks - some of which will
give overviews of various approaches - and contributed papers
presenting recent results.

It is possible to register for the workshop separately or in addition
to LICS registration.  Please note that the early registration date
for LICS is Friday, 25 May 2001, and that some hotel pre-booked rooms
require reservations before that. For more information please see the
workshop web site.

If you intend to participate, please send an email to
the organizers (roni@eecs.tufts.edu  or  gyt@uic.edu).


Invited talks:

       P.Flach: The logic of learning: logic and knowledge
                representation in machine learning
       L.Hellerstein: Learning DNF formulas: a survey
       A.Sharma (title to be announced)
       L.Valiant: Robust logics

Contributed talks:

       K.Inoue: Inverse entailment for full clausal theories
       A.Yamamoto: Hypothesis finding based on upward refinement
           of residue hypotheses
       C.Costa Florencio: An avalanche of hypotheses
       T.Sato, Y.Kameya: Fast EM learning of a family of PCFGs
           in a logical-statistical framework
       M.Kikuchi, Y.Kakuda: On channels between knowledge and
           objective worlds
       R.Basilio, G.Zaverucha, V.C.Barbosa: First-order Cascade
           ARTMAP
       M.Arias, R.Khardon: Learning closed Horn expressions
       M.Grohe, Gy.Turan: Finite model theory and learnability
-------------------
MLnet community list
http://www.mlnet.org/mlnet2/services/mlnet-community.html


************************************************************
************************************************************



                              Call For Papers
                       Workshop on Logic and Learning
                         Affiliated with LICS 2001
                  June 19-20, 2001, Boston, Massachusetts

                  http://www.eecs.tufts.edu/~roni/LicsWksp/


Logic has been used as the underlying representation language in many areas
of AI including machine learning. Learnability of logical expressions has
been studied in many paradigms including PAC learning, query based learning,
inductive inference, and inductive logic programming. There are theoretical
results on learning in propositional logic as well as for logic programs,
description logic, and fragments of first-order logic. The techniques
applied are probabilistic and combinatorial, recursion theoretic, proof
theoretic, and model theoretic.

The workshop aims to focus on such logic-based results and techniques for
learning, fostering further understanding of the use of logic in learning.
The workshop has a two-fold objective: to provide an introduction to the
area for those who work in other LICS areas and are interested in applying
logic to learning, and to provide a forum for research in the area of logic
learning. The workshop will feature invited talks by experts in the field,
and contributed talks presenting new research results. Confirmed invited
speakers include: Peter Flach (University of Bristol, UK), Lisa Hellerstein
(Polytechnic University, USA), Arun Sharma (University of New South Wales,
Australia), and Leslie Valiant (Harvard University, USA).

We invite submissions of papers presenting new results and/or position
papers highlighting particular aspects of logic and learning. No publication
of proceedings is planned but accepted papers will be collected in a booklet
of workshop notes. A selection of papers from the workshop may be published
in a special issue of The Annals of Mathematics and Artificial Intelligence.
Participants will be invited to submit full versions for this special issue.

Topics of interest include (but are not limited to): inductive logic
programming, logical aspects of inductive inference, PAC and related
learning models for logic, finite model theory and learning, logical aspects
of natural language learning.

Submitted papers should be extended abstracts of 2-6 pages in length. Papers
should be submitted, preferably in electronic form in Postscript format, to:
roni@eecs.tufts.edu. Alternatively, printed copies can be sent to :
  Roni Khardon
  EECS Department, Tufts University
  161 College Ave., Medford,
  MA 02155, USA

Important dates: submission: 3/15, notification of acceptance: 4/15.

Workshop Organizers:
   Roni Khardon, Tufts University, USA, email: roni@eecs.tufts.edu
   György Turán, University of Illinois at Chicago, USA, email: gyt@uic.edu

Program Committee:
   N. Bshouty (Technion, Israel)
   J. Lloyd (ANU, Australia)
   E. Martin (UNSW, Australia)
   S. Muggleton (University of York, UK)
   P. Tadepalli (Oregon State University, USA)
   A. Yamamoto (Hokkaido University, Japan)

Web Info:
   * Workshop Web Page:
     http://www.eecs.tufts.edu/~roni/LicsWksp/
   * The IEEE Symposium on Logic in Computer Science (LICS) 2001
     http://www.cs.bu.edu/faculty/mairson/LICS01/index.html
   * LICS main web site http://www.math.uic.edu/lics/
-------------------
MLnet community list
http://www.mlnet.org/mlnet2/services/mlnet-community.html