3566 search results - page 79 / 714 » Signed Logic Programs |
119
click to vote
AIIA
1995
Springer
15 years 2 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
ICANN
2009
Springer
15 years 5 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
119
click to vote
AGP
2010
IEEE
15 years 3 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
103
click to vote
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...