nl-kr-request@CS.RPI.EDU (NL-KR Moderator Chris Welty) (01/04/91)
NL-KR Digest (Thu Jan 3 10:38:27 1991) Volume 8 No. 1 Today's Topics: CALL FOR PAPERS: APPLICATIONS IN INFORMATICS: CogSci/Education Position Please post CFP for 1991 ILPS Call for Papers: Uncertainty in AI 91 Call for Papers: ACL-91 Workshop on Lexical Semantics and KR German-to-English Natural Languages Machine Translation Proceed. Linguistic Approaches to AI First TINLunch on winter quarter, 1/10/91 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.113.53.18] 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. [ HAPPY NEW YEAR - CW ] ----------------------------------------------------------------- To: nl-kr@cs.rpi.edu Date: Thu, 13 Dec 90 12:03:31 CST >From: "Centro de Inteligencia Artificial(ITESM)" <ISAI@TECMTYVM.MTY.ITESM.MX> Subject: CALL FOR PAPERS: APPLICATIONS IN INFORMATICS: INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE APPLICATIONS IN INFORMATICS: Software Engineering, Data Base Systems, Computer Networks, Programming Environments, Management Information Systems, Decision Support Systems. C A L L F O R P A P E R S Preliminary Version. The Fourth International Sysmposium on Artificial Intelligence will be held in Cancun Mexico on November 13-15, 1991. The Symposium is sponsored by the ITESM (Instituto Tecnologico y de Estudios Superiores de Monterrey) in cooperation with the International Joint Conferences on Artificial Intelligence Inc., the American Association for Artificial Intelligence, the Canadian Society for Computational Studies of Intelligence, the Sociedad Mexicana de Inteligencia Artificial and IBM of Mexico. Papers from all countries are sought that: (1) Present applications of artificial intelligence technology to the solution of problems in Software Engineering, Data Base Systems, Computer Networks, Programming Environments, Management Information Systems, Decision Support Systems and other Informatics technologies; and (2) Describe research on techniques to accomplish such applications, (3) Address the problem of transfering the AI Technology in different socio-economic contexts and environments. Areas of application include but are no limited to: Software development, software design, software testing and validation, computer-aided software engineering, programming environments, structured techniques, intelligent databases, operating systems, intelligent compilers, local networks, computer network design, satellite and telecommunications, MIS and data processing applications, intelligent decision support systems. AI techniques include but are not limited to: Expert systems, knowledge acquisition and representation, natural language processing, computer vision, neural networks and genetic algorithms, automated learning, automated reasoning, search and problem solving, knowledge engineering tools and methodologies. Persons wishing to submit a paper should send five copies written in English to: Hugo Terashima, Program Chair Centro de Inteligencia Artificial, ITESM. Ave. Eugenio Garza Sada 2501, Col.Tecnologico C.P. 64849 Monterrey, N.L. Mexico Tel.(52-83) 58-2000 Ext.5134 Telefax (52-83) 58-1400 Dial Ext.5143 or 58-2000 Ask Ext.5143 Net address: ISAI@tecmtyvm.bitnet or ISAI@tecmtyvm.mty.itesm.mx The paper should identify the area and technique to which it belongs. Extended abstract is not required. Use a serif type font, size 10, sigle-spaced with a maximum of 10 pages. No papers will be accepted by electronic means. Important dates: Papers must be received by April 30,1991. Authors will be notified of acceptance or rejection by June 15,1991. A final copy of each accepted paper, camera ready for inclusion in the Symposium proceedings, will be due by July 15,1991. ======================================================================= ------------------------------ To: nl-kr@cs.rpi.edu Date: Fri, 14 Dec 90 16:23:49 -0600 >From: Ellen Brewer <ebrewer@ux1.cso.uiuc.edu> Subject: CogSci/Education Position Faculty Position in COGNITIVE SCIENCE and EDUCATION, UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN. Tenure track faculty position in Cognitive Science in Department of Educational Psychology. Open rank, preference for advanced assistant or beginning associate professor, available August 1991. Requires earned doctorate specializing in some aspect of cognitive science, plus a demonstrated record of scholarly productivity in an area of cognitive science important to educational issues, or in applying cognitive science perspectives to education. The successful candidate will be expected to fulfill traditional professorial roles; also, to provide leadership in graduate instruction in cognitive science and education, and in developing programs of research that take cognitive science approaches to address issues of importance to education. With appropriate qualifications, affiliation with the Center for the Study of Reading or the Beckman Institute of Advanced Science and Technology is possible. Salary is competitive. To ensure full consideration, apply by January 31, 1991, (letter of application, curriculum vita, three letters of reference, sample publications, and other supporting materials) to George McConkie, Department of Educational Psychology, 1310 S. Sixth St., Champaign, IL 61820. (217) 333-7634. The University of Illinois is an affirmative action/equal opportunity employer. Please address all email concerning this position to george@huey.vp.uiuc.edu - - Ellen Brewer (ebrewer@ux1.cso.uiuc.edu) "Non ignara mali, miseris succurrere disco." ------------------------------ To: nl-kr@cs.rpi.edu >From: saraswat@parc.xerox.com Date: Thu, 20 Dec 1990 23:39:24 PST Subject: Please post CFP for 1991 ILPS ILPS91 --- Call For Papers 1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM * (* Formerly called ``North American Conference on Logic Programming'' (NACLP)) San Diego, California, U.S.A., October 28--31, 1991 Sponsored by the Association for Logic Programming. In cooperation with ACM (SIGACT, SIGPLAN, SIGART, SIGMOD), IEEE Computer Society, AAAI and ESPRIT (pending). Arising from logic programming, exciting new areas of intellectual inquiry are emerging in the interaction of concurrency, logic, constraints, algorithms, and parallel processing. To foster the development of such areas, a major goal of this conference is to promote technical interaction between logic programming and neighboring fields including artificial intelligence, logic, databases and theoretical computer science. Papers are invited on all aspects of logic programming and its connections with neighboring fields. Both theoretical and practical papers are solicited. Topics of interest include (but are not limited to): - Foundations --- Semantics / Proof theory / Concurrency / Constraints and partial information / Knowledge representation and reasoning / Non-monotonic reasoning / Computational interpretation of various logics / Constructive logics (proofs-as-program principle) / Higher-order logics / Situation semantics - Languages and Programming --- [Concurrent] [Constraint] Logic programming languages / Extensions to logic programming / Language design and constructs / Constraint-satisfaction techniques and algorithms / Programming environments / Meta-programming and reflection - Implementation --- Compilation techniques / Architectures / Parallelism / Performance evaluation - Reasoning About Programs --- Program analysis and abstract interpretation / Program synthesis / Program transformation / Verification / Reasoning about safety and liveness properties - Applications --- Natural languages / Design, Diagnosis and Testing / Planning / Software engineering - Logic Databases --- Disjunctive databases / Finite model theory / Logical updates / Logics of objects / Datalog optimization Papers must be written in English and must not exceed 5000 words in length, including a 200 word abstract and excluding references. (This translates to approximately ten pages in 10 point on 16 point spacing.) Papers that exceed this limit are likely to be returned without being refereed. Submit six copies by MARCH 15, 1991 to: Vijay Saraswat, Xerox PARC 3333 Coyote Hill Road, Palo Alto, CA 94304, USA. E-mail: ilps91@parc.xerox.com Phone: +1.415.494.4747 Fax: +1.415.494.4334 Authors will be notified of acceptance or rejection by JUNE 15, 1991. Final versions of accepted papers must be received by the MIT Press in camera-ready form by July 19, 1991. The conference will have one poster session on applications and will be followed by several post-conference workshops, which will be announced separately. INVITED SPEAKERS Robert Constable, Cornell U., USA Koichi Furukawa, ICOT, Japan Vladimir Lifschitz, Stanford U., USA Johan van Benthem, U. of Amsterdam, The Netherlands PROGRAM COMMITTEE Hassan Ait-Kaci, DEC PRL, France Catriel Beeri, Hebrew U., Israel Mats Carlsson, SICS, Sweden Johan de Kleer, Xerox PARC, USA Atsuhiro Goto, NTT, Japan Ken Kahn, Xerox PARC, USA Deepak Kapur, SUNY (Albany), USA Michael Kifer, SUNY (Stony Brook), USA Alan Mackworth, U. British Columbia, Canada Michael Maher, IBM Hawthorne, USA Ugo Montanari, U. Pisa, Italy Gopalan Nadathur, Duke U., USA Shamim Naqvi, Bellcore, USA Stanley Peters, CSLI, USA David Plaisted, U. North Carolina, USA Gordon Plotkin, U. Edinburgh, UK Teodor Pryzmusinski, U. Texas (El Paso), USA Harald Sondergaard, U. Melbourne, Australia Evan Tick, U. Oregon, USA Allen van Gelder, U. California (Santa Cruz), USA Pascal van Hentenryck, Brown U., USA David H.D. Warren, U. Bristol, UK PROGRAM COMMITTEE CHAIRS Vijay Saraswat, Xerox PARC, USA Kazunori Ueda, ICOT, Japan CONFERENCE CHAIR Ken Kahn, Xerox PARC 3333 Coyote Hill Road, Palo Alto, CA 94304, USA E-mail: ilps91@parc.xerox.com Phone: +1.415.494.4390 Fax: +1.415.494.4334 LOCAL ARRANGEMENTS CHAIR Steve Taylor, CalTech, USA E-Mail: steve@vlsi.caltech.edu WORKSHOP COORDINATOR Kim Marriott, IBM Hawthorne, USA E-mail: kimbal@ibm.com POSTER SESSION CHAIR Leon Sterling, Case Western Reserve U., USA E-mail: leon@alpha.ces.cwru.edu ------------------------------ To: nl-kr@cs.rpi.edu Subject: Call for Papers: Uncertainty in AI 91 Reply-To: dambrosi@CS.ORST.EDU Date: Fri, 21 Dec 90 12:33:02 GMT >From: dambrosi@kowa.CS.ORST.EDU THE SEVENTH CONFERENCE ON UNCERTAINTY IN ARTIFICIAL INTELLIGENCE UCLA, Los Angeles July 13-15, 1991 (Preceding AAAI) The seventh annual Conference on Uncertainty in AI is concerned with the full gamut of approaches to automated and interactive reasoning and decision making under uncertainty including both quantitative and qualitative methods. We invite original contributions on fundamental theoretical issues, on the development of software tool embedding approximate reasoning theories, and on the validation of such theories and technologies on challenging applications. Topics of particular interest include: - Foundations of uncertainty - Semantics of qualitative and quantitative uncertainty representations - The role of uncertainty in automated systems - Control of reasoning; planning under uncertainty - Comparison and integration of qualitative and quantitative schemes - Knowledge engineering tools and techniques for building approximate reasoning systems - User Interface: explanation and summarization of uncertain information - Applications of approximate reasoning techniques Papers will be carefully refereed. All accepted papers will be included in the proceedings, which will be available at the conference. Papers may be accepted for presentation in plenary sessions or poster sessions. Five copies of each paper should be sent to the Program Chair by March 4, 1991. Acceptance will be sent by April 22, 1991. Final camera-ready papers, incorporating reviewers' comments, will be due by May 10, 1991. There will be an eight page limit on the camera-ready copy (with a few extra pages available for a nominal fee.) Program Co-Chair: Bruce D'Ambrosio Philippe Smets Dept. of Computer Science IRIDIA 303 Dearborn Hall Universite Libre de Bruxelles. Oregon State University 50 av. Roosevelt, CP 194-6 Corvallis, OR 97331-3202 USA 1050 Brussels, Belgium tel: 503-737-5563 tel: +322.642.27.29 fax: 503-737-3014 fax: +322.642.27.15 e-mail: dambrosio@CS.ORST.EDU e-mail: R01501@BBRBFU01.BITNET General Chair: Piero Bonissone General Electric Corporate Research and Development 1 River Rd., Bldg. K1-5C32a, 4 Schenectady, NY 12301 tel: 518-387-5155 fax: 518-387-6845 e-mail: bonisson@crd.ge.com Program Committee: Piero Bonissone, Peter Cheeseman, Max Henrion, Henry Kyburg, John Lemmer, Tod Levitt, Ramesh Patil, Judea Pearl, Enrique Ruspini, Ross Shachter, Glenn Shafer, Lofti Zadeh. ------------------------------ To: nl-kr@cs.rpi.edu Date: Wed, 19 Dec 90 17:52 EDT >From: "NANCY M. IDE (914) 437 5988" <IDE@vaxsar.vassar.edu> Subject: Call for Papers: ACL-91 Workshop on Lexical Semantics and KR X-Envelope-To: nl-kr@cs.rpi.edu CALL FOR PAPERS Lexical Semantics and Knowledge Representation 17 June 1991 University of California Berkeley, California, USA A workshop sponsored by the Special Interest Group on the Lexicon (SIGLEX) of the Association for Computational Linguistics TOPICS OF INTEREST: The recent resurgence of interest in lexical semantics (LS) has brought many linguistic formalisms closer to the knowledge representation (KR) languages utilized in AI. In fact, some formalisms from computational linguistics are emerging which may be more expressive and formally better understood than many KR languages. Furthermore, the interests of computational linguists now extend to include areas previously thought beyond the scope of grammar and linguistics, such as commonsense knowledge, inheritance, default reasoning, collocational relations, and even domain knowledge. With such an extension of the purview of "linguistic" knowledge, the question emerges as to whether there is any logical justification for distinguishing between lexical semantics and world knowledge. The purpose of this workshop is to explore this question in detail, with papers addressing the following points: a. Possible methods for determining what is lexical knowledge and what is outside the scope of such knowledge. b. Potential demonstrations that the inferences necessary for language understanding are no different from supposed non-linguistic inferences. c. Arguments from language acquisition and general concept development. d. Cross-linguistic evidence for the specificity of lexical semantic representations. e. Philosophical arguments for the (impossibility of the) autonomy of lexical knowledge. f. Theoretical approaches and implemented systems that combine lexical and non-lexical knowledge. FORMAT OF SUBMISSION: Authors should submit four copies of a position paper describing the work they have done in this area and specifying why they would like to participate in the workshop. Papers should be a minimum of four pages and a maximum of ten single-spaced pages (exclusive of references). The title page should include the title, full names of all authors and their complete addresses including electronic addresses where applicable, and a short (5 line) summary. Submissions that do not conform to this format will not be reviewed. Send submissions to: James Pustejovsky Computer Science Department Ford Hall Brandeis University Waltham, MA 02254-9110 USA (+1-617) 736-2709 jamesp@chaos.cs.brandeis.edu SCHEDULE: Papers must be received by 1 March 1991. Authors will be notified of acceptance by 5 April 1991. WORKSHOP INFORMATION: Attendance will be limited to 35-40 participants. The workshop is held in connection with the 29th Meeting of the ACL (18-21 June). Local arrangements are being handled by Peter Norvig (Division of Computer Science, University of California, 573 Evans Hall, Berkeley, CA 94720, USA, (+1-415) 642-9533, norvig@teak.berkeley.edu). TENTATIVE ORGANIZING COMMITTEE: Branimir Boguraev Ulrich Heid Peter Norvig James Pustejovsky Robert Wilensky ------------------------------ To: nl-kr@cs.rpi.edu >From: hpm@eatdust.uswest.com Newsgroups: comp.ai.nlang-know-rep Subject: German-to-English Natural Languages Machine Translation Date: 26 Dec 90 19:50:48 GMT Reply-To: hpm@eatdust.uswest.com () I am currently involved in analyzing German-to-English machine translation techniques. With all the experience out there in usenet-land, I was wondering if anyone having done or attempted natural language machine translation (rule-based expert system or using AI) could enlighten me via email correspondence. I have written code and would like to discuss some of issues and ideas. Thanks for your reply, Hans Real World: Hans-Peter Mueller Email: hpm@uswest.com OR ..!boulder!uswat!hpm ------------------------------ To: nl-kr@cs.rpi.edu Newsgroups: comp.ai.nlang-know-rep >From: he225di@unidui.uni-duisburg.de (Dirven) Subject: Proceed. Linguistic Approaches to AI Date: Fri, 28 Dec 90 11:57:02 GMT Linguistic Approaches to Artificial Intelligence The collective volume of the LAUD-symposium on artficial intelligence has recently been published. It comprises 21 papers of different kinds: Janusz S. Bien Towards Displacement Model of Memory Toni Bollinger / Ulrich Hedtstueck / Claus-Rainer Rollinger / Rudi Studer Text Understanding in LILOG Ralph Grishman Domain Modeling for Language Analysis Walter von Hahn Analysis and Generation of Discourse Eva Hajicova Automatic Compilation of a Knowledge Base Yasunari Harada On Describing Natural Languages in Unification Environments Robert R. Hoffman What Is a Hill? Computing the Meanings of Topographic and Physiographic Terms Juergen Krause The Concepts of Sublanguage and Language Register in Natural Language Processing Juergen Kunze Semantic Representation as a Link between Parsing and Knowledge Representation Ira Monarch / Sergei Nirenburg ONTOS: An Ontology-Based Interactive Know-ledge Acquisition System Greg Myers / Tony Hartley Modeling Lexical Cohesion and Focus in Written Texts: Popular Science Articles and the Naive Reader James Pustejovsky Semantic Function and Lexical Decomposition Ulrich Reimer / Udo Hahn An Overview of the Text Understanding System TOPIC Dietmar Roesner Text Generation in the Framework of the SEMSYN Project: Current Status, Future Prospects Annely Rothkegel Knowledge Representation and Text Processing Petr Sgall Meaning, Sense, and Contradiction Joerg H. Siekmann Unification Theory Brian M. Slator / Yorick A. Wilks Towards Semantic Structures from Dictionary Entries Harold Somers Subcategorization Frames and Predicate Types Gerhard Strube Empirical Constraints for Modeling Human Language Processing: On-Line Analysis of Temporal Sentences Masaru Tomita Parser Factory: The Universal Parser Compiler and Its Application to a Knowledge-Based Speech Translation System The volume appears under Ulrich Schmitz/Ruediger Schuetz/Andreas Kunz (eds.): Linguistic Approaches to Artificial Intelligence. Frankfurt/Main, New York, Paris, Bern: Peter Lang. 1990. Price: 118.- DM (ca. 74.- US $) If you like to get the book, please write to: Verlag Peter Lang AG Jupiterstr. 15 CH-3000 Bern 15 Switzerland or contact Ruediger Schuetz Linguistic Agency University of Duisburg Fachbereich 3 Lotharstr. 65 D-4100 Duisburg 1 Germany e-mail: he225di%unidui.uucp@unido.bitnet or he225di@unidui.uni-duisburg.de ------------------------------ To: nl-kr@cs.rpi.edu Date: Wed, 2 Jan 91 13:05:26 PST >From: ingrid@russell.Stanford.EDU (Ingrid Deiwiks) Subject: First TINLunch on winter quarter, 1/10/91 TINLUNCH ON 10 JANUARY Diagrammatics Gerrard Liddell Lecturer in Mathematics University of Otago, Dunedin, New Zealand (currently on sabbatical leave as a Visiting Scholar in Mathematics at the University of Indiana, Bloomington) (liddell@cica.indiana.edu) Thursday, 10 January, 12:00 noon Cordura 100 Between traditional linear text and the flat collection of objects in a picture lies the systematic, structured presentation of information we call diagrammatics. The diagrammatic manipulation of concepts has been used in mathematics (for geometry, symbolic notations, category theory), in the formal languages of logic, the computations of physics, the description of computing machines, and in other areas such as sign languages in linguistics. In the past, such techniques have been limited, at least for formal presentations, yet they seem to have a great potential, especially for handling complex concepts more naturally. I will give examples of diagrammatic techniques and consider the issues they raise. The computer provides a medium that seems ideal for diagrammatic methods and I will discuss the implementation of suitable applications. ------------------------------ End of NL-KR Digest *******************