Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Game_Theory_Concept
|
| gptkbp:application |
gptkb:Satisfiability
Verification Resource Allocation Automated Planning |
| gptkbp:describedBy |
Logical Formulas
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:Multi-agent_Systems gptkb:Game_Theory |
| gptkbp:notableContributor |
gptkb:Michael_Wooldridge
gptkb:Wiebe_van_der_Hoek Paul E. Dunne |
| gptkbp:originatedIn |
2000s
|
| gptkbp:relatedTo |
gptkb:Nash_Equilibrium
Computational Complexity Coalitional Games |
| gptkbp:studies |
Agent Preferences
Goal Satisfaction Strategic Reasoning |
| gptkbp:uses |
gptkb:Boolean_Logic
|
| gptkbp:bfsParent |
gptkb:NEXON
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean Games
|