nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty) (11/22/89)
NL-KR Digest (Tue Nov 21 12:42:32 1989) Volume 6 No. 43 Today's Topics: BC Canada Wants ATMS implementation Request for articles/papers. USER MODELING AND USER-ADAPTED INTERACTION: An International Journal Nonmonotonic Reasoning Workshop Advance Programme for KBCS '89 (Dec 11-13, Bombay, INDIA) Submissions: nl-kr@cs.rpi.edu Requests, policy: nl-kr-request@cs.rpi.edu Back issues are available from host archive.cs.rpi.edu [128.213.1.10] in the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will not be promptly satisfied. If you can't reach `cs.rpi.edu' you may want to use `turing.cs.rpi.edu' instead. BITNET subscribers: we now have a LISTSERVer for nl-kr. You may send submissions to NL-KR@RPIECS and any listserv-style administrative requests to LISTSERV@RPIECS. ----------------------------------------------------------------- To: nl-kr@cs.rpi.edu >From: mdavcr!rdr (Randolph Roesler) Newsgroups: comp.ai.nlang-know-rep Subject: BC Canada Wants ATMS implementation Summary: DeKleer's ATMS Date: 31 Oct 89 22:32:33 GMT Reply-To: mdavcr!auriga!rdr (Randolph Roesler) Organization: MacDonald Dettwiler, Richmond, B.C., Canada Does anybody have a public domain (or shareware) implementation of DeKleer's ATMS. Any language OK. Thanks. - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ It's not the size of your signature that Randy Roesler counts - it's how you use it! MacDonald Dettwiler & Assc. email ...!uunet!van-bc!mdavcr!rdr BC Canada 604-278-3411 ------------------------------ To: nl-kr@cs.rpi.edu Date: Tue, 14 Nov 89 18:08 CDT >From: <RAYMOND%AUDUCVAX.BITNET@VM.ECS.RPI.EDU> Subject: Request for articles/papers. My father edits the "Creative Science and Technology" magazine; Which is distributed nation wide. Among his past authors you can find Herbert Simon, Linus Pauling, Edward Teller, Buchminster Fuller and other internationally known scientists and engineers. Articles in the areas of physical science, life science and technology are hearby solicited. We are sorry that we are not able to pay for articles, since the magazine is free for minorities and women who attend the schools on the distribution list. We hope that your satisfaction will come from, turning young minds on to the fields of science and technology. You may submit articles, along with a short biographical sketch, either through Email or Snail-Mail. Thanks in advance. Sincerely, Raymond M. A. Erdey Snail-Mail : Dr. Michael R. A. Erdey P. O. Box 1852 Auburn, Alabama 36831-1852 Phone Office : (205) 727-8988 Home : (205) 821-8008 BITNET : Raymond@AuDucVAX ------------------------------ To: nl-kr@cs.rpi.edu >From: "Alfred Kobsa" <sbsvax!ak%fb10vax.sbsvax@uunet.UU.NET> Date: Fri, 3 Nov 89 09:49:04 +0100 (MET) Subject: USER MODELING AND USER-ADAPTED INTERACTION: An International Journal Advance Information and Call for Papers: USER MODELING AND USER-ADPTED INTERACTION: AN INTERNATIONAL JOURNAL A new journal has been founded that provides an interdisciplinary forum for the dissemination of new research results on all aspects of user-adapted inter- action in person-machine interfaces, natural-language dialog systems, intelligent tutoring systems and intelligent interfaces. The journal publishes high-quality original papers contributing to these fields, including the following areas: - acquisition of user and student models - conceptual models, mental models - dialog planning and response tailoring - levels of user expertise - explanation strategies - plan recognition and generation - presentation planning - recognition and correction of misconceptions - user stereotypes - formal representation of user and student models - shell systems for user modeling - tutoring strategies Relevant papers from the fields of Psychology, Linguistics and the Instructional Sciences are also considered. The central audience of the journal are researchers, students and industrial practitioners from the following areas: Artificial Intelligence (focus on knowledge-based systems), Human-Computer Interaction (focus on cognitive engineering and intelligent interfaces), Linguistics (focus on pragmatics and dialog models), and the Instructional Sciences (focus on computer-based tutoring systems). Editor: Alfred Kobsa Dept. of Computer Science University of Saarbruecken D-6600 Saarbruecken 11 WEST GERMANY Editorial Board: David Benyon, Open University, England Sandra Carberry, Univ. of Delaware, U.S.A. David Chin, Univ. of Hawaii at Manoa, U.S.A. Robin Cohen, Univ. of Waterloo, Canada Timothy Finin, Unisys, Paoli, U.S.A. Gerhard Fischer, Univ. of Colorado, U.S.A. Gordon McCalla, Univ. of Saskatchewan, Canada Dianne Murray, City University, England Cecile Paris, Information Science Institute, U.S.A. Elaine Rich, MCC, Austin, U.S.A. Hans Spada, Univ. of Freiburg, West Germany Karen Sparck Jones, Univ. of Cambridge, England Michael Tauber, Univ. of Paderborn, West Germany Wolfgang Wahlster, Univ. of Saarbruecken, West Germany Richard Young, MRC, Cambridge, England (List to be completed) UMUAI is published quarterly by Kluwer Academic Publishers, Dordrecht, Netherlands. The first issue is to appear in January, 1991. Authors who wish to submit a paper should send four copies to the Editor. Elec- tronic submission of LaTeX files is also possible if the special UMUAI style is used. For further information (especially on electronic submission), send a message to umuai-info%fb10vax.informatik.uni-saarland.dbp.de@relay.cs.net or [{uunet,mcvax}!]unido!sbsvax!fb10vax!umuai-info. These addresses will be probably changed to umuai-info@cs.uni-sb.de in 1990. ------------------------------ To: nl-kr@cs.rpi.edu >From: konolige@AI.SRI.COM (Kurt Konolige) Newsgroups: comp.ai Subject: Nonmonotonic Reasoning Workshop Date: 2 Nov 89 02:01:24 GMT Organization: SRI International, Menlo Park, CA Please note: there is a revised deadline for submissions, ** December 17, 1989 **. Also, electronic submissions should be either printable directly, or in LaTeX format, with all relevant macros included. - ---------------------------------------------------- CALL FOR PARTICIPATION THIRD INTERNATIONAL WORKSHOP ON NONMONOTONIC REASONING The third international workshop on nonomontonic reasoning, sponsored by AAAI and CSCSI, will be held May 31-June 3, 1990, at the Stanford Sierra Camp in South Lake Tahoe, California. The aim of the workshop is to bring together active researchers in the area of nonmonotonic reasoning to discuss current research, results, and problems of both theoretical and practical nature. Topics (not necessarily exhaustive): General theories of defeasible inference Comparison of formal systems Applications to planning, commonsense reasoning Knowledge update and truth maintenance Relation to probability models Theories of inheritance with exceptions Argument-based systems Proof theory, complexity, and automation Attendance will be limited to 30-40 people, by invitation only. Those wishing to attend should submit five copies of a detailed abstracts of current research to: Kurt Konolige SRI International EJ272 333 Ravenswood Avenue Menlo Park, Ca. 94025 Phone: (415) 859-2788 E-mail: konolige@ai.sri.com Electronic mail submissions are encouraged (one copy only!). Abstracts should consist of no more than 10 double-spaced pages when printed (4000 words) and should include enough information to enable the program committee to judge the contribution of the work. Abstracts will be accepted on the basis of quality, originality, and significance. The deadline for submission of papers is ***December 17, 1989*** (note that this is later than the original announcement). Notification of acceptance will be made by February 26, 1990. Accepted authors will be asked to send a preprint for distribution at the workshop. Papers presented at the workshop can be submitted for publication in a collection to appear later. Program Committee: Johan DeKleer, Xerox Parc (dekleer.pa@xerox.com) Jon Doyle, MIT (doyle@zermatt.lcs.mit.edu) David Etherington, AT&T (ether@research.att.com) Matt Ginsberg, Stanford (ginsberg@polya.stanford.edu) Hector Geffner, UCLA (hector@cs.ucla.edu) David Israel, SRI (israel@ai.sri.com) Henry Kautz, AT&T (kautz@research.att.com) Vladimir Lifschitz, Stanford (val@sail.stanford.edu) David Poole, UBC (poole@vision.cs.ubc.ca) Erik Sandewall, Linkoping (enea!lisbet.liu.se!e-sandewall@uunet.uu.net) Richmond Thomason, Pittsburgh (rich.thomason@cad.cs.cmu.edu) In addition to accepted authors, we have a limited number of slots for students who have shown promise in the area. Sponsors for such students should send a short justification to Kurt Konolige at the above address. ------------------------------ To: nl-kr@cs.rpi.edu Date: Wed, 1 Nov 89 15:18:29 -0500 (EST) >From: "Prakash N. Kytharam" <pk1j+@andrew.cmu.edu> Subject: Advance Programme for KBCS '89 (Dec 11-13, Bombay, INDIA) Subject: Advance Programme for KBCS '89 Conference on Knowledge Based Computer Systems - KBCS '89 Bombay, India Venue: Centaur Hotel Juhu Beach December 11-13, 1989 Advance Programme 1. About the Conference 141 papers were received from India and abroad within the deadline, and 44 have been selected for presenta- tion. The technical programme will consist of invited talks, paper presentations and poster sessions. The paper presentations will be held in two parallel streams. 2. Invited Speakers A Computational Architecture for Co-operative Systems David Allport, Hewlett Packard Laboratories, UK Computer Architecture: What it can do and what it cannot do for AI Arvind, MIT, USA Could a Computer be Creative? Margaret Boden, University of Sussex, UK Developments in Expert Systems B Chandrasekaran, Ohio State University, USA Natural Language Understanding (title to be confirmed) Aravind Joshi, University of Pennsylvania, USA Human and Artificial Intelligence: Report on the Conclusions of a Seminar R Narasimhan, Tata Institute of Fundamental Research, Bombay Parsing with Extended Unification P Saint-Dizier, Universite Paul Sabatier, France Parallel Logic Programming Systems David Warren, University of Bristol, UK 3-D Computer Vision Steven Zucker, McGill University, Canada 3. Contributed Papers Advances in Expert Systems -------------------------- Modelling Exceptions in Semantic Database and Knowledge-based Systems PL Tan, TS Dillon and J Zeleznikow La Trobe University, Australia Interpretation and Rule Packet in Expert Systems: Application to the SEPT Expert System Patrick Brezillon Universite de Paris XI, France New Techniques in Model-Based Diagnosis Peter Struss Siemens AG, West Germany An Expert System Framework for the Preliminary Design of Process Flowsheets MS Gandikota and JF Davis Ohio State University, USA Intelligent Onboard Telemetry System: A Design Approach P Anguswamy, M Krishnakumar and V Mala Vikram Sarabhai Space Centre, Trivandrum, India The Platypus Expert System Shell Bill Havens Simon Fraser University, Canada Logic Programming ----------------- Believability in Default Logic Entails Logical Consequence from Circumscription (Sometimes) Atsushi Togashi, Ben Hui Hou and Shoichi Noguchi Research Institute of Electrical Communication, Japan An Abstract Machine for the REDUCE-OR Process Model for Parallel Prolog B Ramkumar and LV Kale University of Illinois at Urbana-Champaign, USA Generalized Predicate Completion Atsushi Togashi, A Ben Hui Hou and A Shoichi Noguchi Tohoku University, Japan On the Completeness of Narrowing for E-unification Jia-Huai You and PA Subrahmanyam University of Alberta, Canada On the Generalized Predicate Completion of Non-Horn Program Phan Minh Dung and Kanchana Kanchanasut Asian Institute of Technology, Thailand A Unified Framework for Characterising Logic Program Executions SL Mehndiratta and E Ravindran Indian Institute of Technology, Bombay, India Improving Prolog Performance through Inductive Proof Generalization Milind Gandhe and G Venkatesh Indian Institute of Technology, Bombay, India Knowledge Representation ------------------------ Representing and Using Protosemantic Information in Generating Bus Route Descriptions T Pattabhiraman and Nick Cercone Simon Fraser University, Canada Integrated Actor Paradigm for Knowledge Based Systems BJ Garner and D Lukose Deakin University, Australia Knowledge Representation in Distributed Blackboard Architecture: Some Issues Manoj K Saxena, KK Biswas and PCP Bhatt CMC Ltd, New Delhi, India Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event Modeling: A Technical Summary Ashvin Radiya Syracuse University, USA A Representation for Modeling Functional Knowledge in Geometric Structures Amitabha Mukerjee Texas A&M University, USA Four General Representations and Processes for Use in Problem Solving Dan Fass Simon Fraser University, Canada Handling Multiple Inheritance with Exceptions: An Alternate Approach Sanjay Bhansali and Mehdi T Harandi University of Illinois at Urbana Champaign, USA Reasoning using Inheritance from a Mixture of Knowledge and Beliefs Afzal Ballim, Sylvia Candelaria de Ram and Dan Fass Institut Dalle Molle pour les Etudes Semantiques et Cognitives, Switzerland Implementation of Conceptual Graphs using Frames in LEAD KC Reddy, CSK Reddy and PG Reddy University of Hyderabad, Hyderabad, India Natural Language Understanding ------------------------------ Representing Discursive Temporal Knowledge: A Computational Application of DRT Myriam Bras Institut de Recherche en Informatique de Toulouse, France From Utterance to Belief via Presupposition: Default Logic in User-Modelling A Csinger and D Poole University of British Columbia, Canada Novel Terms and Cooperation in a Natural Language Interface Paul McFetridge and Chris Groeneboer Simon Fraser University, Canada Parsing with Extended Unification Mechanisms Patrick Saint-Dizier LSI Universite Paul Sabatier, France Intelligent Information Categorization, Archival and Retrieval Abhay Bhandarkar, R Chandrasekar, S Ramani and A Bhatnagar National Centre for Software Technology, Bombay, India Pattern Recognition and Vision ------------------------------ Shape Based Object Recognition DK Banerjee, SK Parui, D Dutta Majumder Indian Statistical Institute, Calcutta, India Newspaper Image Understanding V Govindaraju, S Lam, D Niyogi, DB Sher, R Srihari, SN Srihari and D Wang State University of New York at Buffalo, USA Learning -------- A Methodology for Self Monitoring in Information Retrieval Systems Padmini Srinivasan George Mason University, USA Knowledge Discovery: A Theoretical Perspective Dimitrios Thanassas Imperial College, United Kingdom Computer Architecture and Parallel Processing --------------------------------------------- Design and Implementation of a Broadcast Cube Multiprocesser Rajat Moona and V Rajaraman Indian Institute of Science, Bangalore, India Automatic Test Pattern Generation on Multiprocessors Sunil Aravindam, Vipin Kumar, V Nageshwara Rao and Vineet Singh University of Texas at Austin, USA Tools for Representation of Knowledge on Parallel Machines Perry J Busalacchi and James R Slagle University of Minnesota, USA Intelligent Tutoring Systems ---------------------------- Mental Models of Recursion and Their Use in the SCENT Programming Advisor Shawkat H Bhuiyan, Jim E Greer and Gordon I McCalla University of Saskatchewan, Canada A Trigonometry Tutor Parvati Rajan, P Patil, KSR Anjaneyulu and P Srinivas National Centre for Software Technology, Bombay, India Explanation of Algebraic Reasoning: The Aplusix System Jean-Francois Nicaud and Mustapha Saidi Universite Paris XI, France Reasoning --------- Implementing Persistence of Derived Information in a Reason Maintenance System N Parameswaran and D Kulkarni Indian Institute of Technology, Madras, India Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms UK Sarkar, PP Chakrabarti, S Ghose and SC De Sarkar Indian Institute of Technology, Kharagpur, India Speech ------ A Probabilistic Training Scheme for the Time-Concentration Network S Krishnan and P Poddar Tata Institute of Fundamental Research, Bombay, India AI Applications --------------- Solving the Generalized Job Shop Scheduling Problem via Temporal Constraint Propagation Wesley Chu and Patrick Ngai University of California at Los Angeles, USA Network Search with Inadmissible Heuristics A Mahanti and K Ray Jadavpur University Campus, Calcutta, India Central Government Pension Rules as a Logic Program KK Bajaj, RK Dubash and R Kowalski Department of Electronics, Govt of India, New Delhi, India A Computational Architecture for Co-operative Systems David Allport Hewlett Packard Laboratories, United Kingdom 4. Pre-Conference Tutorials (On December 10th, 1989) A1: Task Specific Architectures for the Construction of Knowledge Based Systems B Chandrasekaran, Ohio State University, USA A2: Natural Language Processing and Logic Programming P Saint-Dizier, Universite Paul Sabatier, France B1: Representation of Linguistic Knowledge: Recent Grammatical Formalisms Aravind Joshi, University of Pennsylvania, USA B2: Logic Programming Systems David Warren, University of Bristol, UK B3: The Computational Neurobiology of Vision Steven Zucker, McGill University, Canada 5. Conference Committees International Advisory Committee -------------------------------- K Apt, Centrum voor Wiskunde en Informatica, Amsterdam Arvind, Massachusetts Institute of Technology, USA M Boden, University of Sussex, UK A Joshi, University of Pennsylvania, USA R Kowalski, Imperial College, UK CJP Lucena, Pontifficia Universidade Catoilica do Rio de Janeiro, Brazil P Saint-Dizier, Universite Paul Sabatier, France A Togashi, Tohoku University, Japan Programme Committee ------------------- S Ramani, National Centre for Software Technology, Bombay (Chairman) S Arun Kumar, Indian Institute of Technology, Bombay KK Bajaj, Department of Electronics, Delhi VP Bhatkar, Centre for Development of Advanced Computing, Pune PCP Bhatt, Indian Institute of Technology, Delhi D Dutta Majumder, Indian Statistical Institute, Calcutta HN Mahabala, Indian Institute of Technology, Madras V Rajaraman, Indian Institute of Science, Bangalore PVS Rao, Tata Institute Fundamental Research, Bombay R Sangal, Indian Institute of Technology, Kanpur 6. Registration Fee Conference On or before November 30, 1989 : Rs 1500 (US $90) After November 30, 1989 : Rs 1800 (US $110) On-site Registration : Rs 2000 (US $125) On-site registration will be subject to availability of seats. Coupons for the Conference Dinner will be free for those who register on or before November 15. Others will be able to purchase it for Rs 50 (US $5). Tutorials Rs 500 (US $35) per tutorial for conference participants. All payments should be made by a crossed cheque or draft, payable to National Center for Software Technology. Credit Cards cannot be accepted. 7. Address for Correspondence KBCS '89 Secretariat National Centre for Software Technology Gulmohar Cross Road No. 9 Juhu, Bombay 400 049, INDIA Email: ikbcs@shakti.uu.net Telex: +81 (11) 78260 NCST IN Telephone: +91 (22) 620 1606 ------------------------------ End of NL-KR Digest *******************