論文の概要: 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)の問題を特定する課題問題を中心に企画され、多くの参加者が選択言語で表現された命令型と宣言型を組み合わせたソリューションを提案している。
関連論文リスト
- LogicPrpBank: A Corpus for Logical Implication and Equivalence [12.475182970975887]
本稿では,7093 Propositional Logic Statements (PLS) を含む提案論理コーパス LogicPrpBank を提案する。
私たちのコーパスは、この困難なタスクに有用なリソースを提供しており、モデル改善のための十分なスペースがあることを示します。
論文 参考訳(メタデータ) (2024-02-14T22:36:07Z) - 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) - Proceedings of the Sixteenth Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice [0.0]
推論タスクにおける設計、実装、およびそれらの使用は、過去20年にわたってかなりの研究の焦点となっている。
このワークショップは、設計者、実装者、実践者を集めて、論理フレームワークの構造と実用性に影響を及ぼす様々な側面について議論する。
論文 参考訳(メタデータ) (2021-07-14T05:19:09Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。