論文の概要: LPOP: Challenges and Advances in Logic and Practice of Programming
- arxiv url: http://arxiv.org/abs/2008.07901v1
- Date: Sat, 15 Aug 2020 14:28:46 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-28 21:11:05.104488
- Title: LPOP: Challenges and Advances in Logic and Practice of Programming
- Title（参考訳）: lpop:論理学とプログラミングの実践における挑戦と進歩
- Authors: David S. Warren and Yanhong A. Liu
- Abstract要約: この記事では、2018年7月18日にイギリスのオックスフォードで開催された最初のLPOPワークショップについて説明する。
その焦点は、論理学とプログラミングの実践における挑戦と進歩である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This article describes the work presented at the first Logic and Practice of
Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in
conjunction with the Federated Logic Conference (FLoC) 2018. Its focus is
challenges and advances in logic and practice of programming. The workshop was
organized around a challenge problem that specifies issues in role-based access
control (RBAC), with many participants proposing combined imperative and
declarative solutions expressed in the languages of their choice.
- Abstract（参考訳）: この記事では、2018年7月18日に英国オックスフォードで開催された最初の Logic and Practice of Programming (LPOP) Workshop で、Federated Logic Conference (FLoC) 2018 とともに発表された作業について説明する。
その焦点は論理学とプログラミングの実践における挑戦と進歩である。
ワークショップはロールベースのアクセス制御(RBAC)の問題を特定する課題問題を中心に企画され、多くの参加者が選択言語で表現された命令型と宣言型を組み合わせたソリューションを提案している。
関連論文リスト
- Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) [0.30693357740321775]
ワークショップはテキサス州ダラスで開催され、2024年10月13日に第40回論理プログラミング国際会議(ICLP)と共同で開催される。
このワークショップの焦点は、信頼できるAIのための推論システムを統合することだ。
論文 参考訳（メタデータ） (2024-10-01T19:36:08Z) - 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) - DiLA: Enhancing LLM Tool Learning with Differential Logic Layer [11.810200077863172]
本稿では,ネットワーク層の前方・後方通過に論理的制約を組み込むディファレンシャル・ロジック・レイヤ支援言語モデリング(DiLA)手法を提案する。
2つの古典的推論問題に対するDiLAの性能評価を行い、既存のプロンプトベースおよびソルバ支援アプローチに対する一貫した性能を実証した。
論文 参考訳（メタデータ） (2024-02-19T07:38:57Z) - 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) - Proceedings Modalities in substructural logics: Applications at the
interfaces of logic, language and computation [0.0]
ワークショップの焦点は、ESSLLIコミュニティ、特に自然言語の構文と意味論と推論のダイナミクスに対する論理的アプローチへの関心分野のアプリケーションに焦点を当てている。
ワークショップは、Horizon 2020 MSCA-RiseプロジェクトMOSAICの支援によって開催される。
論文 参考訳（メタデータ） (2023-08-01T22:40:19Z) - Exploring Self-supervised Logic-enhanced Training for Large Language Models [59.227222647741094]
本稿では,自己指導型ポストトレーニングによる論理的知識の活用の可能性について検討する。
我々はMERItの自己回帰的目的変数を考案し、パラメータサイズが30億から13億の2つのLLM系列、すなわちFLAN-T5とLLaMAと統合する。
2つの挑戦的な論理的推論ベンチマークの結果は、LogicLLMの有効性を示している。
論文 参考訳（メタデータ） (2023-05-23T06:13:10Z) - Proceedings of the 2nd Workshop on Logic and Practice of Programming
(LPOP) [0.2578242050187029]
ワークショップは2010年11月15日にアメリカ合衆国シカゴの代わりにオンラインで開催された。
このワークショップの目的は、論理を実用的なツールとして利用するコンピュータ科学のさまざまな領域を橋渡しすることである。
論文 参考訳（メタデータ） (2022-11-17T22:50:56Z) - Factoring Statutory Reasoning as Language Understanding Challenges [48.13180364616141]
法定推論を4種類の言語理解課題問題に分解する。
Prologプログラムに見られる概念と構造を紹介します。
法定推論のモデルは、追加の構造の恩恵を受けることが示されている。
論文 参考訳（メタデータ） (2021-05-17T14:33:02Z) - AR-LSAT: Investigating Analytical Reasoning of Text [57.1542673852013]
テキストの分析的推論の課題を研究し、1991年から2016年までのロースクール入学試験からの質問からなる新しいデータセットを紹介します。
我々は,この課題をうまくこなすために必要な知識理解と推論能力を分析する。
論文 参考訳（メタデータ） (2021-04-14T02:53:32Z) - Proceedings 36th International Conference on Logic Programming
(Technical Communications) [127.81808516917793]
ICLPは論理プログラミング研究のための国際会議である。
1982年にマルセイユで開かれた最初の会議以来、ICLPは論理プログラミングの研究を示す主要な国際イベントとなっている。
論文 参考訳（メタデータ） (2020-09-19T04:18:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。