• 已选条件：
 全选  【符合条件的数据共：16条】

1 Evolving Reactive Logic Programs Programmi Logici Reattivi Evolutivi [会议论文]

作者:Jose Julio Alferes, Federico Banti, Antonio Brogi

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

2 From Set Unification To Set Constraints [会议论文]

作者:Gianfranco Rossi

会议时间:

预览  |  原文链接  |  全文  [ 浏览：11 下载：5  ]    

3 Non-Classical Logics For Knowledge Representation And Reasoning [会议论文]

作者:Laura Giordano;Valentina Gliozzi;Nicola Olivetti;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

4 Towards a Logic Language and Framework for Web Programming [会议论文]

作者:Giulio Piancastelli, Andrea Omicini, Enrico Denti

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

5 Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties [会议论文]

作者:Marco Alberti;Marco Gavanelli;Evelina Lamma;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

6 A valuable experience in Computational Logic [会议论文]

作者:Annalisa Bossi, Nicoletta Cocco

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]