3470 search results - page 330 / 694 » Head-Elementary-Set-Free Logic Programs |
202
click to vote
EUROGP
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
179
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
163
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
343
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
176
click to vote
FPL
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...