Programming in modal logic: An extension of PROLOG based on modal logic

研究成果: Conference contribution

6 被引用数 (Scopus)

抄録

In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.

本文言語English
ホスト出版物のタイトルLogic Programming 1986 - Proceedings of the 5th Conference
編集者Eiiti Wada
出版社Springer Verlag
ページ81-91
ページ数11
ISBN(印刷版)9783540180241
DOI
出版ステータスPublished - 1987
外部発表はい
イベント5th Conference on Logic Programming, 1986 - Tokyo, Japan
継続期間: 1986 6 231986 6 26

出版物シリーズ

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

Other

Other5th Conference on Logic Programming, 1986
国/地域Japan
CityTokyo
Period86/6/2386/6/26

ASJC Scopus subject areas

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

フィンガープリント

「Programming in modal logic: An extension of PROLOG based on modal logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル