Discussion sessionsDiscussions Following Selected WorkshopsFCS-98, Formalization of Commonsense Reasoning, held in London, England, January 7-9, 1998. Topic Oriented DiscussionsTheory evaluation panel, also called Methodology of research in actions and change, asking "what constitutes a good theory in this area?" This panel is not intended for a discussion of the pros and cons of specific theories or approaches, but for a discussion of evaluation criteria. This is a continuation of a panel at the 1997 NRAC. For off-line reading, use the monthly summaries in postscript for [October], [November], [January]. Ontologies for Actions and Change. Which underlying assumptions are made about the world that's being described by logics for actions and change? This is also a continuation of a panel at the 1997 NRAC. Ontologies for Time. What are the alternative ontologies for time in terms of timepoints, intervals, and other similar constructs? This is a spinoff from the discussion about Ontologies for Actions and Change (previous item). Monthly summaries in postscript for [March], [Apri], [May, partial]. Causation and Ramification. Current and earlier approaches to formal characterizing "indirect change" or "inferred change" are compared.
Discussions with Authors of Selected Articles |