Colloquium: Recent Results on Temporal Equilibrium Logic

Recent Results on Temporal Equilibrium Logic                                

Wednesday, December 7th, 4 PM

Marksbury Theater

Cookies at 3:45 PM                                                                                


Dr. Pedro Cabalar                                                                      
Department of Computer Science                                                     
Corunna University                                                                 


This talk introduces the Temporal Equilibrium Logic, a combination of standard Linear Temporal Logic with a formalism called Equilibrium Logic, used to to characterise logic programming under the answer set semantics. The talk will explain the basic syntax and semantics together with some elementary properties and recent results. Some motivating examples will show the potential utility of nonmonotonic temporal reasoning.