Results 1 - 10 of 36,290

Answer Set Semantics vs. Information Term Semantics

by Camillo Fiorentini, Mario Ornaghi
"... Abstract We compare Answer Set semantics for propositional theories and Fcl, a constructive logic introduced in [8]. 1 ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
Abstract We compare Answer Set semantics for propositional theories and Fcl, a constructive logic introduced in [8]. 1

Query Answering in Resource-Based answer set semantics?

by Stefania Costantini, Andrea Formisano
"... Abstract. In recent work, we defined Resource-Based answer set semantics, which is an extension to traditional answer set semantics stemming from the study of its relationship with linear logic. In this setting there are no inconsistent programs, and constraints are defined “per se ” in a separate l ..."
Abstract - Add to MetaCart
Abstract. In recent work, we defined Resource-Based answer set semantics, which is an extension to traditional answer set semantics stemming from the study of its relationship with linear logic. In this setting there are no inconsistent programs, and constraints are defined “per se ” in a separate

1Measuring Inconsistency in Fuzzy Answer Set Semantics

by Student Member, Ieee Manuel Ojeda-aciego, Senior Member
"... Abstract—Recent approaches have shown that the measure-ment of the amount of inconsistent information contained in a logic theory can be useful to infer positive information. This paper deals with the definition of measures of inconsis-tency in the residuated logic programming paradigm under the fuz ..."
Abstract - Add to MetaCart
the fuzzy answer set semantics. This fuzzy framework provides a soft mechanism of controlling the amount of information inferred and thus, controlling the inconsistencies by modifying slightly the truth-values of some rules. Index Terms—Inconsistency, Fuzzy answer set semantics. I.

Frame Logic under Answer Set Semantics

by Mario Alviano, Francesco Calimeri, Giovambattista Ianni, Alessandra Martello
"... Abstract. Frame logic is well known as a useful ontology modeling formalism, mainly appreciated for its object-oriented features and its nonmonotonic variant, capable to deal with typical nonmonotonic features such as object oriented inheritance. This paper presents a preliminary work defining a fra ..."
Abstract - Add to MetaCart
framework for coping with frame-like syntax and higher order reasoning within an answer set programming environment. Semantics is defined by means of a translation to an ordinary answer set program. A working prototype, together with usage examples, is presented. The works paves the way to further deeper

Merging Logic Programs under Answer Set Semantics

by James Delgrande , Torsten Schaub, Hans Tompits, Stefan Woltran
"... This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1,..., Pn, the goal is to provide characterisations of the merging of these programs. Our formal techniques are based on notions of relative distance between the underlying SE models ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1,..., Pn, the goal is to provide characterisations of the merging of these programs. Our formal techniques are based on notions of relative distance between the underlying SE

TOWARDS A FUZZY ANSWER SET SEMANTICS FOR RESIDUATED LOGIC PROGRAMS

by Nicolás Madrid Labrador, Manuel Ojeda-Aciego , 2008
"... In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation. ..."
Abstract - Add to MetaCart
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.

M.: Towards a fuzzy answer set semantics for residuated logic programs

by Manuel Ojeda-aciego - In: Web Intelligence/IAT Workshops, IEEE , 2008
"... In this work we introduce the first steps towards the def-inition of an answer set semantics for residuated logic pro-grams with negation. 1. ..."
Abstract - Cited by 11 (3 self) - Add to MetaCart
In this work we introduce the first steps towards the def-inition of an answer set semantics for residuated logic pro-grams with negation. 1.

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

by Thomas Lukasiewicz - WEB, SECOND INTERNATIONAL CONFERENCE, RULEML , 2006
"... Vagueness and imprecision abound in multimedia information processing and retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the Semantic Web, we present an approach to fuzzy description logic programs under the answer set semantics. We generalize nor ..."
Abstract - Cited by 28 (7 self) - Add to MetaCart
Vagueness and imprecision abound in multimedia information processing and retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the Semantic Web, we present an approach to fuzzy description logic programs under the answer set semantics. We generalize

M.: Debugging logic programs under the answer set semantics

by Martin Brain, Marina De Vos - Proceedings of the 3rd International Workshop on Answer Set Programming (ASP’05). CEUR Workshop Proceedings (2005) 141–152 , 2005
"... Abstract. This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging ’ logic programs under the answer set semantics. We first investigate what constitutes an error in such programs and which classes of errors exist. This is used to motivate te ..."
Abstract - Cited by 38 (6 self) - Add to MetaCart
Abstract. This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging ’ logic programs under the answer set semantics. We first investigate what constitutes an error in such programs and which classes of errors exist. This is used to motivate

On coherence and consistence in fuzzy answer set semantics for residuated logic programs

by Manuel Ojeda-aciego - Lect. Notes in Computer Science
"... Abstract. In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relationships between the notions of coherence and consistence of an interpretation. 1 ..."
Abstract - Cited by 12 (4 self) - Add to MetaCart
Abstract. In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relationships between the notions of coherence and consistence of an interpretation. 1
Results 1 - 10 of 36,290