Sciweavers

8467 search results - page 142 / 1694
» Intelligent 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...