Sciweavers

2308 search results - page 300 / 462
» Representing Symbolic Reasoning
Sort
View
COSIT
2007
Springer
126views GIS» more  COSIT 2007»
15 years 10 months ago
Evaluation of a Semantic Similarity Measure for Natural Language Spatial Relations
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
Angela Schwering
FUZZIEEE
2007
IEEE
15 years 10 months ago
A Vector Similarity Measure for Interval Type-2 Fuzzy Sets
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
Dongrui Wu, Jerry M. Mendel
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 10 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz
AAAI
2007
15 years 8 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
AAAI
2008
15 years 8 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko