搜索

PDDL Studio规划域建模语言

0粉丝
用于创建和检查PDDL（Planning Domain Definition Language）规划域定义语言文档的（IDE）开发环境。系统由捷克布拉
知识
简介
用于创建和检查PDDL（Planning Domain Definition Language）规划域定义语言文档的（IDE）开发环境。系统由捷克布拉格查理大学数学和物理学院开发，目前用于测试。具有语法检测、自动完成、代码高亮和项目管理等功能。研究成果发布在ICAPS 2012 conference... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
企业应用、 教学科研相关
授权协议
GPL
操作系统
跨平台
收录时间
2023-10-01
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Simula建模语言
Simula 是一种建模语言，通常被认为是第一个面向对象 (Object-oriented, OO)
Simula建模语言
0
Simula建模语言
Simula是一种建模语言，通常被认为是第一个面向对象(Object-oriented,OO)的语言，随后出现的此类语言包括Smalltalk、C++、Java和C#。那时，大多数面向对象的语言是通过
Simula建模语言
0
EUROPA建模和规划框架
EUROPAS是NASA出品的一个规划框架，用来建模和处理规划调度和约束满足问题。该框架包含如下内容规划数据库（APlanDatabase）：EUROPA的技术基石，用于在计划初始化和完善时存储和处理
EUROPA建模和规划框架
0
EUROPA建模和规划框架
EUROPAS 是 NASA 出品的一个规划框架，用来建模和处理规划调度和约束满足问题。该框架包含如
EUROPA建模和规划框架
0
Macaw-LLM多模态语言建模
Macaw-LLM：具有图像、视频、音频和文本集成的多模态语言建模Macaw-LLM是一项探索性的尝试，它通过无缝结合图像、视频、音频和文本数据开创了多模式语言建模，建立在CLIP、Whisper和L
Macaw-LLM多模态语言建模
0
Macaw-LLM多模态语言建模
Macaw-LLM：具有图像、视频、音频和文本集成的多模态语言建模Macaw-LLM 是一项探索性的
Macaw-LLM多模态语言建模
0
Aquarius ORM Studio数据库建模工具
Aquarius ORM Studio数据库建模工具
0
Aquarius ORM Studio数据库建模工具
从事软件开发多年，感觉数据库在整个软件开发过程中扮演一个不可或缺的角色。一旦一个业务项目进入立项阶段，需要支持哪些数据库平台，如何使用该种数据库平台都将成为架构师需要考虑的内容，对于一般的开发人员，则
Aquarius ORM Studio数据库建模工具
0
GAMS数学规划和优化建模系统
TheGeneralAlgebraicModelingSystem(GAMS)是一款数学规划和优化的高级建模系统。通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系
GAMS数学规划和优化建模系统
0
SoaML面向服务架构建模语言
一个扩展 UML 2 的 OMG 标准，用于建模服务，面向服务架构（SOA）和面向服务解决方案。此模
SoaML面向服务架构建模语言
0