会员服务
操作 · 讲稿 ·
2023 年 5 月 26 日
Meta-MeTTa: an operational semantics for MeTTa
翻译：暂无翻译
Lucius Gregory Meredith,Ben Goertzel,Jonathan Warrell,Adam Vandervorst
Lucius Gregory Meredith,Ben Goertzel,Jonathan Warrell,Adam Vandervorst

We present an operational semantics for the language MeTTa.


翻译：暂无翻译
0
下载
关闭预览

相关内容

史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
122+阅读 · 2020年7月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【NLP| 推荐文章】 基于文本和知识库的语义搜索 （Semantic search on text and knowledge bases）
专知会员服务
43+阅读 · 2019年11月24日
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日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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智能推荐
14+阅读 · 2018年11月29日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
专知
27+阅读 · 2018年2月7日
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
SIP1-SHR-SCR蛋白复合体调控根分生组织发育分子机制的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PSMA通过TRAF6和TTC3调控前列腺癌细胞自噬在CRPC产生过程中的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
线性离散周期系统的鲁棒控制
国家自然科学基金
0+阅读 · 2012年12月31日
ASICs在肿瘤酸化微环境中对MDSCs抑制免疫活性的影响及其机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同垒层厚度并掺杂的GaNAs基短周期超晶格太阳能电池与MBE生长研究
国家自然科学基金
0+阅读 · 2012年12月31日
带有不确定干扰的无穷维振动系统的镇定
国家自然科学基金
0+阅读 · 2012年12月31日
Sema4C对斑马鱼血管和淋巴管生成的调控机制及其在肿瘤转移中的功能研究
国家自然科学基金
0+阅读 · 2011年12月31日
ERα介导的膜雌激素信号通路在神经细胞生长和凋亡中的作用
国家自然科学基金
0+阅读 · 2009年12月31日
基于适配体的小分子和蛋白质无标记化学发光检测技术
国家自然科学基金
0+阅读 · 2009年12月31日
Probabilistic Query Evaluation with Bag Semantics
Arxiv
0+阅读 · 2023年7月17日
Multilingual Speech-to-Speech Translation into Multiple Target Languages
Arxiv
0+阅读 · 2023年7月17日
Orders between channels and implications for partial information decomposition
Orders between channels and implications for partial information decomposition
Arxiv
0+阅读 · 2023年7月14日
On the Effect of Anticipation on Reading Times
Arxiv
0+阅读 · 2023年7月14日
Secure Short-Packet Communications via UAV-Enabled Mobile Relaying: Joint Resource Optimization and 3D Trajectory Design
Arxiv
0+阅读 · 2023年7月14日
Unpacking polarization: Antagonism and Alignment in Signed Networks of Online Interaction
Arxiv
0+阅读 · 2023年7月13日
Safe Networked Robotics with Probabilistic Verification
Arxiv
0+阅读 · 2023年7月12日
RaBiT: An Efficient Transformer using Bidirectional Feature Pyramid Network with Reverse Attention for Colon Polyp Segmentation
Arxiv
0+阅读 · 2023年7月12日
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Arxiv
22+阅读 · 2019年11月5日
Single-Shot Object Detection with Enriched Semantics
Arxiv
11+阅读 · 2018年4月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
操作
讲稿
相关VIP内容
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
122+阅读 · 2020年7月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【NLP| 推荐文章】 基于文本和知识库的语义搜索 （Semantic search on text and knowledge bases）
专知会员服务
43+阅读 · 2019年11月24日
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日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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智能推荐
14+阅读 · 2018年11月29日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
专知
27+阅读 · 2018年2月7日
相关论文
Probabilistic Query Evaluation with Bag Semantics
Arxiv
0+阅读 · 2023年7月17日
Multilingual Speech-to-Speech Translation into Multiple Target Languages
Arxiv
0+阅读 · 2023年7月17日
Orders between channels and implications for partial information decomposition
Orders between channels and implications for partial information decomposition
Arxiv
0+阅读 · 2023年7月14日
On the Effect of Anticipation on Reading Times
Arxiv
0+阅读 · 2023年7月14日
Secure Short-Packet Communications via UAV-Enabled Mobile Relaying: Joint Resource Optimization and 3D Trajectory Design
Arxiv
0+阅读 · 2023年7月14日
Unpacking polarization: Antagonism and Alignment in Signed Networks of Online Interaction
Arxiv
0+阅读 · 2023年7月13日
Safe Networked Robotics with Probabilistic Verification
Arxiv
0+阅读 · 2023年7月12日
RaBiT: An Efficient Transformer using Bidirectional Feature Pyramid Network with Reverse Attention for Colon Polyp Segmentation
Arxiv
0+阅读 · 2023年7月12日
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Arxiv
22+阅读 · 2019年11月5日
Single-Shot Object Detection with Enriched Semantics
Arxiv
11+阅读 · 2018年4月8日
相关基金
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
SIP1-SHR-SCR蛋白复合体调控根分生组织发育分子机制的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PSMA通过TRAF6和TTC3调控前列腺癌细胞自噬在CRPC产生过程中的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
线性离散周期系统的鲁棒控制
国家自然科学基金
0+阅读 · 2012年12月31日
ASICs在肿瘤酸化微环境中对MDSCs抑制免疫活性的影响及其机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同垒层厚度并掺杂的GaNAs基短周期超晶格太阳能电池与MBE生长研究
国家自然科学基金
0+阅读 · 2012年12月31日
带有不确定干扰的无穷维振动系统的镇定
国家自然科学基金
0+阅读 · 2012年12月31日
Sema4C对斑马鱼血管和淋巴管生成的调控机制及其在肿瘤转移中的功能研究
国家自然科学基金
0+阅读 · 2011年12月31日
ERα介导的膜雌激素信号通路在神经细胞生长和凋亡中的作用
国家自然科学基金
0+阅读 · 2009年12月31日
基于适配体的小分子和蛋白质无标记化学发光检测技术
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top