logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Deductive Systems for Logic Programs with Counting

delete2026-01-01
delete0
PRE
AI
J
Jorge Fandinno *
V
Vladimir Lifschitz
DOI：10.1017/S1471068425100379delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
在答案集编程中，如果两组规则在任何上下文中具有相同含义，则认为它们是强等价的。两个程序的强等价性有时可以通过在适当的演绎系统中从另一个程序的规则推导出每个程序的规则来建立。本文展示了如何将证明强等价性的方法扩展到包含计数聚合的程序。
Keyword:
theory
answer set programming
verification

期刊

T
Theory and Practice of Logic Programming
IF:
1.1
论文数:
24
被引数:
684

机构

暂无机构信息
引用论文

引用论文

A new logical characterisation of stable models and answer sets
errLecture Notes in Computer Science
IF0
err2005-06-09
err0
PREAI
errDavid Pearce
err分享
err收藏
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
errProceedings of the AAAI Conference on Artificial Intelligence
IF0
err
err0
PREAI
errFandinno,Jorge; Hansen,Zachary
err分享
err收藏
Strongly equivalent logic programs
errACM Transactions on Computational Logic
IF0
err2001-10-01
err0
PREAI
errVladimir Lifschitz; David Pearce; Agustín Valverde
err分享
err收藏
SELP – A System for Studying Strong Equivalence Between Logic Programs
errLecture Notes in Computer Science
IF0
err2005-01-01
err0
PREAI
errChen,Yin; Lin,Fangzhen; Li,Lei
err分享
err收藏
Strong Equivalence of Logic Programs with Counting
errTheory and Practice of Logic Programming
IF0
err2022-07-01
err0
PREAI
errLIFSCHITZ,VLADIMIR
err分享
err收藏
Infinitary equilibrium logic and strongly equivalent logic programs无限均衡逻辑和强等价逻辑程序
errartificial intelligence review
IF4.6
err2017-05-01
err13
errOAAI
errHarrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustin
err分享
err收藏
Characterising equilibrium logic and nested logic programs: Reductions and complexity,
errTheory and Practice of Logic Programming
IF0
err2009-07-31
err0
errOAAI
errDAVID PEARCE; HANS TOMPITS; STEFAN WOLTRAN
err分享
err收藏
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
errLecture Notes in Computer Science
IF0
err2002-04-23
err0
PREAI
errDavid Pearce; Hans Tompits; Stefan Woltran
err分享
err收藏
Stable models and circumscription
errartificial intelligence review
IF4.6
err2011-01-01
err98
errOAAI
errFerraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
err分享
err收藏
Connecting First-Order ASP and the Logic FO(ID) through Reducts
errLecture Notes in Computer Science
IF0
err2012-01-01
err0
PREAI
errTruszczynski,Miroslaw
err分享
err收藏
学者 查看更多内容