Related Works

Some of the works that apply F-logic, Transaction Logic, or HiLog to various problems ranging from ontology management to information integration to modeling workflows are listed below.

Web information systems:

• Ontobroker: How to Make the WWW Intelligent. European Conference on Digital Libraries, 1998.
• TRIPLE---A Query, Inference, and Transformation Language for the Semantic Web
• A Layered Architecture for Querying Dynamic Web. Proceedings of SIGMOD 1999.
• Design and implementation of the physical layer in webbases: The XRover experience. In Int'l Conference on Computational Logic (DOOD-2000 Stream), July 2000.
• Querying the Web with FLORID

Semantic Web Services:

• Publications of the Web Services Modeling Ontology project.
• CTR-S: A Logic for Specifying Contracts in Semantic Web Services Proceddings of the 13-th World Wide Web Conference (WWW2004), May 2004.

Workflow modeling:

• Logic-based modeling and analysis of workflows. Proceedings of PODS 1998.
• Workflow, Transactions, and Datalog. Proceedings of PODS 1999.
• A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints. Proceedings of VLDB 2002.
• Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. Proceedings of VLDB 2007.

Biocomputing:

• Knowledge-Based Integration of Neuroscience Data Sources

Reasoning:

• The F-Logic Approach for Description Languages. Annals of Mathematics and Artificial Intelligence, 1993.
• F-logic Programming and Terminological Constraints. Integration of Declarative Paradigms - Proceedings of the ICLP'94 Post-Conference Workshop, 1994.
• Results on Reasoning about Updates in Transaction Logic . LNCS 1472, Springer Verlag, 1998.
• Specifying and Reasoning about actions in open-worlds using Transaction Logic. ECAI 2000: Workshop on Cognitive Robotics, Berlin, Germany, August 21-22, 2000.

Robotics:

• Sensor Data Assimilation as Database Transactions. The AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, Stanford University in Palo Alto, California, March 24-26, 2003.
• Approaching the Plans are Programs Paradigm Using Transaction Logic. Fourth European Conference on Planning ECP '97, Toulouse, Sep. 24-26, 1997.
• Actions as Prolog Programs. 1996 IEEE International Joint Symposia on Intelligence and Systems (IJSIS '96) November 04 - 05, 1996 Rockville, MD.

Information integration and warehousing:

• A Rule Based Language for Ordered Multidimentional Databases
• "Amalgamation of Heterogeneous Data Sources Using Amalgamated Annotated HiLog," Lovrencic, A. and M. Cubrilo. EEE International Conference on Intelligent Engineering Systems, Stara Lesna, Slovakia, 1999., pp. 285 - 290.
• Semantic Integration of Disparate Information Sources over the Internet using Constraint Propagation
• SEAL - Tying Up Information Integration and Web Site Management
• XPathLog and LoPiX: a Logical Approach to XML and XML Data Integration

Other implementations of F-logic:

• FLORID: A Prototype for F-Logic

$Date: 2008/07/28 20:18:33 $