Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

Tomi Janhunen

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

【24h】

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

机译：采样器程序：重新讨论抽象约束程序的稳定模型语义

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Abstract constraint atoms provide a general framework for the study of aggregates utilized in answer set programming. Such primitives suitably increase the expressive power of rules and enable more concise representation of various domains as answer set p

机译：抽象约束原子为研究答案集编程中使用的聚合提供了一个通用框架。这样的原语适当地提高了规则的表达能力，并使各种域可以更简洁地表示为答案集p

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2010年第1期|共10页
作者
Tomi Janhunen;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited [J] . Tomi Janhunen LIPIcs : Leibniz International Proceedings in Informatics . 2010,第2期

机译：采样器程序：重新讨论抽象约束程序的稳定模型语义
2. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms [J] . YI-DONG SHEN, JIA-HUAI YOU, LI-YAN YUAN Theory and Practice of Logic Programming . 2009,第4期

机译：具有任意约束原子的逻辑程序的稳定模型语义表征
3. An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions [J] . Johannes Oetsch, J{o}rg P{u}hrer, Hans Tompits LIPIcs : Leibniz International Proceedings in Informatics . 2012,第1期

机译：具有析取关系的抽象约束程序的FLP样式应答集语义
4. Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective [C] . Mario Alviano, Wolfgang Faber International Joint Conference on Artificial Intelligence . 2015

机译：稳定模型语义的抽象辩证框架重新审视：逻辑编程视角
5. Logic programming with stable models for constraint satisfaction. [D] . Padmanabhuni, Srinivas. 2000

机译：具有稳定模型的逻辑编程，可以满足约束条件。
6. Scientific Demonstration Abstracts. Demonstration Abstracts: Computer-Assisted Medical Decision-Support Systems: PC Programs for Adaptive Control of Drug Dosage Regimens and for Population Pharmacokinetic Modeling [O] . Roger W. Jelliffe, Alan Schumitzky, David DArgenio, 1990

机译：科学示范文摘。演示摘要：计算机辅助医疗决策支持系统：适应性控制药物剂量方案和人群药代动力学建模的PC程序
7. Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited [O] . Janhunen Tomi 2010

机译：采样程序：重新审视抽象约束程序的稳定模型语义
8. Towards Constraint Satisfaction through Logic Programs and the Stable ModelSemantics [R] . Simons, P. 1997

机译：通过逻辑程序和稳定模型语义实现约束满足

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

摘要

著录项

相似文献

相关主题

期刊订阅