手机版
热门标签
站点地图
我要投稿
广告合作
联系我们
搜 索
广告位招租
广告位招租
切换导航
首页
编程教程
编程导航
编程百科
编程问答
编程博文
编程实例
硬件设备
网络运营
软件教程
移动数码
办公软件
操作系统
网络运维
设计教程
技术频道
▸ 编程语言
▸ 前端开发
▸ 移动开发
▸ 开发工具
▸ 程序设计
▸ 行业应用
▸ CMS系统
▸ 服务器
▸ 数据库
公众号推荐
微信公众号搜
"智元新知"
关注
微信扫一扫可直接关注哦!
answer-set-programming
answer-set-programming专题提供answer-set-programming的最新资讯内容,帮你更好的了解answer-set-programming。
sbass无法读取gringo输出
我正在运行一个简单的ASP程序: <pre><code>%Defining possible states of each of the rook space occupied(t; f). %Generate
作者:佚名 时间:2022-06-12
如何在答案集编程中对此进行编码?
我绝对是回答集合编程的新手,而我一直在努力解决一个非常简单的问题。该程序需要用clingo编写。
作者:佚名 时间:2022-06-03
如何在suming中使用sum?
我有以下数据集: <pre><code>vertex ( v1 ). vertex ( v2 ). vertex ( v3 ). vertex ( v4 ). vertex ( v5 ). vertex ( v6 ). verte
作者:佚名 时间:2022-06-03
如何使用答案集编程从图中提取树?
<blockquote> 有一个无向图(V,E),边上的权重w:E→N,a 目标k∈N,阈值O∈N。找到该k个顶点的树 图的重
作者:佚名 时间:2022-06-03
确定两个集团是否不同
假设我有一个图,并且想在图的后面找到2个不同的集团。集团是图顶点的子集,所有图顶点都连接在一
作者:佚名 时间:2022-06-02
clingo 中的谜语
因此,在标签序言中,<a href="https://stackoverflow.com/q/65511714/8080648">someone</a> 想要解决 Dan Finkel 的 <a href="htt
作者:佚名 时间:2022-06-01
如何替换choicerule以减少使用aspclingo杀死接地过程的“无意义”答案
我目前正在制定答案集计划,以便为学校制定时间表。 我使用的规则库与此类似: <pre><code>teacher(a).
作者:佚名 时间:2022-06-01
最大化 clingo
我有以下 clingo 代码来生成搜索空间,后跟约束。 <pre><code>{in(I,1..4)}=1 :- I=1..n. :- [constraint1] :- [constrain
作者:佚名 时间:2022-05-26
如何在 clingo - (ASP) 中使用数据结构而不是命令行参数
我从逻辑编程开始,我正在编写一个简单的程序来查找节点之间的最短路径。我唯一能真正理解的教程
作者:佚名 时间:2022-05-17
Clingo 程序预期可满足
我正在 Clingo 5.0.0 中测试一些涉及算术的程序,但我不明白为什么下面的程序无法满足: <pre><code>#cons
作者:佚名 时间:2022-05-12
如何在答案集编程ASP Clingo中找到倒数第二个值
我正在使用答案集编程 (Clingo) 为大学课程时间表建模。要求是每节课必须分配到特定的周、日和开始/结
作者:佚名 时间:2022-05-10
在 Clingo 骑士路径程序中从棋盘中删除 a1 字段
我需要对棋盘上的骑士路径和汉密尔顿循环进行一些模拟,但我想知道如果我从棋盘中排除某些字段会
作者:佚名 时间:2022-05-04
如何定义多重惩罚以最小化 clingo 的整体?
我正在尝试使用 clingo 生成锦标赛玩家房间分配: <pre><code>player(1..20). room(1..4). played(1..20, 0). rank(1.
作者:佚名 时间:2022-05-02
如何在 clingo 中总结所有而不仅仅是不同的值?
以下代码生成 <code>x(3)</code> 而不是 <code>x(4)</code>,因为即使 1 出现两次,它也会将 1 和 2 相加。在 clingo
作者:佚名 时间:2022-05-02
clingo 中多项选择谓词的简写
现在我有一个单选谓词来定义我的搜索空间。 <pre><code>#const nRounds = 3. #const nPlayers = 17. #const nSeats = nRo
作者:佚名 时间:2022-05-02
在 clingo 中有效地减少搜索空间
我正在努力解决一个约束问题(它会因大值和/或如果我尝试优化而不是仅仅寻找任何解决方案而崩溃)
作者:佚名 时间:2022-05-01
Clingo:操作未定义
将以下规则添加到我的代码会导致错误消息 (<code>info: operation undefined (Max-Min)</code>): <pre><code>rank_diffe
作者:佚名 时间:2022-05-01
在 Clingo/ASP 中为匹配人员生成解决方案候选
我有一个人员列表,我想将他们全部配对,然后根据偏好进行一些过滤。当我生成我的候选解决方案时
作者:佚名 时间:2022-04-24
如何在 clingo / gringo 中替换 python API 中的常量项?
假设我有以下文件 <code>foo.lp</code>: <pre><code>foo(x). </code></pre> 现在当我运行 <code>gringo -t -c x=1 foo.lp<
作者:佚名 时间:2022-04-21
如何使用 Potassco clingo python API 实际检查模型证明的最优性?
我有以下代码: <pre><code>from clingo import Control def on_model(m): print(m, m.optimality_proven) ctl = Control(["
作者:佚名 时间:2022-04-21
上一页
1
2
下一页
小编推荐
苹果市值2025年有望达4万亿美元
• 苹果iPhone屏幕划痕如何去除?7个法子可
• iPhone SE 4首发!苹果自研5G基带第一个
• 史无前例:iPhone 16系列电池容量公布
• 首批iPhone 16在路上了!苹果已发货 明
• 绝!iPhone16开卖:北京上海用户暴雨中
• iPhone 18用上台积电2nm芯片!但苹果又
• 粉碎不支持iPhone谣言!微信官宣:朋友
热门标签
更多
python
JavaScript
java
HTML
PHP
reactjs
C#
Android
CSS
Node.js
sql
r
python-3.x
MysqL
jQuery
c++
pandas
Flutter
angular
IOS
django
linux
swift
typescript
路由器
JSON
路由器设置
无线路由器
h3c
华三
华三路由器设置
华三路由器
电脑软件教程
arrays
docker
软件图文教程
C
vue.js
laravel
spring-boot