Foundations of logic programming in hybridised logics

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

3 被引用数 (Scopus)

抄録

The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand’s theorem, are developed over a very general hybrid logical system.We employ the hybridisation process proposed by Diaconescu over an arbitrary logical system captured as an institution to define the logic programming framework.

本文言語英語
ホスト出版物のタイトルRecent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers
編集者Ionuţ Ţuţu, Mihai Codescu, Răzvan Diaconescu
出版社Springer Verlag
ページ69-89
ページ数21
ISBN(印刷版)9783319281131
DOI
出版ステータス出版済み - 2015
外部発表はい
イベント22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 - Sinaia, ルーマニア
継続期間: 9月 4 20149月 7 2014

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9463
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

会議

会議22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
国/地域ルーマニア
CitySinaia
Period9/4/149/7/14

!!!All Science Journal Classification (ASJC) codes

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

フィンガープリント

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

引用スタイル