„Temporal Equilibrium Logic“

Suchergebnisse

4 Treffer

• Equilibrium Design for Concurrent Games
  Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe ; Wooldridge, Michael J. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Expresiveness and Complexity Results for Strategic Reasoning
  Gutierrez, Julian ; Harrenstein, Paul ; Wooldridge, Michael J. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Answer Set Programming
  Diéguez, Martín 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Paving the Way for Temporal Grounding
  Aguado, Felicidad ; Cabalar, Pedro ; Diéguez, Martín ; Pérez, Gilberto ; Vidal, Concepción 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik