17.822 conferences

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Fri May 07 2004 - 16:48:18 EDT

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                   Humanist Discussion Group, Vol. 17, No. 822.
           Centre for Computing in the Humanities, King's College London
                         Submit to: humanist@princeton.edu

       [1] From: <dgants@rogers.com> (66)
             Subject: JELIA'04 - 9th European Conference on Logics in

       [2] From: Lorenzo Magnani <lmagnani@unipv.it> (100)
             Subject: MBR04 extended deadline June 13, 2004

             Date: Sat, 24 Apr 2004 07:52:38 +0100
             From: <dgants@rogers.com>
             Subject: JELIA'04 - 9th European Conference on Logics in Artificial

    From: "JELIA'04" <jelia04@di.fct.unl.pt>
    Date: 2004/04/23 Fri AM 05:03:27 EDT

                               CALL FOR PAPERS
         9th European Conference on Logics in Artificial Intelligence
                      Lisbon, Portugal, September 27-30
             Submission deadline: May 9th (abstracts due May 6th)

    Logics have, for many years, laid claim to providing a formal
    basis for the study and development of applications and
    systems in Artificial Intelligence. With the depth and maturity
    of formalisms, methodologies and logic-based systems today,
    this claim is stronger than ever.
    The European Conference on Logics in Artificial Intelligence (or
    Journées Européennes sur la Logique en Intelligence
    Artificielle - JELIA) began back in 1988, as a workshop, in
    response to the need for a European forum for the discussion
    of emerging work in this field. Since then, JELIA has been
    organised biennially, with English as official language, and with
    proceedings published in Springer-Verlag's Lecture Notes in
    Artificial Intelligence. Previous meetings took place in Roscoff,
    France (1988), Amsterdam, Netherlands (1990), Berlin,
    Germany (1992), York, U.K. (1994), Évora, Portugal (1996),
    Dagstuhl, Germany (1998), Málaga, Spain (2000) and Cosenza,
    Italy (2002).
    The increasing interest in this forum, its international level
    with growing participation from researchers outside Europe,
    and the overall technical quality, has turned JELIA into a major
    biennial forum for the discussion of logic-based approaches to
    artificial intelligence.

    The aim of the 9th European Conference on Logics in Artificial
    Intelligence, JELIA'04, is to bring together active researchers
    interested in all aspects concerning the use of logics in
    artificial intelligence to discuss current research, results,
    problems and applications of both a theoretical and practical
    JELIA strives to foster links and facilitate cross-fertilisation of
    ideas among researchers from various disciplines, among
    researchers from academia and industry, and between
    theoreticians and practitioners. Authors are invited to submit
    papers presenting original and unpublished research in all
    areas related to the use of Logics in AI. A non-exhaustive list of
    topics of interest includes:
    -Abductive and inductive reasoning
    -Applications of logic-based systems
    -Automated reasoning and theorem proving
    -Computational complexity and expressiveness in AI
    -Description logics
    -Foundations of logic programming and knowledge-based systems
    -Hybrid reasoning systems
    -Knowledge representation and reasoning
    -Logic based AI systems
    -Logic based applications to the Semantic Web
    -Logic based planning and diagnosis
    -Logic programming and nonmonotonic reasoning
    -Logics and multi-agent systems
    -Logics in machine learning
    -Modal, temporal, spacial and hybrid logics
    -Non-classical logics
    -Nonmonotonic reasoning, belief revision and updates
    -Reasoning about actions, causal reasoning and causation
    -Uncertain and probabilistic reasoning

    [material deleted]

             Date: Sat, 24 Apr 2004 07:56:22 +0100
             From: Lorenzo Magnani <lmagnani@unipv.it>
             Subject: MBR04 extended deadline June 13, 2004

    EXTENDED DEADLINE - Deadline June 13, 2004



                    Pavia, Italy, December 16-18, 2004

              Chairs: Lorenzo Magnani and Nancy J. Nersessian


                           Up-to date information
                    on the conference will be found at



      From Thursday 16 to Saturday 18 December 2004 (three days) the
    International Conference
    will be held at the University of Pavia (near Milan, Italy).

    The conference continues the theme of the
    Conferences "Model-Based Reasoning in Scientific Discovery" MBR'98 and
    "Model-Based Reasoning: Scientific Discovery, Technological Innovation, and
    Values" MBR'01

    The previous volumes derived from those conferences are:

    L. Magnani and N. J. Nersessian (eds.) (2002), Model-Based Reasoning.
    Science, Technology, Values,
    Kluwer Academic/Plenum Publishers, New York.
    L. Magnani, N. J. Nersessian, and C. Pizzi (eds.) (2002), Logical and
    Computational Aspects of Model-Based Reasoning,
    Kluwer Academic, Dordrecht. http://www.wkap.nl/prod/b/1-4020-0791-4
    L. Magnani, N. J. Nersessian, and P. Thagard (eds.) (1999), Model-Based
    Reasoning in Scientific Discovery,
    Kluwer Academic/Plenum Publishers, New York.
    (Chinese edition, translated and edited by Q. Yu and T. Wang, China Science
    and Technology Press, Beijing, 2000).


    The conference will deal with the logical, epistemological, and cognitive
    of modeling practices employed in science and engineering, including
    computational models of such practices. We solicit papers that examine
    the role of abduction, visualization, and simulation in model-based reasoning
    from philosophical, historical, sociological, psychological,
    or computational perspectives.


    We call for papers that cover topics pertaining to
    model-based reasoning in science and engineering from the following list:

    - abduction
    - visual, spatial, imagistic modeling and reasoning
    - simulative modeling
    - the role of diagrammatic representations
    - computational models of visual and simulative reasoning
    - causal and counterfactual reasoning in model construction
    - visual analogy
    - thought experimenting
    - logical analyses related to model-based reasoning
    - manipulative reasoning
    - distributed model-based reasoning
    - embodiment in model-based reasoning
    - model-based reasoning and technological innovation


    - Atocha Aliseda, Instituto de Investigaciones Filosoficas Universidad
       Nacional Autonoma de Mexico (UNAM), Mexico City, MEXICO
    - Lawrence W. Barsalou,Department of Psychology,Emory University
       Atlanta, GA, USA
    - Diderik Batens, Centre for Logic and Philosophy of Science,
       Universiteit Gent, Ghent, BELGIUM
    - Walter Carnielli, CLEHC State University of Campinas - UNICAMP,
        Campinas, SP, Brazil
    - Balakrishnan Chandrasekaran, Laboratory for Artificial Intelligence Research,
       Department of Computer and Information Sience, Columbus, OH, USA.
    - Kenneth D. Forbus, Walter P. Murphy Professor of Computer Science and
       Northwestern University, Evanston, IL, USA
    - Dov Gabbay, Department of Computer Science, King's College, London, UK
    - David Gooding, Science Studies Centre, Department of Psychology
       University of Bath, Bath, UK
    - Mary Hegarty, Department of Psychology, University of California,
       Santa Barbara, CA, USA
    - Theo A.F. Kuipers, Dept. of Philosophy, University of Groningen,
       Groningen, NETHERLANDS
    - Michael Leyton, DIMACS, Busch Campus, Rutgers University,
       New Brunswick, NJ, USA
    - Li Ping, Zhongshan University, Guangzhou, P.R.CHINA
    - Lorenzo Magnani, Department of Philosophy, University of Pavia,
       Pavia, ITALY and Baruch College, The City University of New York,
       New York, USA
    - Nancy J. Nersessian, College of Computing, Georgia Institute of
       Technology, Atlanta, GA, USA
    - Claudio Pizzi, Department of Philosophy and Social Sciences,
       University of Siena, Siena, ITALY
    - Qiming Yu, Department of Philosophy, Central University for Nationalities,
        Bejing, P.R. CHINA
    - Friedrich Steinle, Max-Planck-Institut, Berlin, GERMANY
    - John Woods, Department of Philosophy, University of British Columbia,
       Vancouver and Department of Computer Science, King's College, London, UK
    - Andrea Woody, Department of Philosophy, University of Washington
       Seattle, WA, USA

    [material deleted]

    This archive was generated by hypermail 2b30 : Fri May 07 2004 - 16:48:58 EDT