Foundations of logic programming in hybrid logics with user-defined sharing

研究成果: Contribution to journalArticle査読

5 被引用数 (Scopus)

抄録

The present contribution advances an abstract notion of hybrid logic by supplementing the definition of institution with an additional structure to extract frames. The foundation of logic programming is set in the general framework proposed by defining the basic concepts such as Horn clause, query and solution, and proving fundamental results such as the existence of initial model of Horn clauses and Herbrand's theorem. The abstract results are then applied to hybrid logics with user-defined sharing, where the possible worlds share a common domain and the variables used for quantification are interpreted uniformly across the worlds.

本文言語英語
ページ(範囲)1-24
ページ数24
ジャーナルTheoretical Computer Science
686
DOI
出版ステータス出版済み - 7 22 2017

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Foundations of logic programming in hybrid logics with user-defined sharing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル