1399 search results - page 109 / 280 » An agent system reasoning about the web and the user |
165
click to vote
AAAI
2000
15 years 7 months ago
2000
This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...
147
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
171
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
165
click to vote
INFORMATIKTAGE
2008
15 years 7 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
227
click to vote
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...