作者:Bo An,Ana Bazzan,João Leite,Serena Villata,Leendert van der Torre
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Special Purpose and Application-Based Systems,Information Systems Applications (incl.Internet)