159 search results - page 13 / 32 » Abductive Logic Programming with CIFF: System Description |
100
click to vote
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
DLOG
1996
15 years 1 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...
107
Voted
ICLP
2009
Springer
15 years 6 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
118
click to vote
AMAI
2004
Springer
14 years 11 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
101
click to vote
ML
2006
ACM
14 years 11 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...