资源分类
》 资源 》论文》Evaluation Techniques and Systems for Answer Set Programming: A Survey

Evaluation Techniques and Systems for Answer Set Programming: A Survey

2019-11-06 | |  55 |   47 |   0
Abstract Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this paper we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.

上一篇：Robust Multi-view Representation: A Unified Perspective from Multi-view Learning to Domain Adaption

下一篇：Maintenance of Case Bases: Current Algorithms after Fifty Years

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...