nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty) (08/10/89)
NL-KR Digest (Wed Aug 9 13:17:18 1989) Volume 6 No. 33 Today's Topics: CRL documentation intelligent control time and space representation References on Temporal Reasoning 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. ----------------------------------------------------------------- To: nl-kr@cs.rpi.edu Date: 28 Jul 89 14:20:17 GMT >From: napoli@loria.crin.fr (frames ) Newsgroups: comp.ai.nlang-know-rep Subject: CRL documentation Reply-To: napoli@loria.crin.fr (Amedeo Napoli) Organization: CRIN - INRIA, Nancy, France I would be interested by the CRL (Carnegie Representation Language) documentation, but I don't know the electronic address of people who works on (and with) the language. Can anybody give me some information ? Many thanks in advance, - -- Amedeo Napoli @ CRIN / Centre de Recherche en Informatique de Nancy EMAIL : napoli@loria.crin.fr - POST : BP 239, 54506 VANDOEUVRE CEDEX, France [[ the email address for The Carnegie Group, Inc (CGI) KnowledgeCraft Support group is: KCCS%cgi.com@RELAY.CS.NET. You may need to be a customer of CGI to actually get anything out of them. ]] ------------------------------ To: nl-kr@cs.rpi.edu Date: 9 Aug 89 14:24 +0200 >From: Llums Vila <mcvax!ceab.es!vila@uunet.UU.NET> Subject: intelligent control Return-Receipt-To: Llums Vila <mcvax!ceab.es!vila@uunet.UU.NET> =================== INTELLIGENT CONTROL =================== Hello everyone, the research group I am working in is involved in a project related to the application of artificial intelligence techniques to process control and supervision, and also the real-time problems it presents. At this moment we are specially devoted to the study of the use of qualitative reasoning to build deep knowledge models and on the other hand to the study of the problems related with temporal reasoning. We are interested in establish communication with people working in the same area. If you are in this situation, please, contact with me. --------------- We would like particularly to know a litle bit about... - which are yours special interest points, - the actual state of your work (and whether you are involved in a concrete project), - and the future collaboration possibilities you see. Thanks. Lluis. ================== %---------------------------------------------------------------% % Lluis Vila i Grabulosa E-mail: vila@ceab.es % % Centre d'Estudis Avangats de Blanes % % Cami de Santa Barbara tel. +34 72 33 61 01 % % 17300 Blanes telex. 56372 CEABL-E % % Catalunya, Spain fax. +34 72 33 78 06 % %---------------------------------------------------------------% ------------------------------ To: nl-kr@cs.rpi.edu >From: napoli@loria.crin.fr (frames ) Newsgroups: comp.ai.nlang-know-rep Subject: time and space representation Date: 9 Aug 89 13:24:24 GMT Reply-To: napoli@loria.crin.fr (Amedeo Napoli) Organization: CRIN - INRIA, Nancy, France Keywords: time, space, knowledge representation Salut, I am searching for papers on representation of time and space in knowledge-based systems. I would appreciate any informations (bibliography, softwares, etc.) on these topics. Could you send me the replies directly. If the informations are of general interest, I will do a synthesis in the news. Many thanks in advance, Amedeo Napoli - - - -- Amedeo Napoli @ CRIN / Centre de Recherche en Informatique de Nancy EMAIL : napoli@loria.crin.fr - POST : BP 239, 54506 VANDOEUVRE CEDEX, France ------------------------------ To: nl-kr@cs.rpi.edu Date: Wed, 9 Aug 89 11:38:15 EDT >From: weltyc@fs3.cs.rpi.edu (Christopher A. Welty) Subject: References on Temporal Reasoning A number of people have asked for this, so here is waht I have, in bibtex form: @TechReport{allen81a, key"allen81a", author "ALLEN, J.F.", title "Maintaining Knowledge About Temporal Intervals, TR 86", institution "University of Rochester, Department of Computer Science", year "1981"} @TechReport{allen81b, key"allen81b", author "ALLEN, J.F.", title "A general model of action and time, TR 97", institution "University of Rochester, Department of Computer Science", year "1981"} @InProceedings{allen81c, key "allen81c", author "ALLEN, J.F.", title "An Interval-Based Representation of Temporal Knowledge", booktitle "Proceedings of 7th IJCAI", organization "IJCAI", pages"221-226", month "August", year "1981"} @Article{allen83a, key "allen83a", author "ALLEN, J.F.", title "Maintaining Knowledge About Temporal Intervals", journal "Communications of the ACM", volume "26(11)", pages "832-843", year "1983"} @InProceedings{allen83b, key "allen83b", author "ALLEN, J.F. & KOOMEN, J.A.", title "Planning using a temporal world model", booktitle "Proceedings of 8th IJCAI 1983", organization "IJCAI", year "1983"} @Article{allen84, key "allen84", author "ALLEN, J.F.", title "Towards a general theory of action and time", journal "Artificial Intelligence", volume "23(2)", pages "123-154", year "1984"} @TechReport{allen85a, key"allen85a", author "ALLEN, J.F. and HAYES, P.J.", title "A Commonsense Theory of Time: The Longer Paper", institution "University of Rochester, Department of Computer Science", year "1985"} @InProceedings{allen85b, key "allen85b", author "ALLEN, J.F. and HAYES, P.J.", title "A Commonsense Theory of Time", booktitle "Proceedings of IJCAI 1985", organization "IJCAI", pages"528-531", year "1985"} @Article{bruce72, key "bruce72", author "BRUCE, B.", title "A Model for Temporal References and its Application in a Question Answering Program", journal "Artificial Intelligence", volume "4", pages "1-25", year "1972"} @TechReport{cheeseman83, key"cheeseman83", author "Cheeseman, P.", title "A Representation of Time for Planning, Technical Note 278", institution "SRI Artificial Intelligence Center", year "1983"} @InProceedings{cheeseman84, key "cheeseman84", author "Cheeseman, P.", title "A Representation of Time for Automatic Planning", booktitle "Proceedings of IEEE International Conference on Robotics", organization "IEEE", year "1984"} @InProceedings{chun86, key "chun86", author "Chun Hon Wai", title "A Representation for Temporal Sequence and Duration in Massively Parallel Networks: Exploiting Link Interactions", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", pages"372-376", year "1986"} @TechReport{dean83, key"dean83", author "DEAN, T.L.", title "Time Map Maintenance", institution "Yale University Computer Science Department", year "1983"} @InProceedings{dean84a, key"dean84a", author "DEAN, T.L.", title "Planning and Temporal Reasoning Under Uncertainty", booktitle "Proceedings of IEEE Workshop on Principles of Knowledge-Based Systems", organization "IEEE", month "December", year "1984"} @InProceedings{dean84b, key"dean84b", author "DEAN, T.L.", title "Managing Time Maps", booktitle "Proceedings of CSCSI 84. Canadian Society for Computational Studies of Intelligence", organization "CSCSI", year "1984"} @TechReport{dean84c, key"dean84c", author "DEAN, T.L.", title "A TNMS User's Manual", institution "Yale University Computer Science Department", year "1984"} @TechReport{dean85, key"dean85", author "DEAN, T.L.", title"Temporal imagery: an approach to reasoning about time for planning and problem solving", institution "Yale University Computer Science Department", year "1985"} @InProceedings{dean85, key "dean85", author "DEAN, T.L.", title "Temporal Reasoning Involving Counterfactuals and Disjunctions", booktitle "Proceedings of 9th IJCAI 1985", organization "IJCAI", pages "1060-1062", month "August", year "1985"} @InProceedings{dean86, key "dean86", author "DEAN, T.L.", title "Intractability and time dependent planning", booktitle "Proceedings of the Workshop on Planning and Reasoning About Action", organization "AAAI", month "July", pages"143-164", year "1986"} @TechReport{fagan80, key "fagan80", author "FAGAN, J.J.", title "Representing Time-Dependent Relations in a Medical Setting", type "Ph.D. thesis", institution "Stanford University", year "1980"} @TechReport{Hanks85, key"Hanks85", author "HANKS, S. and MCDERMOTT, D.", title "Temporal Reasoning and Default Logics", institution "Yale University Department of Computer Science", year "1985"} @Article{hendrix73, key "hendrix73", author "HENDRIX, G.G", title "Modeling Simultaneous Actions and Continuous Processes", journal "Artificial Intelligence", volume "4", pages "145-180", year "1973"} @InProceedings{hirschman81, key "hirschman81", author "HIRSCHMAN, L.", title "Representing implicit and explicit time relations in narrative", booktitle "Proceedings of 7th IJCAI", organization "IJCAI", pages "289-295", month "August", year "1981"} @Article{kahn77, key "kahn77", author "KAHN, K. and GORRY, G.A.", title "Mechanizing Temporal Knowledge", journal "Artificial Intelligence", volume "9", pages "87-108", year "1977"} @InProceedings{kandrashina83, key "kandrashina83", author "Kandrashina, E.Y.", title "Representation of Temporal Knowledge", booktitle "Proceedings of 8th IJCAI 1983", organization "IJCAI", pages "343-345", year "1983"} @InProceedings{ladkin85, key "ladkin85", author "LADKIN, P.B.", title "Comments on the Representation of Time", booktitle "Proceedings of the 1985 Distributed Artificial Intelligence Workshop", year "1985"} @InProceedings{ladkin86a, key "ladkin86a", author "LADKIN, P.", title "Primitives and Units for Time Specification", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "July", pages"354-359", year "1986"} @InProceedings{ladkin86b, key "ladkin86b", author "LADKIN, P.", title "Time Representation: A Taxonomy of Interval Relations", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", pages"360-366", year "1986"} @InProceedings{leban86, key "leban86", author "LEBAN, B., MCDONALD, D and FORSTER, D.", title "A Representation for Collections of Temporal Intervals", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", pages"367-371", year "1986"} @InProceedings{long83b, key "long83b", author "LONG, W. and RUSS, T.", title "A Control Structure for Time Dependent Reasoning", booktitle "Proceedings of 8th IJCAI 1983", pages "230-232", organization "IJCAI", month "August", year "1983"} @InProceedings{malik83, key "malik83", author "MALIK, J. and Binford T.O.", title "Reasoning in Time and Space", booktitle "Proceedings of 8th IJCAI 1983", organization "IJCAI", pages "343-345", year "1983"} @InProceedings{masui83b, key "masui83b", author "MASUI, S., MCDERMOTT, J. and SOBEL, A.", title "Decision-Making in Time-Critical Situations", booktitle "Proceedings of 8th IJCAI 1983", pages "233-235", organization "IJCAI", month "August", year "1983"} @InProceedings{miller85, key "miller85", author "Miller, D., Firby, J. and Dean, T.", title "Deadlines, Travel Time and Robot Problem Solving", booktitle "Proceedings of 9th IJCAI 1985", organization "IJCAI", pages "1052-1054", year "1985"} @Article{mourelatos78, key "mourelatos78", author "MOURELATOS, A.P.D.", title "Events, processes and states", journal "Linguistics and Philosophy", volume "2", pages "415-434", year "1978"} @TechReport{McDermott81, key"McDermott81", author "MCDERMOTT, D.", title "A Temporal Logic for Reasoning about Processes and Plans", institution "Yale University Department of Computer Science", year "1981"} @Article{mcdermott82, key "mcdermott82", author "MCDERMOTT, D.", title "A Temporal Logic for Reasoning about Processes and Plans", journal "Cognitive Science", volume "6", pages "101-155", year "1982"} @TechReport{Moore80, key "Moore80", author "Moore, R.", title "Reasoning about knowledge and action (Technical Report 191)", institution "SRI AI Center", year "1980"} @Book(rescher, key "rescher", author "RESCHER, N.", title "Temporal Logic", publisher "Springer-Verlag", address "New York", year "1971" ) @InProceedings{rit86, key "rit86", author "Rit, J.", title "Propagating temporal constraints for scheduling", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", pages "383-388", year "1986"} @TechReport{shoham86, key "shoham86", author "SHOHAM, Y.", title "Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligens", type "Ph.D. thesis", year "1986"} @InProceedings{shoham86, key "shoham86", author "Shoham, Y.", title "Reified Temporal Logics: Semantical and Ontological Considerations", booktitle "Proceedings of 7th ECAI, Brighton, U.K.", organization "ECAI", month "July", year "1986"} @InProceedings{shoham86, key "shoham86", author "Shoham, Y.", title "Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", pages "389-393", year "1986"} @TechReport{Smith83, key "Smith83", author "Smith, S.F.", title "Exploiting Temporal Knowledge to Organize Constraints, Technical Report CMJU-RI-TR-83-12", institution "CMU Robotics Institute", year "1983"} @TechReport{Vere81, key "Vere81", author "Vere, S.A.", title "Planning in Time: Windows and Durations for Activities and Goals", institution "California Institute of Technology Jet Propulsion Laboratory", year "1981"} @TechReport{Vere84, key "Vere84", author "Vere, S.A.", title "Temporal Scope of Assertions and Window Cutoff", institution "California Institute of Technology Jet Propulsion Laboratory", year "1984"} @InProceedings{vere85, key "vere85", author "Vere, S.", title "Temporal Scope of Assertions and Window Cutoff", booktitle "Proceedings of 9th IJCAI 1985", organization "IJCAI", pages "1055-1059", year "1985"} @InProceedings{vilain82, key "vilain82", author "VILAIN, M.", title "A System for Reasoning About Time", booktitle "Proceedings of AAAI-82, Pittsburgh, Pa.", organization "AAAI", month "August", year "1982"} @InProceedings{vilain86, key "vilain86", author "VILAIN, M. and KAUTZ, H.", title "Constraint Propagation Algorithms for Temporal Reasoning", booktitle "Proceedings of AAAI-86, Philadelphia, Pa.", organization "AAAI", month "August", year "1986"} ===== Christopher Welty --- Asst. Director, RPI CS Labs | "Porsche: Fahren in weltyc@cs.rpi.edu ...!njin!nyser!weltyc | seiner schoensten Form" ------------------------------ End of NL-KR Digest *******************