Here are some of my publications:

• Publications on F-logic, Transaction Logic, and related issues appear at the DOOD publications page and on the FLORA-2 Web site.



• A Framework for an Efficient Implementation of Deductive Databases
  Proceedings of the 6th Advanced Database Symposium, 1986.



• A Theory of Nonmonotonic Inheritance Based on Annotated Logic
  Artificial Intelligence, 1993.
  • Abstract



• Theory of Generalized Annotated Logic Programming
  Journal of Logic Programming, 1992.
  • Abstract



• A Logic for Reasoning with Inconsistency
  Journal of Automated Reasoning, 1992.



• A First-Order Theory of Types and Polymorphism in Logic Programming
  Intl. Conf. On Logic in Computer Science, 1991.
  • Abstract



• Querying Object-Oriented Databases
  ACM-SIGMOD Conf. on Management of Data, 1992.
  • Abstract



• Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM, May 1995.
  This is the main reference to F-logic.



• On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
  Journal of ACM, July 1998.
  • Abstract



• A Layered Architecture for Querying Dynamic Web Content
  ACM SIGMOD 1999
  • Abstract



• Computational Aspects of Resilient Data Extraction from Semistructured Sources
  Proceeding of PODS, May 2000
  • Abstract



• Design and Implementation of the Physical Layer in WebBases: The XRover Experience
  Intl. Conference on Computational Logic, DOOD-2000 stream, July 2000
  • Abstract



• Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
  Intl. Conference on Computational Logic, DOOD-2000 stream, July 2000
  • Abstract



• A Realistic Architecture for the Semantic Web
  RuleML-2005: International Conference on Rules and Rule Markup Languages for the Semantic Web. Galway, Ireland, November 2005.



• Rule Interchange Format: The Framework (invited paper)
  2nd Intl. Conference on Web Reasoning and Rule Systems (RR-2008), October 2008, Karlsruhe, Germany.



• Logic Programming with Defaults and Argumentation Theories
  International Conference on Logic Programming (ICLP-2009), July 2009, Pasadena, CA.



• OpenRuleBench: An Analysis of the Performance of Rule Engines
  World Wide Web Conference (WWW-2009), April 2009, Madrid, Spain.



• Book: Database Systems: An Application-Oriented Approach
  Addison-Wesley, 2001, 2005



• Book: Introduction to Operating System Design and Implementation
  Springer, 2007.