836 search results - page 18 / 168 » Description logic programs: combining logic programs with de... |
106
click to vote
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
DLOG
1996
14 years 11 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
110
click to vote
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
120
click to vote
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
92
Voted
SWAP
2008
14 years 11 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...