ASP-Core-2 Input Language Format

FRANCESCO CALIMERI; WOLFGANG FABER; MARTIN GEBSER; GIOVAMBATTISTA IANNI; ROLAND KAMINSKI; THOMAS KRENNWALLNER; NICOLA LEONE; MARCO MARATEA; FRANCESCO RICCA; TORSTEN SCHAUB

首页> 外文期刊>Theory and Practice of Logic Programming >ASP-Core-2 Input Language Format

【24h】

ASP-Core-2 Input Language Format

机译：ASP-Core-2输入语言格式

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Standardization of solver input languages has been a main driver for the growth of severalareas within knowledge representation and reasoning, fostering the exploitation in actual applications.In this document, we present the ASP-Core-2 standard input language for Answer SetProgramming, which has been adopted in ASP Competition events since 2013.

机译：求解器输入语言的标准化是多个主要驱动因素知识表示和推理中的地区，促进实际应用中的开发。在本文档中，我们介绍了答案集的ASP-Core-2标准输入语言编程，自2013年以来已采用ASP比赛事件。

著录项

来源
《Theory and Practice of Logic Programming》 |2020年第2期|294-309|共16页
作者
FRANCESCO CALIMERI; WOLFGANG FABER; MARTIN GEBSER; GIOVAMBATTISTA IANNI; ROLAND KAMINSKI; THOMAS KRENNWALLNER; NICOLA LEONE; MARCO MARATEA; FRANCESCO RICCA; TORSTEN SCHAUB;
展开▼
作者单位

DeMaCS Universita della Calabria Rende Italy;

Institut fuer Angewandte Informatik Alpen-Adria-Universitaet Klagenfurt Austria;

Institut fuer Angewandte Informatik Alpen-Adria-Universitaet Klagenfurt Austria;

DeMaCS Universita della Calabria Rende Italy;

Institute of Computer Science University of Potsdam Potsdam Germany;

XIMES GmbH Vienna Austria;

DeMaCS Universita della Calabria Rende Italy;

DIBRIS University of Genova Genova Italy;

DeMaCS Universita della Calabria Rende Italy;

Institute of Computer Science University of Potsdam Potsdam Germany;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Answer Set Programming; standard language; knowledge representation and reasoning; standardization;

机译：回答设置编程;标准语言;知识代表和推理;标准化;

相似文献

外文文献
中文文献
专利

1. Model independent determination of the CKM phase γ using input from $D^{0} ‐ {\overset{ˉ}{D}}^{0}$ $$ {D}^0hbox{-} {overline{D}}^0 $$ mixing [J] . Samuel Harnew, Jonas Rademacker The journal of high energy physics . 2015,第3期

机译：模型独立测定CKM相γ使用输入从 $< msup> d0-d< mo stractry =“true”>ˉ0$$ {d} ^ 0 hbox { - } { overline {d}} ^ 0 $$ 混合$
2. How much input is enough? Correlating comprehension and child language input in an endangered language [J] . Felicity Meakins, Gillian Wigglesworth Journal of Multilingual & Multicultural Development . 2013,第2期

机译：多少输入就足够了？将理解与儿童濒危语言中的语言输入相关联
3. Comparing Four Question Formats in Five Languages for On-Line Consumer Surveys [J] . Denis Richard Seninde, Edgar Chambers IV Methods and Protocols . 2020,第3期

机译：比较五种语言的四种问题格式，用于在线消费者调查
4. The Sprite Input Language-an intermediate format for high levelsynthesis [C] . Krol T., van Meerbergen J., Niessen C., UKACC Control 2004 Mini Symposia . 2004

机译：Sprite输入语言-一种高级综合的中间格式
5. Quality and Quantity of Language Input and Its Relation to the Language Outcomes of Preschool Children with Hearing Loss Who Use Listening and Spoken Language [D] . Arora, Sonia Bala. 2018

机译：使用听力和口语的学龄前失聪儿童的语言输入质量，数量及其与语言结果的关系
6. Comparing Four Question Formats in Five Languages for On-Line Consumer Surveys [O] . Denis Richard Seninde, Edgar Chambers IV 2020

机译：比较五种语言的四种问题格式用于在线消费者调查
7. Teenagers and young adults are increasingly using social networks as a means to interact and participate in constructing a multiple speech. Companies take direct options with followers in networks and use these virtual structures to approach their target. The purpose of this paper is to study, using empirical and observational methodology, how to build «Coca-Cola» brand image in «Tuenti», followed by the network over the public sector. Among other things, we will see how involved the brand and how followers, what are the issues that are introduced on the inputs and through what kind of formats. In conclusion, we noted that the interest in the brand of free speech to let the followers is just a strategy, the actual entries of «Coca-Cola» are very rare but they all have a high effect, a language that challenges the user to activate and resume his speech so directed. Moreover, there is no mechanism differentiating between information, entertainment and advertising, which combined with continued exposure to advertising impacts across different formats, leads us to propose the need for media education to encourage responsible use critic and social networks by young people. [O] . Carmen Lazo, Marta, Martínez Rodrigo, Estrella, Sánchez Martín, Lourdes 2013

机译：青少年和年轻人越来越多地使用社交网络作为交互和参与构建的手段多个演讲。公司直接选择网络中的关注者并使用这些虚拟结构接近他们的目标。本文的目的是使用经验和观察方法研究如何在«Tuenti»建立«可口可乐»品牌形象，随后是公共部门的网络。除其他外，我们将看到品牌及其追随者的参与程度，以及在投入和投入上引入的问题通过什么样的格式。总之，我们注意到对自由言论品牌的兴趣让追随者只是一个策略，«可口可乐»的实际条目是非常罕见的，但它们都有很高的效果，一种语言，挑战用户如此指示激活和恢复他的演讲。而且，没有机制区分信息，娱乐和广告之间，以及持续接触广告不同形式的影响，使我们建议需要媒体教育来鼓励负责任的使用评论家和年轻人的社交网络。

ASP-Core-2 Input Language Format

摘要

著录项

相似文献

相关主题

期刊订阅