Representing Abstract Dialectical Frameworks with Binary Decision Diagrams

启发式 论证理论 二元决策图 计算机科学 理论计算机科学 等级制度 代表(政治) 集合(抽象数据类型) 二进制数 辩证法 数学 程序设计语言 算术 哲学 认识论 政治 经济 政治学 法学 市场经济 操作系统
作者
Stefan Ellmauthaler,Sarah Alice Gaggl,Dominik Rusovac,Johannes Wallner
出处
期刊:Lecture Notes in Computer Science 卷期号:: 177-189 被引量:1
标识
DOI:10.1007/978-3-031-15707-3_14
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
xz发布了新的文献求助10
刚刚
chem001完成签到,获得积分10
刚刚
爆米花应助淡淡依霜采纳,获得10
1秒前
我和我完成签到,获得积分10
1秒前
秦小荷完成签到,获得积分10
1秒前
铜离子发布了新的文献求助10
2秒前
小米应助狂野妙菱采纳,获得10
2秒前
2秒前
FashionBoy应助Lemon采纳,获得10
2秒前
3秒前
桐桐应助无情山水采纳,获得10
3秒前
vffg完成签到,获得积分10
3秒前
4秒前
4秒前
4秒前
wei发布了新的文献求助10
5秒前
专一的书雪完成签到,获得积分10
5秒前
王五完成签到,获得积分10
5秒前
11111发布了新的文献求助10
5秒前
小米应助狂野妙菱采纳,获得10
6秒前
6秒前
科研打工人完成签到,获得积分10
6秒前
Dawn完成签到,获得积分10
7秒前
血小板发布了新的文献求助60
8秒前
晴哆哆完成签到,获得积分10
9秒前
9秒前
阿洁发布了新的文献求助10
9秒前
9秒前
爱撒娇的蝴蝶完成签到 ,获得积分10
10秒前
yifan92完成签到,获得积分10
10秒前
Dearjw1655完成签到,获得积分10
11秒前
Riggle G完成签到,获得积分10
11秒前
小杨完成签到 ,获得积分10
12秒前
12秒前
灵巧的傲柏完成签到,获得积分10
12秒前
aaaa发布了新的文献求助10
13秒前
qll完成签到,获得积分10
13秒前
13秒前
苏恩完成签到,获得积分10
14秒前
思源应助繁沚采纳,获得10
14秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Kinesiophobia : a new view of chronic pain behavior 2000
Research for Social Workers 1000
Mastering New Drug Applications: A Step-by-Step Guide (Mastering the FDA Approval Process Book 1) 800
The Social Psychology of Citizenship 600
Signals, Systems, and Signal Processing 510
Discrete-Time Signals and Systems 510
热门求助领域 (近24小时)
化学 材料科学 生物 医学 工程类 计算机科学 有机化学 物理 生物化学 纳米技术 复合材料 内科学 化学工程 人工智能 催化作用 遗传学 数学 基因 量子力学 物理化学
热门帖子
关注 科研通微信公众号,转发送积分 5915814
求助须知:如何正确求助?哪些是违规求助? 6866492
关于积分的说明 15795625
捐赠科研通 5041630
什么是DOI,文献DOI怎么找? 2713543
邀请新用户注册赠送积分活动 1665355
关于科研通互助平台的介绍 1605239