2009

Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers

CLIMA (Workshop) (9th : 2008 : Dresden, Germany)



 

2012

Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

CLIMA (Workshop) (13th : 2012 : Montpellier, France)



 

1995

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

International Joint Conference on Artificial Intelligence (13th : 1993 : Chambéry, France)

Berlin ; New York : Springer, ©1995

 

2011

An introduction to practical formal methods using temporal logic

Fisher, Michael, 1962-



 

2006

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings

JELIA (Conference) (10th : 2006 : Liverpool, England)



 

2023

Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines

Dennis, Louise, author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023