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

1 ASP modulo CSP: The clingcon system [会议论文]

作者:Max Ostrowski

会议时间:

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

2 Answer Set Solving with Lazy Nogood Generation [会议论文]

作者:Christian Drescher, Toby Walsh

会议时间:

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

3 Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix [会议论文]

作者:Mutsunori Banbara1, Naoyuki Tamura1, and Katsumi Inoue2

会议时间:

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

4 A Gradual Polymorphic Type System with Subtyping for Prolog [会议论文]

作者:Spyros Hadjichristodoulou

会议时间:

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

5 Possibilistic Nested Logic Programs [会议论文]

作者:Juan Carlos Nieves, Helena Lindgren

会议时间:

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

6 Applying Machine Learning Techniques to ASP Solving [会议论文]

作者:Marco Maratea1;Luca Pulina2;Francesco Ricca3;等

会议时间:

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