421 search results - page 78 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
107
click to vote
WWW
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
105
click to vote
WWW
2006
ACM
15 years 11 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
GIS
1998
ACM
14 years 10 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...