Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
From: Juergen Dix <dix@mailhost.uni-koblenz.de>
Message-Id: <199501171227.NAA00919@infko.uni-koblenz.de>
Date: Tue, 17 Jan 95 13:28:03 +0100
To: fg121@inferenzsysteme.informatik.th-darmstadt.de, 
    theorem-provers@mc.lcs.mit.edu, 
    deduktion@intellektik.informatik.th-darmstadt.de, kgs@csdec1.tuwien.ac.at, 
    aal@anu.edu.au, isabelle-users@cl.cam.ac.uk, info-hol@cs.uidaho.edu, 
    nqthm-users@cli.com, howe@research.att.com, clp@cis.ohio-state.edu, 
    flprog@informatik.uni-muenchen.de, clp@cis.ohio-state.edu
Cc: dix@mailhost.uni-koblenz.de
Subject: 2 Research Positions

\documentstyle[12pt]{article}
\pagestyle{empty}
\parindent 0cm
\topmargin-2cm
\textheight28cm
\addtolength{\textwidth}{2cm}
\addtolength{\oddsidemargin}{-1cm}
\begin{document}

\begin{center}

{\large \bf 2 RESEARCH POSITIONS}\\                      

\vspace{3mm}

{\bf in the Research Group ARTIFICIAL INTELLIGENCE\\
Department of Computer Science\\
University of Koblenz-Landau}\\

\end{center}

Our group consists (by now) of 4 researchers (Head: Prof.~U.~Furbach) who  
are engaged in basic research and application-oriented development 
in the areas of ``AUTOMATED REASONING'', ``NON-MONOTONIC REASONING'' 
and ``DEDUCTIVE DATABASES''.
  

We are searching outstanding scientific staff for the  
new research project on {\em Disjunctive Logic Programming\/},
(headed by Dr.~J.~Dix and Prof.~U.~Furbach)
funded by the DFG (German Research Council). 
Both research positions will be available from 
March 1, 1995, for at least 2 years. An extension for another 2
years is very likely.
Salaries are payed according to BAT IIa (approx. 66 000 DM).\\


{\em  The research topic of the project is the development of a programming
system which realizes various semantics for (extended) disjunctive
logic programs with negation. 
The underlying idea is that this goal can be achieved 
by combining {\em classical theorem proving\/}-technology
with methods from {\em nonmonotonic reasoning\/} in knowledge
representation.
In particular we want to  (1) extend  PROLOG-like languages
by disjunction and various sorts of negation, (2) develop  efficient implementations 
that can be applied  in practice, (3) investigate their use for
nontrivial applications.


The basis of the
system to be developed is PROTEIN, a first-order PTTP-like theorem
prover based on model-elimination without contrapositives. 
}\\

Minimum demand is a Master's degree in Computer Science or a comparable
qualification. Previous experience in either {\em Automated Theorem Proving\/}
or {\em Nonmonotonic Reasoning\/} is  indispensable (knowledge in both
fields is even better). 

Applicants without Ph.D. should achieve a Ph.D. in the course
of their research tasks. 

\vspace{.4cm}

Please send before February 5, 1995, your application documents to: \\
                                                                          
Dr.~J\"{u}rgen Dix\\
Institut f\"ur Informatik\\
Universit\"at Koblenz-Landau\\
Rheinau 1\\
56075 Koblenz\\
{\em Fax:\/} +49-261-9119-496\\
{\em E-mail:\/} dix@informatik.uni-koblenz.de\\

We would appreciate to receive from applicants as soon as
possible a short notification of interest (preferably by e-mail)
containing a short description of the applicant's qualification: e.g.
short CV, a list of publications, summary of master thesis or of Ph.D.
thesis, etc. Although knowledge of German is not presupposed, basic
knowledge will be appreciated. 

\end{document}