Rules on the Web:
Web information systems:
Semantic Web Services:
The F-Logic Approach for Description Languages.
Annals of Mathematics and Artificial Intelligence, 1993.
DFL - a dialog based integration of concept and rule reasoners.
Data and Knowledge Engineering 38:3, September 2001, pp. 301-334,
Results on Reasoning about Updates in Transaction Logic
. LNCS 1472, Springer Verlag, 1998.
Specifying and Reasoning about actions in open-worlds using Transaction
ECAI 2000: Workshop on Cognitive Robotics, Berlin, Germany, August 21-22,
Information integration and warehousing:
Other implementations of F-logic: