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".
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".