3081 search results - page 418 / 617 » A Formal Ontology of Properties |
179
click to vote
ATAL
2005
Springer
16 years 4 days 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...
153
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
189
click to vote
ISSTA
2004
ACM
16 years 11 hour ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
202
click to vote
SWS
2004
ACM
16 years 6 hour ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
185
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...