Add to ORKGThe focus of the research is the semantics of logic programming. Concepts in the currently used semantics like negation as failure, the Closed World Assumption and multivalued interpretations need to be thoroughly understood in order to develop semantics for extensions of the logic programming paradigm. These new semantics need to be motivated generalizations of the currently used semantics. The generalization of logic programming allows formalization of more sophisticated problems requiring both increase of expressive power as well as refinement of the interpretation of the language
The question how knowledge can be represented by means of logic programs with negation has been a dr...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
AbstractWe define a semantics for negation as failure in logic programming. Our semantics may be vie...
AbstractWe survey here various approaches which were proposed to incorporate negation in logic progr...
In logic programs, negation-as-failure has been used both for representing negative information and ...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
AbstractA sound and complete semantics is given for sequential, depth-first logic programming with a...
Abstract goes here. 1 Introduction Let us recall that a logic program is a set of clauses of the f...
Logic programming has been introduced as programming in the Horn clause subset of first-order logic....
This paper looks at logic programming with three kinds of negation: default, weak and strict negatio...
The variety of semantical approaches that have been invented for logic programs is quite broad, draw...
AbstractWe suggest a general logical formalism for Logic Programming based on a four-valued inferenc...
Negative information can be represented in several classes of logic programs. These approaches were ...
AbstractRecently there has been increased interest in logic programming-based default reasoning appr...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
AbstractWe define a semantics for negation as failure in logic programming. Our semantics may be vie...
AbstractWe survey here various approaches which were proposed to incorporate negation in logic progr...
In logic programs, negation-as-failure has been used both for representing negative information and ...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
AbstractA sound and complete semantics is given for sequential, depth-first logic programming with a...
Abstract goes here. 1 Introduction Let us recall that a logic program is a set of clauses of the f...
Logic programming has been introduced as programming in the Horn clause subset of first-order logic....
This paper looks at logic programming with three kinds of negation: default, weak and strict negatio...
The variety of semantical approaches that have been invented for logic programs is quite broad, draw...
AbstractWe suggest a general logical formalism for Logic Programming based on a four-valued inferenc...
Negative information can be represented in several classes of logic programs. These approaches were ...
AbstractRecently there has been increased interest in logic programming-based default reasoning appr...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...