Sciweavers

ECAI
1990
Springer
15 years 26 days ago
Representing Continuous Change in the Event Calculus
The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of the Event Calculus and extends it to deal with continuous ...
Murray Shanahan
65
Voted
ECAI
1990
Springer
15 years 26 days ago
The Semantics of MOLUSC
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
Lynne J. Cahill, Gerald Gazdar
ECAI
1990
Springer
15 years 26 days ago
Probabilistic Belief Logics
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
Fahiem Bacchus
90
Voted
ECAI
1990
Springer
15 years 26 days ago
Knowledge-Intensive Case-Based Reasoning and Sustained Learning
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
Agnar Aamodt