3468 search results - page 243 / 694 » An open logical framework |
171
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
197
click to vote
LANMR
2007
15 years 8 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...
200
click to vote
ENTCS
2002
15 years 6 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
165
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
153
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
Student involvement in Humanitarian Free and Open Source Software (HFOSS) projects holds the potential to provide a rich education experience to undergraduates. This paper discuss...