Humanist Discussion Group, Vol. 17, No. 822.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
[1] From: <dgants@rogers.com> (66)
Subject: JELIA'04 - 9th European Conference on Logics in
Artificial
[2] From: Lorenzo Magnani <lmagnani@unipv.it> (100)
Subject: MBR04 extended deadline June 13, 2004
--[1]------------------------------------------------------------------
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
JELIA'04
Lisbon, Portugal, September 27-30
http://centria.di.fct.unl.pt/~jelia2004
Submission deadline: May 9th (abstracts due May 6th)
/------------------------------------------------------------------/
INTRODUCTION
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.
AIM AND SCOPE
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
nature.
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]
--[2]------------------------------------------------------------------
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
******************************************************************
MODEL-BASED REASONING IN SCIENCE AND ENGINEERING
ABDUCTION, VISUALIZATION, AND SIMULATION
MBR'04
Pavia, Italy, December 16-18, 2004
Chairs: Lorenzo Magnani and Nancy J. Nersessian
******************************************************************
Up-to date information
on the conference will be found at
http://www.unipv.it/webphilos_lab/courses/progra1.html
******************************************************************
GENERAL INFORMATION
From Thursday 16 to Saturday 18 December 2004 (three days) the
International Conference
"MODEL-BASED REASONING IN SCIENCE AND ENGINEERING:
ABDUCTION, VISUALIZATION, AND SIMULATION"
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.
http://www.wkap.nl/prod/b/0-306-47244-9
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.
http://www.wkap.nl/prod/b/0-306-46292-3
(Chinese edition, translated and edited by Q. Yu and T. Wang, China Science
and Technology Press, Beijing, 2000).
PROGRAM
The conference will deal with the logical, epistemological, and cognitive
aspects
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.
RELEVANT RESEARCH AREAS
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
INVITES SPEAKERS WHO ALREADY ACCEPTED TO GIVE
A PRESENTATION AT MBR'04
- 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
Education,
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