ICAIL
1989
ACM
13 years 12 months ago
1989
ACM
ICAIL
1989
ACM
13 years 12 months ago
1989
ACM
ECAI
1990
Springer
13 years 12 months ago
1990
Springer
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 ...
TABLEAUX
1992
Springer
13 years 12 months ago
1992
Springer
ECAI
1990
Springer
13 years 12 months ago
1990
Springer
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...
ECAI
1990
Springer
13 years 12 months ago
1990
Springer
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...
ECAI
1990
Springer
13 years 12 months ago
1990
Springer
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...
EPIA
1989
Springer
13 years 12 months ago
1989
Springer
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
AIMSA
1990
Springer
13 years 12 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
AIMSA
1990
Springer
13 years 12 months ago
1990
Springer
The paper discusses the motivation for, heritage, architecture and future development plans of the FuzzyCOPE software environment. FuzzyCOPE is a free software environment for tea...