Publication | Closed Access
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
20
Citations
12
References
2012
Year
Artificial IntelligenceReasoningEngineeringReasoning SystemAutomated ReasoningModel-based ReasoningFormal MethodsAgent TypesLogical ReasoningAgent Programming LanguageAgent Architecture
| Year | Citations | |
|---|---|---|
Page 1
Page 1