1151 search results - page 7 / 231 » Collaborative Programming: Applications of Logic and Automat... |
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
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...
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
LPNMR
1993
Springer
15 years 1 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...