論文の概要: Proceedings 40th International Conference on Logic Programming
- arxiv url: http://arxiv.org/abs/2502.08453v1
- Date: Tue, 11 Feb 2025 12:13:52 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-13 13:45:35.797967
- Title: Proceedings 40th International Conference on Logic Programming
- Title（参考訳）: 第40回論理プログラミング国際会議に参加して
- Authors: Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift,
- Abstract要約: ICLPは1982年以来、論理プログラミングの研究を示す主要な国際イベントとなっている。
この巻の論文や要約には、以下の領域やトピックが含まれる。
- 参考スコア（独自算出の注目度）: 4.552899096936877
- License:
- Abstract: Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include technical communications about, and abstracts for presentations given at the 40th ICLP held October 14-17, in Dallas Texas, USA. The papers and abstracts in this volume include the following areas and topics. Formal and operational semantics: including non-monotonic reasoning, probabilistic reasoning, argumentation, and semantic issues of combining logic with neural models. Language design and programming methodologies such as answer set programming. inductive logic programming, and probabilistic programming. Program analysis and logic-based validation of generated programs. Implementation methodologies including constraint implementation, tabling, Logic-based prompt engineering, and the interaction of logic programming with LLMs.
- Abstract（参考訳）: 1982年にマルセイユで開催された最初の会議以来、ICLP(International Conference on Logic Programming)は、論理プログラミングの研究を示す主要な国際イベントとなっている。
これらの手続きには、テキサス州ダラスで10月14-17日に開催された第40回ICLPでのプレゼンテーションに関する技術的コミュニケーションや要約が含まれる。
この巻の論文や要約には、以下の領域とトピックが含まれる。
形式的および操作的意味論:非単調推論、確率論的推論、議論、論理とニューラルモデルを組み合わせる意味論を含む。
言語設計と解集合プログラミングのようなプログラミング手法。
帰納論理プログラミングと確率的プログラミングです
プログラム解析と論理に基づく生成プログラムの検証。
制約実装、タブリング、論理ベースのプロンプトエンジニアリング、論理プログラミングとLLMの相互作用を含む実装手法。
関連論文リスト
- Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12 [2.8554857235549753]
このノートは、応答集合のセマンティクスの下での論理プログラミングに関連する非公式なセマンティクスの歴史的調査を示す。
私たちはこれらを統一的な用語でレビューし、Answer Set ProgrammingとASP-Prolog – 人工知能における2つの顕著な知識表現と推論パラダイム – の2つのパラダイムと整合させる。
論文 参考訳（メタデータ） (2024-07-09T12:40:58Z) - Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。
LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文 参考訳（メタデータ） (2023-11-10T16:23:50Z) - Proceedings 39th International Conference on Logic Programming [53.44544554999452]
第39回論理プログラミング国際会議(ICLP 2023)で発表された技術コミュニケーション
Main Track、Doctoral Consortium、Application and Systems/Demo Track、Birds-of-a-Feather Track、Thematic Tracks on Logic Programming and Machine Learning、Logic Programming and Explainability、Ethics and Trustworthiness。
論文 参考訳（メタデータ） (2023-08-28T20:46:59Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Proceedings 38th International Conference on Logic Programming [5.314172877344743]
ICLP 2022(ICLP 2022)は、論理プログラミングの研究を行う国際イベントである。
基礎:意味論、形式主義、非単調推論、知識表現。
アプリケーション:データベース、ビッグデータ、データ統合とフェデレーション、ソフトウェアエンジニアリング、自然言語処理、Webおよびセマンティックウェブ、エージェント、人工知能、計算生命科学、サイバーセキュリティ、ロボティクス、教育。
論文 参考訳（メタデータ） (2022-08-04T14:36:47Z) - Proceedings 37th International Conference on Logic Programming
(Technical Communications) [10.616987252584066]
ICLP 2021(ICLP 2021)は、論理プログラミングの研究を行う国際イベントである。
基礎:意味論、形式主義、非単調推論、知識表現。
アプリケーション:データベース、ビッグデータ、データ統合とフェデレーション、ソフトウェアエンジニアリング、自然言語処理、Webおよびセマンティックウェブ、エージェント、人工知能、計算生命科学、サイバーセキュリティ、ロボティクス、教育。
論文 参考訳（メタデータ） (2021-09-15T02:07:23Z) - How could Neural Networks understand Programs? [67.4217527949013]
ソースコードにnlpプリトレーニング技術を直接適用するか、あるいはtheshelfによってモデルに機能を追加するかで、プログラムをより理解するためのモデルを構築するのは難しい。
本研究では,(1)操作セマンティクスの基本操作とよく一致する表現と(2)環境遷移の情報からなる情報から,モデルが学ぶべき新しいプログラムセマンティクス学習パラダイムを提案する。
論文 参考訳（メタデータ） (2021-05-10T12:21:42Z) - Online Learning Probabilistic Event Calculus Theories in Answer Set
Programming [70.06301658267125]
イベント認識(CER)システムは、事前に定義されたイベントパターンを使用して、ストリーミングタイムスタンプデータセットで発生を検出する。
本稿では,複雑なイベントパターンによる確率論的推論を,イベント計算で重み付けされたルールの形で行うことができるAnswer Set Programming(ASP)に基づくシステムを提案する。
その結果, 効率と予測の両面で, 新たなアプローチの優位性が示された。
論文 参考訳（メタデータ） (2021-03-31T23:16:29Z) - Proceedings 36th International Conference on Logic Programming
(Technical Communications) [127.81808516917793]
ICLPは論理プログラミング研究のための国際会議である。
1982年にマルセイユで開かれた最初の会議以来、ICLPは論理プログラミングの研究を示す主要な国際イベントとなっている。
論文 参考訳（メタデータ） (2020-09-19T04:18:41Z) - LPOP: Challenges and Advances in Logic and Practice of Programming [0.0]
この記事では、2018年7月18日にイギリスのオックスフォードで開催された最初のLPOPワークショップについて説明する。
その焦点は、論理学とプログラミングの実践における挑戦と進歩である。
論文 参考訳（メタデータ） (2020-08-15T14:28:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。