Sciweavers

3244 search results - page 387 / 649
» Extensions to Description Logics
Sort
View
IJIS
2002
112views more  IJIS 2002»
15 years 6 months ago
Extended possibilistic truth values
In search of semantic richer and more flexible database modelling and database querying techniques, different approaches based on fuzzy set theory have been developed. Among the m...
Guy De Tré
142
Voted
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 4 months ago
Rewriting and Well-Definedness within a Proof System
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
Issam Maamria, Michael Butler
WWW
2003
ACM
16 years 7 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
WWW
2003
ACM
16 years 7 months ago
A system for principled matchmaking in an electronic marketplace
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
IAT
2009
IEEE
16 years 1 months ago
Symbol Statistics for Concept Formation in AI Agents
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
Jason R. Chen