Organizers: Juergen Dix, Luis M. Pereira, Teodor Przymusinski
During the last decade a significant body of knowledge has been accumulated providing us with a better understanding of semantic issues in logic programming and the theory of deductive databases. In particular, well-founded and stable models were introduced and extensively investigated. The problem of extending these approaches with a second kind of negation, of dealing with contradiction, of defining a suitable semantics (with computationally efficient implementation) for the class of disjunctive logic programs has turned out to be a difficult one. Such extensions may also turn out to be inference engines for other non-monotonic formalisms.
Organizers: Frank S. de Boer, Maurizio Gabbrielli
The workshop aims at discussing methods for the analysis and the verification of (constraint) logic programs and their concurrent extensions. In particular, it seeks to investigate, in the context of these languages, the relations existing among mode and type systems, proof-methods for verification (e.g. Hoare logics) and analysis techniques based on abstract intepretation.
For latest information see:
http://www.di.unipi.it/~gabbri/w2.html
Organizers: Herbert Kuchen, Juan Jose Moreno-Navarro, Philip Wadler
Functional programming and logic programming share a declarative style of programming, yet the two communities remain largely separate. This workshop wants to stimulate the discussion between both communities. In particular, it adresses the following question: Which concepts and techniques from functional programming can be benefically integrated into logic programming and how can this be accomplished? Topics of interest are among others: types, higher order functions, monads, list comprehensions, lazy evaluation, program analysis and transformation techniques.
For latest information see: http://www-i2.informatik.rwth-aachen.de/~herbert/JICSLP96WS.html
Organizers: Manuel Carro, Enrico Pontelli, Manuel Hermenegildo
This workshop will focus on both design and implementation of logic and parallel logic programming systems, including sequential implementation schemes, balance between run-time and compile-time machinery, parallel implementation techniques, and implementation of extensions of logic programming. Papers describing problems found in real implementations, and solutions adopted, are welcome, as well as system demonstrations. This workshop will also be the 1996 Compulog Net Area Meeting on Implementation and Parallelism.
For latest information see http://www.clip.dia.fi.upm.es:80/Projects/COMPULOG/meeting96/ or http://www.cs.nmsu.edu/lldap/jicslp96.html
Organizers: Francesca Arcelli, Ferrante Formato, Trevor Martin
The workshop is aimed at presenting recent works and discussing new ideas and trends related to the advancements in the research joining the two fields of soft computing and logic programming. Soft computing is the natural evolution of fuzzyness in a computational context. Many concepts of computer science have been tackled within the framework of a fuzzy interpretation of classic computational models. In particular logic programming has a computational model and a theoretical background that are well suited for a fruitful investigation in the area of soft computing.
For latest information see http://www.diima.unisa.it/~formato/lpsc.html
Organizers: Fosca Giannotti, Dmitri Boulanger, Ulrich Geske, Dietmar Seipel
The workshop deals with techniques for extending the expressive power and the computational efficiency of deductive database systems. Topics are: disjunctive databases, incomplete information, data mining, program transformations, execution and debugging models, query languages and optimization, constraint reasoning, object-orientation, active databases, updates, temporal databases, non-monotonic semantics.
For latest information see http://www.first.gmd.de/~geske/dd_lp_96.html or http://www-info1.informatik.uni-wuerzburg.de/staff/seipel/dd_lp_96.html
Organizers: Yike Guo, Jose Meseguer, Tetsuo Ida, Joxan Jaffar
This workshop is designated to multi-paradigm logic programming (LP) languages combining different declarative programming paradigms by means of integration of their logical foundations (e.g., integrating functional and Horn clause LP, combining LP languages with constraints and computer algebra systems, integrating LP with process calculi as well as unifying various LP models by exploiting new logical foundations such as linear logic and rewriting logic).
For latest information see http://www.cs.tu-berlin.de/~chak/mplp/
Organizers: Paul Tarau, Andrew Davison, Koen De Bosschere, Manuel Hermenegildo
The workshop explores the use of logic programming tools for developing practical INTERNET applications as well as theoretical work giving new insights on emerging net technologies. Agents, net search, hyper-text tools, HTML/VRML generators and parsers, CGI and Java interfaces, collaborative work technologies, distributed and coordination logic programming systems are among the topics of interest.
For latest information see http://clement.info.umoncton.ca/~lpnet
Organizers: Jonas Barklund, Stefania Costantini, Frank van Harmelen
The workshop is intended as a forum for recent and ongoing work on metaprogramming in logic. This includes systems and techniques for program manipulation (e.g., synthesis and transformation), interpreters, partial evaluation, etc. as well as formalisms and techniques for metareasoning, e.g., in multiagent systems. New methodologies and applications for metaprogramming and metareasoning are welcome.
For latest information see http://www.csd.uu.se/~jonas/META96/