会员服务
2021 年 8 月 26 日
P$ρ$Log: a system for rule-based programming
翻译：Poff$L$Log:基于规则的方案拟订系统
Besik Dundua
Besik Dundua
from arxiv, 6 pages, 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)

In this paper, we give a brief overview of the rule-based programming system, called P$\rho$Log and illustrate its capabilities.


翻译：在本文中,我们简要概述了基于规则的方案拟订系统,称为P$\rho$Log,并说明其能力。
0
下载
关闭预览

相关内容

MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
395+阅读 · 2021年1月11日
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
专知会员服务
113+阅读 · 2020年12月7日
2020数据工程师成长路线图
专知会员服务
38+阅读 · 2020年9月6日
【经典书】贝叶斯编程，378页pdf，Bayesian Programming
【经典书】贝叶斯编程，378页pdf，Bayesian Programming
专知会员服务
244+阅读 · 2020年5月18日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
270+阅读 · 2019年10月9日
动物脑的好奇心和强化学习的好奇心
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
LibRec 精选：连通知识图谱与推荐系统
LibRec 精选：连通知识图谱与推荐系统
LibRec智能推荐
3+阅读 · 2018年8月9日
条件GAN重大改进！cGANs with Projection Discriminator
条件GAN重大改进！cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
8+阅读 · 2017年11月25日
【学习】(Python)SVM数据分类
【学习】(Python)SVM数据分类
机器学习研究会
6+阅读 · 2017年10月15日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
【推荐】(Keras)LSTM多元时序预测教程
【推荐】(Keras)LSTM多元时序预测教程
机器学习研究会
24+阅读 · 2017年8月14日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Type-Based Termination for Futures
Arxiv
0+阅读 · 2021年10月19日
An Introduction to Probabilistic Programming
Arxiv
0+阅读 · 2021年10月19日
Improved Classical and Quantum Algorithms for the Shortest Vector Problem via Bounded Distance Decoding
Arxiv
0+阅读 · 2021年10月18日
Typed Image-based Programming with Structure Editing
Arxiv
0+阅读 · 2021年10月18日
LPRules: Rule Induction in Knowledge Graphs Using Linear Programming
Arxiv
0+阅读 · 2021年10月15日
A new approach for measuring semantic similarity of ontology concepts using dynamic programming
Arxiv
0+阅读 · 2021年10月2日
Simulation Based Probabilistic Risk Assessment (SIMPRA): Risk Based Design
Arxiv
0+阅读 · 2021年9月30日
The Book of Why: Review
Arxiv
15+阅读 · 2019年9月30日
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Arxiv
5+阅读 · 2018年7月23日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
相关VIP内容
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
395+阅读 · 2021年1月11日
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
专知会员服务
113+阅读 · 2020年12月7日
2020数据工程师成长路线图
专知会员服务
38+阅读 · 2020年9月6日
【经典书】贝叶斯编程，378页pdf，Bayesian Programming
【经典书】贝叶斯编程，378页pdf，Bayesian Programming
专知会员服务
244+阅读 · 2020年5月18日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
270+阅读 · 2019年10月9日
热门VIP内容
相关资讯
动物脑的好奇心和强化学习的好奇心
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
LibRec 精选：连通知识图谱与推荐系统
LibRec 精选：连通知识图谱与推荐系统
LibRec智能推荐
3+阅读 · 2018年8月9日
条件GAN重大改进！cGANs with Projection Discriminator
条件GAN重大改进！cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
8+阅读 · 2017年11月25日
【学习】(Python)SVM数据分类
【学习】(Python)SVM数据分类
机器学习研究会
6+阅读 · 2017年10月15日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
【推荐】(Keras)LSTM多元时序预测教程
【推荐】(Keras)LSTM多元时序预测教程
机器学习研究会
24+阅读 · 2017年8月14日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
相关论文
Type-Based Termination for Futures
Arxiv
0+阅读 · 2021年10月19日
An Introduction to Probabilistic Programming
Arxiv
0+阅读 · 2021年10月19日
Improved Classical and Quantum Algorithms for the Shortest Vector Problem via Bounded Distance Decoding
Arxiv
0+阅读 · 2021年10月18日
Typed Image-based Programming with Structure Editing
Arxiv
0+阅读 · 2021年10月18日
LPRules: Rule Induction in Knowledge Graphs Using Linear Programming
Arxiv
0+阅读 · 2021年10月15日
A new approach for measuring semantic similarity of ontology concepts using dynamic programming
Arxiv
0+阅读 · 2021年10月2日
Simulation Based Probabilistic Risk Assessment (SIMPRA): Risk Based Design
Arxiv
0+阅读 · 2021年9月30日
The Book of Why: Review
Arxiv
15+阅读 · 2019年9月30日
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Arxiv
5+阅读 · 2018年7月23日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
Top
微信扫码咨询专知VIP会员
Top