Sciweavers

22 search results - page 5 / 5
» A Multi-adjoint Logic Approach to Abductive Reasoning
Sort
View
ENTCS
2002
144views more  ENTCS 2002»
13 years 5 months ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni
ILP
2007
Springer
13 years 11 months ago
Mode-Directed Inverse Entailment for Full Clausal Theories
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
Oliver Ray, Katsumi Inoue