Sciweavers

9523 search results - page 180 / 1905
» Intelligent Interface Agents
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Symbolic model checking for agent interactions
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...
ATAL
2010
Springer
15 years 7 months ago
Reasoning about agents and protocols via goals and commitments
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
ATAL
2010
Springer
15 years 7 months ago
Agent programming via planning programs
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sard...
ATAL
2010
Springer
15 years 7 months ago
Requesting agent participation in electronic institutions
Hector G. Ceballos, Pablo Noriega, Francisco J. Ca...