Received: from EDRC.CMU.EDU by A.GP.CS.CMU.EDU id at02393; 1 Mar 96 16:07:47 EST
Received: from mail.cs.utexas.edu by EDRC.CMU.EDU id aa21025;
1 Mar 96 15:09:58 EST
Received: from archimedes.cs.utexas.edu (kuipers@archimedes.cs.utexas.edu [128.83.120.9]) by mail.cs.utexas.edu (8.7.1/8.7.1) with ESMTP id OAA16401; Fri, 1 Mar 1996 14:09:47 -0600 (CST)
From: "Benjamin J. Kuipers"
Received: by archimedes.cs.utexas.edu (8.7.1/Client-1.4)
id OAA06258; Fri, 1 Mar 1996 14:09:43 -0600 (CST)
Date: Fri, 1 Mar 1996 14:09:43 -0600 (CST)
Message-Id: <199603012009.OAA06258@archimedes.cs.utexas.edu>
To: ai+ai-jobs@cs.cmu.edu, ai+ai-postdoc@cs.cmu.edu
Subject: Postdoc: opening for post-doctoral fellow in KR
cc: kuipers@cs.utexas.edu
Sender: ai@A.GP.CS.CMU.EDU
The University of Texas at Austin
Computer Science Department
Post-Doctoral Fellow
The Qualitative Reasoning Group at the University of Texas at Austin,
led by Professor Benjamin Kuipers, is looking for a post-doctoral
fellow to work on the Algernon KR system.
The Algernon knowledge representation system provides a unique set of
formal and practical features that have already proven effective for
building moderate-scale applications, and potentially can scale up to
very large knowledge bases.
http://www.cs.utexas.edu/users/qr/algernon.html
We are undertaking a project to extend the features of the language
and its implementation, evaluating it for its ability to meet the
needs of a separate, high-quality, research group building a very
large knowledge base in Biology.
http://www.cs.utexas.edu/users/mfkb/
This is an opportunity for a suitably qualified and ambitious
scientist to take a leadership role in an important project, and to
have a significant impact on knowledge representation theory and
practice.
Tasks:
- Extend the Algernon KR system with contexts, opaque references, and
other state-of-the-art mechanisms.
- Extend and maintain the formal guarantees provided by Algernon
while adding features needed by pragmatic users.
- Collaborate with the Biology KB group to support their use of
Algernon as the KR engine for their multi-function knowledge base.
- Evaluate Algernon with respect to the BKB group's needs for
expressive power, inferential power, computational efficiency, and
scalability.
Qualifications:
- PhD in Computer Science or related discipline.
- Research accomplishment in the formalization and application of
knowledge representation systems.
- Demonstrated skill and experience in implementation of KR systems.
- Ability to work with pragmatically motivated user groups
Period:
- Start immediately.
- Funding guaranteed through 12-31-97. Soft thereafter.
Salary: competitive.
Send CV, Web URL, representative papers, and three letters of reference, to:
Prof. Benjamin Kuipers Email: kuipers@cs.utexas.edu
Dept. of Computer Sciences Phone: (512) 471-9561
University of Texas at Austin Fax: (512) 471-8885
Austin, Texas 78712 USA http://www.cs.utexas.edu/users/kuipers/
-------------------------------------------------------------------------------
This message | Submissions ai+ai-postdoc@cs.cmu.edu
was sent via | Subscribe/Unsubscribe ai+query@cs.cmu.edu
the AI-POSTDOC | Available mailing lists include
mailing list. | AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC