Here are PDFs of some of my papers:

• A more complete list of publications can be found at DBLP.



• Papers on F-logic, Transaction Logic, and related issues can be found on the FLORA-2 Web site.



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



• On the semantics of rule-based expert systems with uncertainty.
  Proceedings of Intl. Conference of Database Theory (ICDT 1988).



• On safety, domain independence, and capturability of database queries
  Proceedings of the Third International Conference on Data and Knowledge Bases, 1988, pp. 405-415 (edited by C. Beeri, J. W. Schmidt, U. Dayal)



• 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.



• WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic Proceedings of the European Semantic Web Conference (ESWC) 2008, Lecture Notes in Computer Science, 2008, Volume 5021/2008, 659-673.



• 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.
• 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.
• 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.



• A Practical Analysis of Non-Termination in Large Logic Programs.
  Theory and Practice of Logic Programming, 2013, Cambridge Univ. Press.