850 search results - page 62 / 170 » A Logic Programming Language Based on Binding Algebras |
129
click to vote
FUIN
2008
15 years 1 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...
116
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
123
click to vote
AUSAI
2004
Springer
15 years 6 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
129
click to vote
NGITS
1999
Springer
15 years 5 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
199
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...