A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Computing Fuzzy Answer Sets Using dlvhex
[chapter]

2007
*
Lecture Notes in Computer Science
*

By

doi:10.1007/978-3-540-74610-2_40
fatcat:gr3bn4hjojeq7l2prmzrteaaqa
*using*the*DLVHEX*reasoning engine, we so devise a vehicle for effectively*computing**fuzzy**answer**sets*. ... In this paper, we show how the*fuzzy**answer**set*semantics can be mapped onto the semantics for HEX-programs, which are nonmonotonic logic programs under the*answer**set*semantics that support the*use*of ... The mapping we propose in this work to*compute**fuzzy**answer**sets**using*HEXprograms is based on the characterisation of the FASP semantics with unfounded*sets*from [17] . ...##
###
Ranking Services Using Fuzzy HEX Programs
[chapter]

2008
*
Lecture Notes in Computer Science
*

Finally, we illustrate the

doi:10.1007/978-3-540-88737-9_14
fatcat:yiiktryblfcjbgdgjjnuor2ada
*use*of*fuzzy*HEX programs for ranking services by*using*them to model non-functional properties of services and user preferences. ... Additionally, we provide a translation from*fuzzy*HEX programs to HEX programs, enabling an implementation via the*dlvhex*reasoner. ... Directions for Further Research As future work, we plan to develop a reasoner for*fuzzy*HEX programs based on the*DLVHEX*reasoner,*using*the translation of*fuzzy*HEX programs to HEX programs presented ...##
###
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
[article]

2011
*
arXiv
*
pre-print

However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient

arXiv:1104.5133v1
fatcat:aksfbu2tnzgntbwub465in7xhy
*fuzzy**answer**set*programming solver. ... In recent years*answer**set*programming has been extended to deal with multi-valued predicates. ... Acknowledgment The authors would like to thank the anonymous reviewers for their*useful*suggestions and remarks. ...##
###
Reducing fuzzy answer set programming to model finding in fuzzy logics

2011
*
Theory and Practice of Logic Programming
*

AbstractIn recent years,

doi:10.1017/s1471068411000093
fatcat:unnwhgj5ejgyvihdh2oe3l6ibq
*answer**set*programming (ASP) has been extended to deal with multivalued predicates. ... A well-knowntechnique for classical ASP consists of translating an ASP programPto a propositional theory whose models exactlycorrespond to the*answer**sets*ofP. ... Acknowledgment The authors would like to thank the anonymous reviewers for their*useful*suggestions and remarks. ...##
###
Rules and Ontologies for the Semantic Web
[chapter]

2008
*
Lecture Notes in Computer Science
*

When we talk about rule-based approaches here, the focus will be on deductive rules languages approaches with a two-valued semantics; probabilistic,

doi:10.1007/978-3-540-85658-0_1
fatcat:x75rrerlzvelbh7vpo6subgzru
*fuzzy*, dynamic (event-condition-action rules, production ... In Section 5, first general issues that come up in combining logic-based rules and ontologies are revisited in more detail; after that, three different generic*settings*for ... However, in contrast to strong*answer**sets*, weak*answer**sets*are not guaranteed to be minimal, in the sense that a weak*answer**set*may contain some other weak*answer**set*properly; intuituively, they are ...##
###
Answer Set Programming: A Primer
[chapter]

2009
*
Lecture Notes in Computer Science
*

It shows some programming techniques and briefly overviews

doi:10.1007/978-3-642-03754-2_2
fatcat:au2bnpvk25awbja73itqqex5ni
*Answer**Set*solvers. ...*Answer**Set*Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. ...*Fuzzy*extensions of*answer*-*set*programs and their relationship to HEX-programs are given in [86, 87] . ...##
###
Efficient HEX-Program Evaluation Based on Unfounded Sets

2014
*
The Journal of Artificial Intelligence Research
*

HEX-programs extend logic programs under the

doi:10.1613/jair.4175
fatcat:hcxe3ullanbztaafzxk6g6ekie
*answer**set*semantics with external*computations*through external atoms. ... As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of*answer**set*candidates ...*Set*Programming and Other*Computing*Paradigms (ASPOCP 2012), September 4, 2012, Budapest, Hungary (Eiter, Fink, Krennwallner, Redl, & Schüller, 2012b) . ...##
###
Combining Nonmonotonic Knowledge Bases with External Sources
[chapter]

2009
*
Lecture Notes in Computer Science
*

This article reviews some of these formalisms that are centered around

doi:10.1007/978-3-642-04222-5_2
fatcat:ywmul3hqujhqvjmvpy5hnfslgu
*Answer**Set*Programming, viz. ... These formalisms were designed with different principles and four different*settings*, and thus have different properties and features; however, as argued, they are not unrelated. ...*Computation*Exploiting Proposition 6,*answer**sets*of Horn MLPs can be*computed*by means of a bottom up fixed-point*computation*. ...##
###
Combining answer set programming with description logics for the Semantic Web

2008
*
Artificial Intelligence
*

We also show how the weak

doi:10.1016/j.artint.2008.04.002
fatcat:6ljwvnzkkrec3martvmac4cdua
*answer**sets*can be*computed*utilizing*answer**sets*of ordinary normal logic programs. ... For arbitrary dl-programs, we define*answer**sets*by generalizing Gelfond and Lifschitz's notion of a transform, leading to a strong and a weak*answer**set*semantics, which are based on reductions to the ... General algorithm for*computing*weak*answer**sets**Computing*the*set*of all weak*answer**sets*of a given (general) dl-program KB = (L, P ) can be reduced to*computing*the*set*of all*answer**sets*of a normal ...##
###
Sponsoring institutions

2002
*
Physica A: Statistical Mechanics and its Applications
*

At each turn, some facts representing the board state are coupled with the logic program, which has been conceived so that

doi:10.1016/s0378-4371(02)01572-8
fatcat:qcyfgqu3sfd45jncgigcqlzjc4
*answer**sets*represent the moves: strong constraints "drop" any*answer**set*representing ... The actual reasoning is carried out by*computing*the*answer**sets*of an HEXprogram P AI that models the knowledge of the game. ... The following program, in combination with F ,*computes*all 3-Colorings (as*answer**sets*) of the graph represented by F . r 1 : color(X, red) | color(X, green) | color(X, blue) ← node(X). r 2 : ← color( ...##
###
Sponsoring institutions

1985
*
Nuclear Physics A
*

At each turn, some facts representing the board state are coupled with the logic program, which has been conceived so that

doi:10.1016/0375-9474(85)90488-9
fatcat:rduhsx664rbqnegxl4hkxgp3lu
*answer**sets*represent the moves: strong constraints "drop" any*answer**set*representing ... The actual reasoning is carried out by*computing*the*answer**sets*of an HEXprogram P AI that models the knowledge of the game. ... The following program, in combination with F ,*computes*all 3-Colorings (as*answer**sets*) of the graph represented by F . r 1 : color(X, red) | color(X, green) | color(X, blue) ← node(X). r 2 : ← color( ...##
###
Resolving conflicts in knowledge for ambient intelligence

2015
*
Knowledge engineering review (Print)
*

As such, it is an interesting and challenging application area for many

doi:10.1017/s0269888915000132
fatcat:dsa3goyft5bfxezoaz7iwuuauu
*computer*science fields and approaches. ... Usually, an order on*answer**sets*is*computed*based on the preferences, and maximal*answer**sets*w.r.t. the order are selected. ... .,*using**answer**set*programming for planning, each*answer**set*of the program corresponds to a possible plan. ...##
###
Development of a build system for cross-platform open-source projects

2017

Open-source projects are typically maintained by developer communities who

doi:10.34726/hss.2016.27843
fatcat:t2zezhqz6bbzfgngfutiz3sfnq
*use*agile methods and online collaboration tools. ... Such software is mainly*used*by academic research groups in the field of Business Informatics for describing ontologies or information extraction. ... Potassco, the Potsdam*Answer**Set*Solving Collection. 4 http://www.kr.tuwien.ac.at/research/systems/*dlvhex*/.*dlvhex*. 5 http://www.boost.org. ...##
###
Rule Interchange on the Web
[chapter]

*
Lecture Notes in Computer Science
*

Second, even within the same category of rules, systems

doi:10.1007/978-3-540-74615-7_5
fatcat:orwxx4khwrhznjpfskktuk3us4
*use*different (often incompatible) semantics and syntaxes. ... His work was supported in part by the BIT Institute, NSF grants CCR-0311512 and IIS-0534419, and by*US*Army Research Office under a subcontract from BNL. ... ., it is based on logic programming with disjunctions in rule heads, negation as failure in rule bodies, and several other extensions-all based on the so-called*answer**set*semantics (see [Bar03] ). ...