論文の概要: Proceedings 38th International Conference on Logic Programming
- arxiv url: http://arxiv.org/abs/2208.02685v1
- Date: Thu, 4 Aug 2022 14:36:47 GMT
- ステータス: 処理完了
- システム内更新日: 2022-08-05 12:58:32.605446
- Title: Proceedings 38th International Conference on Logic Programming
- Title（参考訳）: 第38回論理プログラミング国際会議
- Authors: Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin
Gebser, Tuncay Tekle
- Abstract要約: ICLP 2022(ICLP 2022)は、論理プログラミングの研究を行う国際イベントである。
基礎:意味論、形式主義、非単調推論、知識表現。
アプリケーション:データベース、ビッグデータ、データ統合とフェデレーション、ソフトウェアエンジニアリング、自然言語処理、Webおよびセマンティックウェブ、エージェント、人工知能、計算生命科学、サイバーセキュリティ、ロボティクス、教育。
- 参考スコア（独自算出の注目度）: 5.314172877344743
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: ICLP is the premier international event for presenting research in logic
programming. Contributions to ICLP 2022 were sought in all areas of logic
programming, including but not limited to: Foundations: Semantics, Formalisms,
Nonmonotonic reasoning, Knowledge representation. Languages issues:
Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes,
Assertions, Modules, Meta-programming, Logic-based domain-specific languages,
Programming techniques. Programming support: Program analysis, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Execution
visualization. Implementation: Compilation, Virtual machines, Memory
management, Parallel and Distributed execution, Constraint handling rules,
Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies:
Inductive and coinductive logic programming, Constraint logic programming,
Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem
proving, Argumentation, Probabilistic programming, Machine learning.
Applications: Databases, Big data, Data integration and federation, Software
engineering, Natural language processing, Web and semantic web, Agents,
Artificial intelligence, Computational life sciences, Cyber-security, Robotics,
Education.
- Abstract（参考訳）: ICLP(ICLP)は論理プログラミング研究のための国際会議である。
iclp 2022への貢献は、基礎:意味論、形式論、非単調な推論、知識表現を含む、論理プログラミングのあらゆる分野において求められた。
言語の問題:並行性、オブジェクト、コーディネーション、モビリティ、高階、型、モード、アサーション、モジュール、メタプログラミング、論理ベースのドメイン固有言語、プログラミング技術。
プログラミングサポート: プログラム解析、変換、検証、検証、デバッグ、プロファイリング、テスト、実行の可視化。
実装: コンパイル、仮想マシン、メモリ管理、並列および分散実行、制約処理ルール、タブリング、外部インターフェース、ユーザインターフェース。
関連するパラダイムとシナジー:帰納的および帰納的論理プログラミング、制約論理プログラミング、Answerセットプログラミング、SAT、SMT、CSPソルバとのインタラクション、Theorem証明、Argumentation、確率的プログラミング、機械学習。
アプリケーション:データベース、ビッグデータ、データ統合と連合、ソフトウェア工学、自然言語処理、webとセマンティックウェブ、エージェント、人工知能、計算生命科学、サイバーセキュリティ、ロボット工学、教育。
関連論文リスト
- Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus [1.9662978733004604]
ARC(Abstraction and Reasoning Corpus)は、任意の機械学習手法では解決できない。
本稿では,AIの分岐であるインダクティブ論理プログラミング(ILP)を用いてARCを解くプログラム合成システムを提案する。
論文 参考訳（メタデータ） (2024-05-10T11:22:31Z) - Is English the New Programming Language? How About Pseudo-code Engineering? [0.0]
本研究では,OpenAIの指導的言語モデルであるChatGPTに異なる入力形式がどのような影響を及ぼすかを検討する。
それは、意図、解釈可能性、完全性、創造性の4つのカテゴリにまたがるモデルの習熟度を調べる。
論文 参考訳（メタデータ） (2024-04-08T16:28:52Z) - Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。
LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文 参考訳（メタデータ） (2023-11-10T16:23:50Z) - When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。
具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。
コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
論文 参考訳（メタデータ） (2023-08-29T17:22:39Z) - A Conversational Paradigm for Program Synthesis [110.94409515865867]
本稿では,大規模言語モデルを用いた対話型プログラム合成手法を提案する。
私たちは、自然言語とプログラミング言語のデータに基づいて、CodeGenと呼ばれる大規模な言語モデルのファミリーを訓練します。
本研究は,会話能力の出現と,提案した会話プログラム合成パラダイムの有効性を示すものである。
論文 参考訳（メタデータ） (2022-03-25T06:55:15Z) - Proceedings 37th International Conference on Logic Programming
(Technical Communications) [10.616987252584066]
ICLP 2021(ICLP 2021)は、論理プログラミングの研究を行う国際イベントである。
基礎:意味論、形式主義、非単調推論、知識表現。
アプリケーション:データベース、ビッグデータ、データ統合とフェデレーション、ソフトウェアエンジニアリング、自然言語処理、Webおよびセマンティックウェブ、エージェント、人工知能、計算生命科学、サイバーセキュリティ、ロボティクス、教育。
論文 参考訳（メタデータ） (2021-09-15T02:07:23Z) - Planning with Incomplete Information in Quantified Answer Set
Programming [1.3501640559999886]
ASP(Answer Set Programming)における不完全な情報を用いた計画手法を提案する。
論理プログラムが状態間の遷移関数を記述する単純な形式主義を用いて計画問題を表現している。
本稿では、量子化された論理プログラムをQBFに変換し、QBFソルバを実行する翻訳ベースのQASPソルバを提案する。
論文 参考訳（メタデータ） (2021-08-13T21:24:47Z) - Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
LAPS(Language for Abstraction and Program Search)は、自然言語アノテーションを用いて、ライブラリとニューラルネットワークによる合成のための検索モデルの共同学習をガイドする手法である。
最先端のライブラリ学習システム(DreamCoder)に統合されると、LAPSは高品質なライブラリを生成し、検索効率と一般化を改善する。
論文 参考訳（メタデータ） (2021-06-18T15:08:47Z) - Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。
モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。
これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
論文 参考訳（メタデータ） (2020-12-23T20:40:18Z) - Proceedings 36th International Conference on Logic Programming
(Technical Communications) [127.81808516917793]
ICLPは論理プログラミング研究のための国際会議である。
1982年にマルセイユで開かれた最初の会議以来、ICLPは論理プログラミングの研究を示す主要な国際イベントとなっている。
論文 参考訳（メタデータ） (2020-09-19T04:18:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。