PDDL Studio规划域建模语言

联合创作 · 2023-10-01 18:12

用于创建和检查PDDL（Planning Domain Definition Language）规划域定义语言文档的（IDE）开发环境。系统由捷克布拉格查理大学数学和物理学院开发，目前用于测试。具有语法检测、自动完成、代码高亮和项目管理等功能。研究成果发布在ICAPS 2012 conference (International Conference on Automated Planning and Scheduling)

浏览 12

点赞

收藏

分享

举报

评论

图片

表情

Simula建模语言

Simula 是一种建模语言，通常被认为是第一个面向对象 (Object-oriented, OO)

Simula建模语言

Simula建模语言

Simula是一种建模语言，通常被认为是第一个面向对象(Object-oriented,OO)的语言，随后出现的此类语言包括Smalltalk、C++、Java和C#。那时，大多数面向对象的语言是通过

Simula建模语言

EUROPA建模和规划框架

EUROPAS是NASA出品的一个规划框架，用来建模和处理规划调度和约束满足问题。该框架包含如下内容规划数据库（APlanDatabase）：EUROPA的技术基石，用于在计划初始化和完善时存储和处理

EUROPA建模和规划框架

EUROPA建模和规划框架

EUROPAS 是 NASA 出品的一个规划框架，用来建模和处理规划调度和约束满足问题。该框架包含如

EUROPA建模和规划框架

微服务之建模语言

敏捷“杀死”统一建模语言？

Macaw-LLM多模态语言建模

Macaw-LLM：具有图像、视频、音频和文本集成的多模态语言建模Macaw-LLM是一项探索性的尝试，它通过无缝结合图像、视频、音频和文本数据开创了多模式语言建模，建立在CLIP、Whisper和L

Macaw-LLM多模态语言建模

Macaw-LLM多模态语言建模

Macaw-LLM：具有图像、视频、音频和文本集成的多模态语言建模Macaw-LLM 是一项探索性的

Macaw-LLM多模态语言建模

Python数学建模系列（二）：规划问题之整数规划

Aquarius ORM Studio数据库建模工具

从事软件开发多年，感觉数据库在整个软件开发过程中扮演一个不可或缺的角色。一旦一个业务项目进入立项阶段，需要支持哪些数据库平台，如何使用该种数据库平台都将成为架构师需要考虑的内容，对于一般的开发人员，则

Aquarius ORM Studio数据库建模工具

点赞

收藏

分享

举报