2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Lecture Notes on Verifying Graph Neural Networks
François Schwarzentruber
In these lecture notes, we first recall the connection between graph neural networks, Weisfeiler-Lehman tests and logics such as first-order logic and graded modal logic. We then p…
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
Tiago de Lima, Emiliano Lorini, Elise Perrotin +1
We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semant…
On simple expectations and observations of intelligent agents: A complexity study
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh +1
Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations. The expectations of agents take shape based on certain prot…
On verifying expectations and observations of intelligent agents
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh +1
Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent expectations and agent observations. Agents have certain expectations, regarding the si…