130
Voted
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...