作者:Jose Julio Alferes,Leopoldo Bertossi,Guido Governatori,Paul Fodor,Dumitru Roman
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Information Systems Applications (incl.Internet),Logics and Meanings of Programs,Software Engineering,Information Storage and Retrieval