Sands807
Understanding 7calculating Odds
Implementing Rational Features for Agents in Logic Programming Universidade Nova de Lisboa E-mail: [email protected]@di.fct.unl.pt URL:
EVOlving L ogic P rograms J.J. Alferes, J.A. Leite, L.M. Pereira (UNL) A. Brogi (U.Pisa)
Logic Programming for Evolving Agents
LTL – model checking Jonas Kongslund Peter Mechlenborg Christian Plesner Kristian Støvring Sørensen.
Guerino Mazzola U & ETH Zürich [email protected] Guerino Mazzola U & ETH Zürich [email protected].