3845 search results - page 128 / 769 » Belief Logic Programming |
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
PRICAI
2000
Springer
15 years 1 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
100
click to vote
ATAL
2005
Springer
14 years 12 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
PPDP
1999
Springer
15 years 2 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...