资源分类
》 资源 》论文》FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

2019-11-11 | |  46 |   42 |   0
Abstract We study a logical system FQHT that is appropriate for reasoning about nonmonotonic theories with intensional functions as treated in the approach of [Bartholomew and Lee, 2012]. We provide a logical semantics, a Gentzen style proof theory and establish completeness results. The adequacy of the approach is demonstrated by showing that it captures the Bartholemew/Lee semantics and satisfies a strong equivalence property.

上一篇：Data Repair of Inconsistent DL-Programs? Thomas Eiter and Michael Fink and Daria Stepanova

下一篇：On the Complexity of Probabilistic Abstract Argumentation?

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

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

  • A Mathematical Mo...

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