From dix@mailhost.uni-koblenz.de Thu Feb 10 21:10:18 EST 1994 Article: 5645 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5645 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: dix@mailhost.uni-koblenz.de Subject: CFP: Non-monotonic Extensions of Logic Programming: Theory, Implementation, and Applications Message-ID: <1994Feb9.231857.13337@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Sterling Software Date: Wed, 9 Feb 1994 23:18:57 GMT Approved: rick@sparky.sterling.com Expires: Sat, 26 Mar 1994 08:00:00 GMT Lines: 446 X-Md4-Signature: 1284a19c37f8ffe60bfd86698004a674 [ Latex version follows ASCII version. ] Call For Papers: Postconference Workshop Non-monotonic Extensions of Logic Programming: Theory, Implementation, and Applications (in conjunction with ICLP '94, S. Margherita Ligure, Italy) June 13 -18, 1994 During the last couple of years 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, the class of perfect models for (locally) stratified logic programs and two closely related extensions to normal, non-disjunctive, logic programs were introduced and extensively investigated: the well-founded models and the stable models. The problem of extending these approaches and defining a suitable semantics for the class of disjunctive logic programs and deductive databases turned out to be a difficult one, as evidenced by a large number of papers and the recent book of Lobo, Minker and Rajasekar devoted to this issue. Logic programs rely on a non-monotonic operator, often referred to as negation by failure or negation by default. The non-monotonicity of this operator allows us to view logic programs as special non-monotonic theories and thus makes it possible to draw from the extensive research in the area of non-monotonic reasoning and use it as a guidance in the search for a suitable semantics for logic programs. Research work aimed at better understanding of the relationships exist- ing between logic programming (LP) and nonmonotonic formalisms (N- MF) is mutually beneficial to both areas. NMFs help us to determine suitable semantics for LP and help us understand how LPs can express and compute solutions to AI problems. Conversely, the NMFs can utilize the wide body of knowledge already gathered about LPs and apply the existing implementations of LPs. This one-day workshop is the fourth in a series of workshops held in conjunction with Logic Programming conferences (NACLP '90, ILPS '91, and ILPS '93) and will be concerned with all of the three aspects of Theory, Implementation, and Applications. Papers are welcome on all non- monotonic aspects of logic programming, including, but not limited to: Abductive Extensions Implementations Applications to KR Inconsistency Handling Constructive Negation New Application Domains Disjunctive LP Semantics Epistemic Extensions Strong or Explicit Negation Program Committee Juergen Dix Germany Michael Gelfond USA Jorge Lobo USA Wiktor Marek USA Luis Moniz Pereira Portugal Teodor Przymusinski USA Organizing Committee Juergen Dix Luis Moniz Pereira Dept. of Computer Science Dept. of Computer Science University of Koblenz Universidade Nova de Lisboa Rheinau 1 2825 Monte da Caparica 56075 Koblenz, Germany Portugal dix@informatik.uni-koblenz.de lmp@fct.unl.pt Teodor Przymusinski Dept. of Computer Science University of California 100 Univ. Office Building Riverside, CA 92521-0304 USA teodor@cs.ucr.edu ***************** *Important Dates* ***************** Deadline: March 25, Notification: May 10, Final Version: June 1. The Program Committee will review extended abstracts rather than complete papers. Abstracts must be written in English, must not exceed 10 pages (excluding references and figures), and must contain a cover page including the following: a 200 word abstract with a list of keywords, postal and electronic addresses as well as phone and fax numbers of the contact author. LaTEX article-style (12pt) on 8.5" x 11" or A4 paper is appropriate. Authors are strongly encouraged to submit their contributions elec- tronically (by e-mail): if possible, please send compressed and uuencoded ?.dvi or ?.ps-files. Those having no e-mail facilities or those not being able to prepare a ?.ps-file can also submit hardcopies. Submitted papers should not have been previously published. Accepted papers must be presented at the workshop and are required to be withdrawn from other refereed conferences or workshops. Registration for the workshop as well as fees (which include a copy of the informal proceedings) will be handled by the organizers of ICLP '94 in a separate call. The workshop will take place at the conference site in S. Margherita Ligure on June 17 or 18 (exact date to be decided by the ICLP organiza- tion). Send one (1) copy of your submission by March 25, 1994 to each member of the organizing committee (addresses as above). Authors will be notified of the acceptance or rejection of their papers by May 10, 1994. Final versions of the accepted papers must be received by June 1, 1994. The informal workshop proceedings will be available at the conference. We are planning to publish extended versions of the papers in a regular Proceedings volume. \documentstyle{article} %postscript \abovedisplayskip = 3mm \belowdisplayskip = 3mm \abovedisplayshortskip = 0mm \belowdisplayshortskip = 2mm \normalbaselineskip = 10pt \normalbaselines \topmargin - 21mm \oddsidemargin -11mm \evensidemargin -11mm \textheight 260mm \textwidth 180mm \pagestyle{empty} \begin{document} \begin{center} International Conference on Logic Programming 1994\\ Santa Margherita Ligure, Italy\\ June 13-16, 1994\\ \begin{large} {\bf Post-Conference Workshops}\\ {\bf June 17-18, 1994}\\ \end{large} \end{center} \small \bigskip \noindent {\bf W1: Process-based Parallel Logic Programming}\\ Several process-based parallel logic programming languages (e.g., Delta-Prolog, CS-Prolog, Multi-Prolog and Shared-Prolog) have been proposed as an alternative to goal-based (and/or) parallel execution models for logic programs. The main features of these languages are explicit process creation and explicit communication based on channels or blackboards. The workshop is aimed at being a forum for discussing the various topics of process-based parallel LP, ranging from theory to practice. \\ {\bf Submission deadline} April 15, 1994 \\ {\bf Organizers} K. De Bosschere, J.-M. Jacquet, and A. Brogi \\ {\bf Contact person} Koen De Bosschere, ELIS, St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium. kdb@elis.rug.ac.be \\ \bigskip \noindent {\bf W2: Verfication and analysis of (concurrent) logic languages}\\ This workshop aims at a discussion of the analysis and correctness of logic programs and their concurrent (constraint) extensions. More specifically, we are interested in proof methods based on abstract interpretation and the applicability of methods developed in different programming paradigms, like process algebras, Hoare logics, etc. The workshop also includes discussion of techniques for the development of (concurrent) logic programs. \\ {\bf Submission deadline} April 1, 1994 \\ {\bf Organizers} Frank S. de Boer and Maurizio Gabbrielli \\ {\bf Contact person} Frank S. de Boer, Free Univ., de Boelelaan 1081, 1081 HV Amsterdam, The Netherlands. frankb@cs.vu.nl\\ \bigskip \noindent {\bf W3: Logic and Reasoning with Neural Networks}\\ The goal of the workshop is to initiate discussions and foster interaction between researchers interested in the use of neural networks and connectionist models for various aspects of logic and reasoning. There are a number of domains where the combination of neural networks and logic opens up interesting perspectives: methods for reasoning, knowledge representation, integration of symbolic and neural components, implementation techniques. \\ {\bf Submission deadline} April 1, 1994 \\ {\bf Organizers} Franz Kurfess and Alessandro Sperduti \\ {\bf Contact person} Franz Kurfess, Dept. of Neural Inf. Proc., D-89069 Ulm, Germany. kurfess@neuro.informatik.uni-ulm.de \\ \bigskip \noindent {\bf W4: Sixth Workshop on Logic Programming Environments}\\ This workshop will provide a forum for researchers and logic programming system developers to exchange ideas and results on all aspects of environments for logic programming. This includes work related to design issues, new techniques and tools, and the solution of noteworthy problems arising, for example, from new logic programming languages or interesting application areas. Both state-of-the-practice and state-of-the-art presentations are welcome. \\ {\bf Submission deadline} March 28, 1994 \\ {\bf Organizers} Markus Fromherz, Anthony J. Kusalik, {\O}ysten Nytr{\o}, and Steven Prestwich \\ {\bf Contact person} Anthony J. Kusalik, Dept. of Comp. Sci., Saskatoon, Saskatchewan S7N 0W0 Canada. kusalik@cs.usask.ca \\ \bigskip \noindent {\bf W5: Non-monotonic Extensions of Logic Programming: Theory, Implementation, and Applications}\\ Logic programs rely on a {\em non-monotonic\/} operator, often referred to as {\em negation by failure\/}. The non-monotonicity of this operator allows us to view logic programs as special non-monotonic theories and thus makes it possible to draw from the extensive research in the area of non-monotonic reasoning. This workshop focusses on {\em non-monotonic\/} extensions of logic programming and will be concerned with all of the three aspects of {\em Theory\/}, {\em Implementation\/}, and {\em Applications\/}.\\ {\bf Submission deadline} March 25, 1994 \\ {\bf Organizers} J\"{u}rgen Dix, Luis Moniz Pereira, and Teodor Przymusinski \\ {\bf Contact person} J\"{u}rgen Dix, Dept. of Comp. Sci., Rheinau 1, 56075 Koblenz, Germany. dix@informatik.uni-koblenz.de \\ \bigskip \noindent {\bf W6: Parallel and Data-Parallel Execution of Declarative Languages}\\ The workshop will focus on language constructs, implementation technology, program analysis and practical experiences of declarative programming languages on parallel computers. There will be an emphasis on data parallel computation (not restricted to SIMD computation) and other massively parallel computation models. It is expected that logic programming languages will be more represented than, e.g., functional programming languages but we would consider participation from these neighbouring fields valuable. \\ {\bf Submission deadline} April 1, 1994. \\ {\bf Organizers} Jonas Barklund, Bharat Jayaraman, and Jiro Tanaka \\ {\bf Contact person} Jonas Barklund, Computing Science Dept., Box 311, S-751 05 Uppsala, Sweden. jonas@csd.uu.se \\ \bigskip \noindent {\bf W7: Applications of Logic Programming to Software Engineering}\\ We will discuss which features of logic programming are most useful for a software engineer, and which software engineering applications have been already developed based on a logic programming approach. Suggested topics are: Requirement analysis, specification and design based on logic programming, software engineering environments including rule-based components, Prolog-based tools, software process modeling based on logic languages, and Logic and Object-oriented programming methods. \\ {\bf Submission deadline} April 2, 1994. \\ {\bf Organizers} P. Ciancarini and L. Sterling \\ {\bf Contact person} Paolo Ciancarini, Dip. di Matematica, P. di Porta S. Donato, 5, 40127 Bologna, Italy. cianca@cs.unibo.it \\ \bigskip \noindent {\bf W8: Integration of Declarative Paradigms}\\ The interest on the integration of declarative paradigms and, in particular, the integration of functional and logic programming, has been spurred anew, especially for what concerns efficient implementation. The aim of this workshop is to bring together researchers from different communities as well as to give the logic programming community an idea of recent advances in the area. A non-exhaustive list of topics is: language features, semantics, execution principles, implementation issues, abstract interpretation of integrated languages, environments for integrated languages. \\ {\bf Submission deadline} March 28, 1994 \\ {\bf Organizers} Hassan A\"{\i}t-Kaci, Michael Hanus, and Juan Jos\'e Moreno Navarro \\ {\bf Contact person} Juan Jos\'e Moreno Navarro, Facultad de Inform\'atica, Campus de Montegancedo s/n, Boadilla del Monte 28660 Madrid, Spain. jjmoreno@fi.upm.es \\ \bigskip \noindent {\bf W9: Second ICLP-Workshop on Deductive Databases - Deductive Databases and Logic Programming}\\ New techniques from LP are useful for extending the power and efficiency of deductive DB systems, and techniques from deductive DBs can be used for the processing of large logic programs. Topics of the workshop are: disjunctive DBs; sets, types and aggregation; abstract interpretations and program transformations; non-deterministic extensions of logic DB languages; non-monotonic deduction; constraint reasoning in DBs; subsumption; expressiveness of query languages; query optimization and evaluation; logics of active DBs; updates and knowledge acquisition. \\ {\bf Submission deadline} March 28, 1994 \\ {\bf Organizers} Natraj Arni, Ulrich Geske, Fosca Giannotti, Els Laenens, Dietmar Seipel, and Mark Wallace \\ {\bf Contact person} Dietmar Seipel, Tuebingen Univ., Sand 13, D - 72076 Tuebingen, Germany. seipel@informatik.uni-tuebingen.de \\ \bigskip \noindent {\bf W10: Proof-Theoretical Extensions of Logic Programming}\\ The workshop will provide a forum to discuss the use of proof-theoretical techniques in logic programming as well as the influence of proof theory on the future development of this field. Topics include proof-theoretical foundations of logic programming, languages based on proof theory and applications. Critical and comparative papers are also welcome. \\ {\bf Submission deadline} March 31, 1994 \\ {\bf Organizers} Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, and Mario Ornaghi \\ {\bf Contact person} Alberto Momigliano, CMU, Pittsburgh, PA 15213-3890, U.S.A. mobile@lcl.cmu.edu \\ \bigskip \noindent {\bf W11: Logic programming and education}\\ The workshop will focus onto two different aspects of the research concerned with the use of logic programming, in particular of Prolog, in education. From one hand we consider issues and problems related to the teaching (and learning) of Prolog: problems in understanding Prolog, misconceptions of novices, ways of representing the behaviour of Prolog, problems of supporting program construction and debugging, etc. On the other hand we consider the opportunities offered by Prolog as a tool for the implementation of classroom products, such as modelling tools, tutoring systems, problem solvers etc. \\ {\bf Submission deadline} April 1, 1994 \\ {\bf Organizers} Rosa Maria Bottino, Paola Forcheri, and Maria Teresa Molfino \\ {\bf Contact person} Rosa Maria Bottino, IMA, Via De Marini 6, 16149 Genova, Italy. Bottino@IMAGE.GE.CNR.IT \\ \bigskip \noindent {\bf W12: Legal Application of Logic Programming }\\ The workshop is dedicated to the use of logic programming methodologies in modelling legal knowledge and legal reasoning. Main topics are: legal knowledge represention, abductive model of legal reasoning, metalevel legal reasoning, default reasoning, deontic logic, arguments construction; beliefs revision; analogical reasoning; case-based reasoning. \\ {\bf Submission deadline} March 15, 1994 \\ {\bf Organizers} Carlo Biagioli, Giovanni Sartor, and Daniela Tiscornia \\ {\bf Contact person} Daniela Tiscornia, IDG, via Panciatichi 56/16, 50127 Firenze, Italy. daniela@idg.cnr.fi.it \\ \end{document}