論文の概要: Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

• arxiv url: http://arxiv.org/abs/2211.09923v1
• Date: Thu, 17 Nov 2022 22:50:56 GMT
• ステータス: 処理完了
• システム内更新日: 2022-11-21 15:46:49.843914
• Title: Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
• Title（参考訳）: 第2回プログラミングの論理と実践に関するワークショップ(LPOP)の開催報告
• Authors: David S. Warren and Peter Van Roy and Yanhong A. Liu
• Abstract要約: ワークショップは2010年11月15日にアメリカ合衆国シカゴの代わりにオンラインで開催された。 このワークショップの目的は、論理を実用的なツールとして利用するコンピュータ科学のさまざまな領域を橋渡しすることである。
• 参考スコア（独自算出の注目度）: 0.2578242050187029
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.
• Abstract（参考訳）: このプロシージャには、第2回 Logic and Practice of Programming (LPOP) Workshop で提示された作業の抽象化とポジションペーパーが含まれている。 ワークショップは2010年11月15日に、ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020と共同で、事実上米国シカゴの代わりにオンラインで開催された。 本ワークショップの目的は,論理を実践的なツールとして使用する異なる分野の計算機科学の橋渡しである。 形式論理の共通言語を利用して、これらの異なる領域間でアイデアを交換する。

関連論文リスト

• Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.72590517877455]
  材料科学・化学分野における応用のための第二大言語モデル(LLM)ハッカソンの結果について述べる。 このイベントは、グローバルなハイブリッドな場所を巡って参加者が参加し、34チームが応募した。 提出は7つの主要なアプリケーション領域にまたがって行われ、アプリケーションのためのLLMの多種多様な実用性を実証した。
  論文  参考訳（メタデータ） (2024-11-20T23:08:01Z)
• 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)
• 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)
• Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space [0.0]
  新型コロナウイルス(COVID-19)のパンデミックは、従来の現場教育を根本的に置き換える必要がある。 Haskellベースの関数型プログラミングと検証コースの一環として,これらの問題に対処した戦略と経験について報告する。
  論文  参考訳（メタデータ） (2022-07-26T07:47:22Z)
• LOA: Logical Optimal Actions for Text-based Interaction Games [63.003353499732434]
  本稿では、強化学習アプリケーションの行動決定アーキテクチャである論理的最適行動(LOA)を提案する。 LOAは、自然言語インタラクションゲームのためのニューラルネットワークとシンボリック知識獲得アプローチの組み合わせである。
  論文  参考訳（メタデータ） (2021-10-21T08:36:11Z)
• Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice [0.0]
  推論タスクにおける設計、実装、およびそれらの使用は、過去20年にわたってかなりの研究の焦点となっている。 このワークショップは、設計者、実装者、実践者を集めて、論理フレームワークの構造と実用性に影響を及ぼす様々な側面について議論する。
  論文  参考訳（メタデータ） (2021-07-14T05:19:09Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。