(DBWORLD) Call for Participation: LPKR '97 at ILPS '97

Juergen Dix (dix@mailhost.uni-koblenz.de)
Sat, 13 Sep 1997 12:47:54 +0200

========================================================================

CALL FOR PARTICIPATION

ILPS'97 Postconference Workshop

LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION (LPKR'97)

In conjunction with ILPS'97, Port Jefferson, N.Y., October 12-17, 1997

Please, accept our apologies if you receive this message more than once.

========================================================================
see also: http://www.cs.ucr.edu/~teodor/cfp-97.html
========================================================================

The development of machines that are able to reason and act intelligently
is one of the most challenging and desirable tasks ever attempted by
humanity. It is therefore not surprising that the investigation of
techniques for representing and reasoning about knowledge has become an
area of paramount importance to the whole field of Computer Science. Due to
logic programming's declarative nature, and its amenability to
implementation, it quickly became a prime candidate for a knowledge
representation language.

Impressive research progress of the past decade made the role of logic
programming as a major knowledge representation tool even more apparent by
establishing close relationships between logic programs, deductive
databases and other non-monotonic reasoning formalisms. This impressive
progress, coupled with the advent of low cost multiprocessor machines and
significant advances in logic programming implementation techniques, now
provides us with a great opportunity to bring to fruition computationally
efficient implementations of extended logic programming and use it as a
powerful knowledge representation tool.

This is the third (after ICLP'94 and JICSLP'96) in a series of workshops
which we are organizing in conjunction with Logic Programming conferences.
However, its scope is significantly broader than the previous ones.

Eleven papers were selected out of 17 submissions.

------------------------- DETAILED INFORMATION ----------------------------

ORGANIZING COMMITTEE:

- Juergen Dix, University of Koblenz, Germany
- Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
- Teodor Przymusinski, University of California, USA

----------------------------------------------------------------------

PROGRAMME COMMITTEE:

- Juergen Dix, University of Koblenz, Germany
- Phan Minh Dung, Asian Institute of Technology, Bangkok, Thailand
- Robert Kowalski, Imperial College, London, UK
- Vladimir Lifschiz, University of Texas, USA
- Jack Minker, University of Maryland, USA
- Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
- Teodor Przymusinski, University of California, USA
- Chiaki Sakama, Wakayama University, Japan
- Mirek Truszczynski, University of Kentucky, USA
- David Warren, SUNY at Stony Brook, USA

----------------------------------------------------------------------
SUGGESTED TOPICS:

LP FUNCTIONALITIES:
- abduction
- communication
- contradiction removal
- declarative debugging
- knowledge and belief revision
- learning
- reasoning about actions
- updates

LP INTEGRATIONS:
- coupling knowledge sources
- combining functionalities
- logical agent architecture
- multi-agents architecture

LP LANGUAGE EXTENSIONS:
- constructive default negation
- disjunctive programs
- default and epistemic extensions
- metalevel programming
- object-oriented programming
- paraconsistency
- reactive rules
- strong and explicit negation

LP APPLICATIONS TO KNOWLEDGE REPRESENTATION:
- Heterogeneous databases
- Model-based diagnosis
- Modeling production systems
- Planning
- Reactive databases
- Relations to non--monotonic formalisms
- Software engineering

LP IMPLEMENTATIONS:

- Computational procedures
- Implementations

----------------------------------------------------------------------

IMPORTANT DATES:

ILPS'97-Conference: October 12-17, 1997
LPKR'97-Workshop: October 16, 1997

----------------------------------------------------------------------

REGISTRATION:
----------------------------------------

See the ILPS'97 homepage at

http://www.cs.sunysb.edu/~ilps97/
or
http://www.ida.liu.se/~ilps97/

----------------------------------------------------------------------

WEB SITE:
---------------------

http://www.cs.ucr.edu/~teodor/cfp-97.html
and http://www.uni-koblenz.de/~dix/LPKR97/

----------------------------------------------------------------------

WORKSHOP SCHEDULE:
-----------------------------

Thursday, October 16, 1997

9.00 - 9.15 OPENING

9.15 - 10.15 SESSION ON UPDATES

* J. Leite and L. Pereira:
Generalizing Updates: From Models to Programs

* A. Yahya:
Updates in Disjunctive Deductive Databases:
A Minimal Model Based Approach

* Discussion

10.30 - 11.00 COFFEE-BREAK

11.00 - 12.45 SESSION ON ABDUCTION

* R. Li, L. Pereira and V. Dahl:
Refining Action Theories Through Abductive Logic Programming

* E. Lamma, M. Milano, P. Mello and F. Riguzzi:
A System for Learning Abductive Logic Programs

* K. Wang:
Abduction, argumentation and bi-disjunctive LP

* Discussion

12.45 - 14.15 LUNCH

14.15 - 15.30 SESSION ON PRIORITIES

* G. Brewka:
Preferred Answer Sets

* M. Gelfond and T.C. Son:
Reasoning with Prioritized Defaults

* Discussion

15.30 - 16.00 COFFEE-BREAK

16.00 - 18.30 SESSION ON SEMANTICS

* Derrick Kheden:
A Model Based Semantics for Integrity
in Deductive Databases

* Greco, N. Leone and F. Scarcello:
Disjunctive Datalog with Nested Rules

* D. Seipel:
Partial Evidential Stable Models for
Disjunctive Databases

* L.-Y. Yuan and J.-H. You:
An Introspective Logic of Belief

* Discussion and Closing

========================================================================

---------------------------- END ---------------------------------

--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------