1399 search results - page 69 / 280 » An agent system reasoning about the web and the user |
174
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
168
click to vote
DLOG
2009
15 years 4 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
155
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
162
click to vote
MMMACNS
2005
Springer
15 years 11 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
153
click to vote
ITSSA
2006
15 years 6 months ago
2006
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...