Sciweavers

AAAI
1994
14 years 1 months ago
Refining the Structure of Terminological Systems: Terminology = Schema + Views
Martin Buchheit, Werner Nutt, Francesco M. Donini,...
AAAI
1994
14 years 1 months ago
Some Advances in Transformation-Based Part of Speech Tagging
Most recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, ...
Eric Brill
AAAI
1994
14 years 1 months ago
Reasoning about Priorities in Default Logic
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
Gerhard Brewka
AAAI
1994
14 years 1 months ago
An Implemented Model of Punning Riddles
Kim Binsted, Graeme Ritchie
AAAI
1994
14 years 1 months ago
Rule Based Updates on Simple Knowledge Bases
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
Chitta Baral
AAAI
1994
14 years 1 months ago
On the Inherent Level of Local Consistency in Constraint Networks
We present a new property called constraint looseness and show how it can be used to estimate the level of local consistency of a binary constraint network. Speci cally, we presen...
Peter van Beek
AAAI
1994
14 years 1 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...