Contextual logicprogramming [3] (CxLP) is a simple and powerful language that extends logicprogramming with mechanisms for modularization. The importance of temporal representation and reasoning is well known not on...
详细信息
ISBN:
(纸本)3540366350
Contextual logicprogramming [3] (CxLP) is a simple and powerful language that extends logicprogramming with mechanisms for modularization. The importance of temporal representation and reasoning is well known not only in the database community but also in the artificial intelligence one. In this paper we propose a language called Temporal Contextual logicprogramming. Besides giving a brief description of its operational semantics we also present a real-world application.
We propose an approach to combining logicprogramming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying...
详细信息
ISBN:
(纸本)3540366350
We propose an approach to combining logicprogramming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying logics are carefully separated. A core idea here is to push the KR techniques on the functional level. On the LP level the knowledge base is considered as a constraint store, in which special propagation methods are ruling. A constraint logicprogramming language based on this idea is outlined.
Nominal logicprogramming is a form of logicprogramming with "concrete" names and binding, based on nominal logic, a theory of alpha-equivalence founded on swapping and freshness constraints. Previous paper...
详细信息
ISBN:
(纸本)3540366350
Nominal logicprogramming is a form of logicprogramming with "concrete" names and binding, based on nominal logic, a theory of alpha-equivalence founded on swapping and freshness constraints. Previous papers have employed diverse characterizations of the semantics of nominal logic programs, including operational, denotational, and proof-theoretic characterizations;however, the formal properties and relationships among them have not been fully investigated. In this paper we give a uniform and improved presentation of these characterizations and prove appropriate soundness and completeness results. We also give some applications of these results.
暂无评论