John-Jules Ch. Meyer Intelligent Agents: Issues and Logics. 131-165 2003 conf/dagstuhl/2003lead Logics for Emerging Applications of Databases db/conf/dagstuhl/lead2003.html#Meyer03