Article View: fj.lang.prolog
Article #139[CFP] Industrial Applications of Prolog INAP'96
From: Oskar Bartenstein
Date: Wed, 19 Jun 1996 00:00
Date: Wed, 19 Jun 1996 00:00
339 lines
13944 bytes
13944 bytes
��9��Prolog���ȱ��ѥ���ݥ����� INAP'96
- ��ʸ�罸
- INAP'96 Program Framework (TENTATIVE)
- INAP'96 Information Request Sheet
INAP-96
��9��Prolog���ȱ��ѥ���ݥ�����
Symposium & Exhibition on Industrial Applications
of Prolog
1996ǯ10��16 - 19��
�����Ω�ʳص������, ����������
=================================================
��ʸ�罸
--------
��9��Prolog���ȱ��ѥ���ݥ����� (INAP'96)�ϡ�1996ǯ10��16-19��ˡ� �����Ω
�ʳص�����ؤdz��Ť���ޤ��� INAP�ϡ�Prolog�λ���ʬ��Ǥα��Ѥ˷Ȥ��
�Ƥ��븦��ԡ���̳�Ԥ� ���泫ȯ�Υ����ǥ��������ȯ�ηи���ͭ����
����Υե������Ǥ��� ��Ĵ�ֱ顦���Թֱ顦���ֱ̹顦�ѥͥ�ǥ�������
����� Ÿ����������ӿ��ӲԤʤ��ޤ���
ȯɽ������ˡ
------------
�����������ڴ�¤ޤǤˡ�ȯɽ�Ԥλ�̾(�դ꤬���դ�)���Żҥ�륢�ɥ쥹
�� ���ꡦ��°�����á��ե������ߥ��ֹ桦��ʸ��̾(���ܸ���ʸ�ξ��ϡ���
̾�� ���ξ��)����������겼������ ��ʸ���Ƥ����ܸ�ޤ��ϱѸ��A4��
8�ڡ������⡢ ȯɽ�����ܸ�ޤ��ϱѸ��20-30ʬ����Ǥ���
������������ 1996ǯ6��20��
�ܺ�Ϣ�� 1996ǯ7��20��
�������� 1996ǯ9��20��
INAP���о�ʬ��
--------------
Prolog�ϡ����Ƥι��٤ʥץ?��ߥ���Ȥ��ơ��ޤ������͵��Ҹ��졦
����ǽ�Ѹ��졦���ѥץ?��ߥ���Ȥ����Τ��Ƥ��ޤ���
Prolog���Ĵ�Ȥ��������ƥ�λ��ȱ��Ѥ�����Ū�ˤ�к�Ū�ˤ� ����������
�Ƥ����Τ�����ơ� ����ʬ��Υ桼���������̡�������ɬ����������������
���礦����ˡ� �ط��Ԥ˾�������������ޤ뤳�Ȥ�ɬ�פˤʤäƤ���
������
INAP�ϡ����ʡ�������������ӥ������եȥ��������ؤˤ����� Prolog��
���Ѥη�̤���Ӥ���ǽ�ϤˤĤ��ơ� �ޤ�������Ū���к�Ū���������������
��ɬ�פ���ġ��롦�ץ?��ߥ��ѡ�ɸ��ˤĤ����ä��礦�ե�����
��Ǥ���
ȯɽ��˾�Ԥϡ�
- ����������� - �����ȡ����˥����
- �ӥ��ͥ��ץ?�� - ���쥯�ȥ�˥å������ޡ���
- �߷� - ʸ�����
- �������˥���� - ��Ŭ��
- �ʼ����� - �ޥ����ǥ���
- �Ļ벽
��ʬ��뤤�Ϥ���ʳ���ʬ���Prolog�α��Ѥ˴ؤ���ȯɽ����礷�Ʋ�����
��
��ʸ�����褪����䤤��碌��:
-----------------------------
INAP��̳��
��105 ����Թ����;�Į2-12-14 Ϣ�����
Tel 03-3433-2543 Fax 03-5403-7216
ren.associates@jsn.justnet.or.jp
http://www.biz.isar.de/ifcomputer/inap96/
Ÿ������Ԥ�����դ��Ƥ��ޤ���Ʊ����ʸ������ޤ� ���䤤��碌��������
���:
=====
INAP �¹Ѱ���
����Prolog����
�ץ?���Ѱ�Ĺ:
ʡ�� ��졢��Ω�ʳص������
�ץ?���Ѱ�:
��ã ͳ�Ρ��������
Oskar Bartenstein, IF Computer, Japan
Key-Sun Choi, KAIST, Center for Artificial Intelligence Research, Korea
Hon Wai Chun, City University, Hong Kong
Andrew Davison, University of Melbourne, Australia
Robin Drogemuller, James Cook Univ of North Queensland, Australia
Alexander Herold, ECRC, Germany
�渶 Ʃ��������
�� ����������
Geun Sik Jo, Inha University, Korea
Uk Kim, Hong-Ik University, Korea
�� ��ˮ���������å�
�� ���������
Ĺ߷ �����彣�������
���� ���ݻҡ��뼯���Ųʳص������
��� δ�硢����
David Pearce, German Research Center for Artificial Intelligence, Germany
Alli Roth, Prolog Management Group, UK
Roger Scowen, National Physical Laboratory, UK
Gert Smolka, German Research Center for Artificial Intelligence, Germany
��¼ ľǷ���������
���� ��Ϻ���������
���� ��ˡ�ʡ���������
���� δͺ���������
���� �������彣�������
�ȹ� �������������
���� �졢�����ر����
Matthew Yuen, Univ. of Science and Technology, Hong Kong
����:
���� ��Ƿ���Żҵ�����縦���
���� ���ס��Żҵ�����縦���
����:
Association of Logic Programming
bit ����ԥ塼����������
Compulog Net
EU-Japan Centre for Industrial Cooperation
European Computer Industry Research Centre
German Research Center for Artificial Intelligence
����ɥ��ľ�����Ľ�
German National Research Center for Computer Science
International Society for Applied Intelligence
International Society for Productivity Enhancement
����ǧ�βʳز�
����ǽ�ز�
Korean Advanced Institute of Science and Technology
Practical Application of Prolog
Prolog Management Group
���ܥ�ܥåȳز�
��̳��:
Ϣ���
INAP'96 Program Framework (TENTATIVE) update 96/06/17
==============================================================
Overview of Special Focus Sessions, Invited Keynotes,
Tutorials, and early bird paper submissions.
Advanced Languages
------------------
1 (tutorial)
Norbert Fuchs, Rolf Schwitter (PENDING)
University of Zurich, Switzerland
ACE/Controlled English for executable specifications
2 (tutorial)
Joe Armstrong
Ericsson, Sweden
Erlang - a survey of the language and its industrial applications
3 (tutorial)
Fergus Henderson
The University of Melbourne, Australia
Mercury - a declarative programming language for
industrial-strength applications
4 (tutorial)
Francis G. McCabe
Fujitsu Laboratories Ltd., Japan
April - An Agent Programming Language for the Internet
Internet Technologies
---------------------
5 (invited keynote)
Paul Tarau
University of Moncton, Canada
Logic Programming and Virtual Worlds
6 (tutorial)
Mary Kroening et al (PENDING)
Amzi! inc., USA
The Amzi Web Logic Server for HTML/CGI applications
7 (paper)
Stephane Bressan
ECRC, Germany
Philippe Bonnet
Bull, France
The ECLiPSe HTTP-Library
8 (tutorial)
Andrew Davison
Prince of Songkla University, Thailand
LogicWeb: Enhancing the Web with Logic Programming
Software Engineering and Quality Management
-------------------------------------------
9 (invited keynote)
Karl Reed
La Trobe University, Australia
Towards an Engineering Discipline ...The Nature of Software Engineering,
Problems, Futures and Directions
10 (tutorial)
Gerl Venzl et al
Siemens AG Corporate R&D, Germany
Boosting the quality and maintainability of
Prolog applications by new static analysis techniques.
11 (tutorial)
David Sedlock (PENDING)
STEP GmbH, Germany
The Task Manager - Software Project Management with WWW
Traffic Systems & Decision Support
----------------------------------
12 (paper)
Cristina Baboescu
The University of Electro-Communications
(Railway Technical Research Institute), Japan
Constraint Logic Implementation of a Decision Support System
for Transportation Planning
13 (paper)
Virginia Dignum, Jan van der Vorst
NedCar BV., Netherlands
Frank Dignum
Eindhoven University of Technology, Netherlands
Datamining in a vehicle configuration system using Prolog
14 (paper)
Leo Obrst, Krishna Nanda Jha, Gary Coen
Boeing Helicopters, USA
Mass Change of On-line Textual Databases using
Natural Language Processing
Agents and Cooperative Systems
------------------------------
15 (tutorial)
Hiroki "Hammer" Ohama
NTT Data Corporation, Japan
Application of SRI Open Agent Architecture to Information Retrieval
Other Sessions
--------------
16 (paper)
Helen Lowe
Napier University, Scotland
Proof Planning & Configuration
17 (paper)
Masayoshi Takada
Mitsubishi Chemical, Japan
Production Scheduling System introducing CSP of operator's skill
���Ŀ����ʤ��������ޤ��褷��
��ɩ���س������ �������� �ù������ѥ���
��ȼԥ�������������Ƴ�������������塼������ƥ�
18 (paper)
Takanori Imaki, Yoshihiro Adachi, Kensei Tsuchida, Takeo Yaku
Toyo University, Japan
Tree Drawing by Constraints Logic Programming
���ڹ�ů ��ãͳ�� ���ĸ��� �������
������ع��������ز�
��������ץ?��ߥˤ���ڤ�����ġ���
19 (paper)
Gabriella Kokai
University of Erlangen-Nurnberg, Germany
Zoltan Alexin
Jozsef Attila University, Hungary
Tibor Gymothy
Hungarian Academy of Sciences
Learning Biomedical Patterns
INAP'96 Information Request Sheet Fax +81-3-5403-7216
========================================================
TO: INAP
��105 ����Թ����;�Į2-12-14��2��ӥ�
�������Ϣ��踦���̳��
Ȭ�ڶ� ��
Tel +81-3-3433-2543
Fax +81-3-5403-7216
ren.associates@jsn.justnet.or.jp
���INAP'96�˶�̣������ޤ�:
o ��ʸȯɽ�������Ȼפ��ޤ���������̾��
________________________________________________
o �ȿ�����ɽ�Ȥ��ơ����ä������ȹͤ��Ƥ��ޤ���
��������äƲ�������
o INAP�˻��ä������ȹͤ��Ƥ��ޤ�����������äƲ�������
o ��β�Ҥ�INAP�Υ��ݥ��ˤʤ뤳�Ȥ�Ƥ���Ƥ��ޤ���
���ݥ���Ϣ�ξ�����Τ餻��������
o Ÿ����Ƥ���Ƥ��ޤ���Ÿ���˴ؤ��������Τ餻��������
o �ʲ��Υơ��ޤǤΥ������åפ����Ȥ�ͤ��Ƥ��ޤ���
________________________________________________
o �ʲ��Υơ��ޤΥ��å����ε�Ĺ�뤳�Ȥ��Ǥ��ޤ���
________________________________________________
o ��ν�°�ȿ��ϡ�INAP�ζ����ȿ��ˤʤ뤳�Ȥ�Ƥ���Ƥ��ޤ���
Ϣ����Ԥ����Ƥ��ޤ���
o �䤢�뤤�ϰʲ��οͤ�INAP�Υץ?��ॳ�ߥåƥ����Ȥ���
�������ޤ���
________________________________________________
������:
����: ��___________________________________
���/�ع�: _____________________________________
��°����: _____________________________________
̾��: _____________________________________
Tel: _____________________________________
Fax: _____________________________________
email: _____________________________________
WWW: _____________________________________
������/������:
____________________________________________________________________
Dr. Oskar Bartenstein Tel +81-3-5814-3352
IF Computer Japan Limited Fax +81-3-5814-3357
5-28-2 Sendagi, Bunkyo-ku oskar@IFComputer.com
Tokyo 113 Japan http://www.biz.isar.de/ifcomputer
Technical Details
Message-ID:
<31C7B4D0.211CC5FC@IFComputer.co.jp>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: Japanese,EUC-JP X-Google-Thread: 1217ff,a7002244d77e048,start X-Google-Attributes: gid1217ff,public From: Oskar Bartenstein <oskar@IFComputer.co.jp> Subject: [CFP] Industrial Applications of Prolog INAP'96 Date: 1996/06/19 Message-ID: <31C7B4D0.211CC5FC@IFComputer.co.jp> X-Deja-AN: 161007458 content-type: text/plain; charset=iso-8859-1 organization: IF Computer Japan Limited mime-version: 1.0 newsgroups: fj.lang.prolog content-disposition: inline; filename="netCFP9606_jp.txt" x-mailer: Mozilla 2.0 (X11; I; Linux 1.2.8 i586)