Sciweavers

1399 search results - page 14 / 280
» An agent system reasoning about the web and the user
Sort
View
95
Voted
CASCON
2001
115views Education» more  CASCON 2001»
14 years 10 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
73
Voted
HICSS
2005
IEEE
171views Biometrics» more  HICSS 2005»
15 years 3 months ago
An Architecture and Business Model for Making Software Agents Commercially Viable
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
Qusay H. Mahmoud, Leslie Yu
DLOG
2004
14 years 10 months ago
Semantics Driven Support for Query Formulation
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrate...
Paolo Dongilli, Enrico Franconi, Sergio Tessaris
ATAL
2010
Springer
14 years 9 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
AGENTS
1999
Springer
15 years 1 months ago
Adaptive Web Site Agents
We discuss the design of a class of agents that we call adaptive web site agents. The goal of such an agent is to help a user find information at a particular web site, adapting i...
Michael J. Pazzani, Daniel Billsus