論文の概要: 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と共同で、事実上米国シカゴの代わりにオンラインで開催された。
本ワークショップの目的は,論理を実践的なツールとして使用する異なる分野の計算機科学の橋渡しである。
形式論理の共通言語を利用して、これらの異なる領域間でアイデアを交換する。
関連論文リスト
- Combatting Human Trafficking in the Cyberspace: A Natural Language
Processing-Based Methodology to Analyze the Language in Online Advertisements [55.2480439325792]
このプロジェクトは、高度自然言語処理(NLP)技術により、オンラインC2Cマーケットプレースにおける人身売買の急激な問題に取り組む。
我々は、最小限の監督で擬似ラベル付きデータセットを生成する新しい手法を導入し、最先端のNLPモデルをトレーニングするための豊富なリソースとして機能する。
重要な貢献は、Integrated Gradientsを使った解釈可能性フレームワークの実装であり、法執行にとって重要な説明可能な洞察を提供する。
論文 参考訳(メタデータ) (2023-11-22T02:45:01Z) - An\'alise e modelagem de jogos digitais: Relato de uma experi\^encia
educacional utlizando PBL em um grupo multidisciplinar [0.0]
この記事は、サンパウロのポンティフィカル・カトリック大学のDigital Games MastersプログラムにおけるDigital Games Analysis and Modelingコースの経験を詳述する。
本論では,役割に基づく作業方法とミーティングのステップについて論じる。
また、要求図、コンテキスト図、ケース図、クラス図など、ゲームデザイン文書のGDDに寄与した成果の例を示す。
論文 参考訳(メタデータ) (2023-11-11T20:28:51Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。