8766 search results - page 474 / 1754 » Functional logic programming |
149
click to vote
LANMR
2007
15 years 5 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
157
Voted
FUIN
2008
15 years 4 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
140
Voted
DATESO
2007
15 years 5 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
131
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
113
click to vote
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...