Tristan and Nils in Porto Tristan and Nils visit the CLIMA workshop in Porto. Tristan gives a talk on "Modeling with Logic Based Petri Nets" and Nils talks about "A Logic for Reasoning about Rational Agents".
© myboys.me/stock.adobe.com
Tristan and Nils in Porto Tristan and Nils visit the CLIMA workshop in Porto. Tristan gives a talk on "Modeling with Logic Based Petri Nets" and Nils talks about "A Logic for Reasoning about Rational Agents".
Our website uses cookies. These have two functions: Firstly, they are necessary for the basic functionality of our website. On the other hand, with the help of cookies, we can continually improve our content for you. For this purpose, pseudonymised data of website visitors is collected and analysed. By clicking on Settings, you can also select the individual cookies you wish to accept. You can revoke your consent to the use of cookies at any time, even partially. You can find more information about cookies on this website in our privacy declaration and about us in the imprint.