Vishal Sikka

Ph.D. Student

Contact Information

Email: here; a much smaller rtf file is here; a much smaller rtf file is Integrating Specialized Procedures into Proof Systems (Postscript) Logic Group Technical Report, LOGIC-94-2, Logic Group, Computer Science Department, Stanford University, Stanford, CA - 94305.
  • Integrating Specialized Procedures into Proof Systems Proceedings of the 12th National Conference on Artificial Intelligence, pp. 1494, AAAI Press, 1994.
  • Integrating Specialized Procedures into Proof Systems Proceedings of the Workshop on Metatheoretic Extensibility of Automated Reasoning Systems, CADE-12, pp. 37-40. Also as IRST Technical Report 9405-10, IRST, Trento, Italy.
  • A Fast Algorithm for Automated Theorem-Proving in First-Order Logic with Equality Logic Group Technical Report, LOGIC-91-2, Logic Group, Computer Science Department, Stanford University, Stanford, CA - 94305.
  • On Completeness of Ordered Resolution Logic Group Technical Note, LOGIC-93-10, Logic Group, Computer Science Department, Stanford University, Stanford, CA - 94305.

    Places on the Web

    The Following are some places on the Web that I frequent.

  • Sites pertaining to Logic and Automated Reasoning
  • Sites pertaining to Agent Based Software Interoperation
  • Sites with Miscellaneous Information
  • Fun Sites

    Sites pertaining to Logic and Automated Reasoning

  • Stanford Encyclopedia of Logic Technology
  • Bob Leavens' programming language research page
  • Christian Quiennec's Bibliographies at INRIA
  • The WWW Virtual Library: Formal Methods
  • Logic (Philosophy)
  • The WWW Virtual Library: Logic Programming
  • University Research Groups specializing on Mechanized Reasoning
  • Argonne National Lab's MCS Page
  • Challenge Problems for Theorem Provers
  • Introduction (LFAI)

    Sites pertaining to Agent Based Software Interoperation

  • Logic Group
  • Information Systems
  • CommerceNet
  • The KIF Gateway

    Sites with Miscellaneous Information

  • Stanford University
  • Global Network Navigator
  • Yahoo
  • InfoSeek
  • Web Crawler
  • The Archie Filesearch Server
  • Northern California & Nevada Ski Conditions
  • Books On-line
  • Bay Area Transit Information
  • Current Weather Worldwide
  • The San Francisco Chronicle/Examiner
  • The San Jose Mercury News
  • USA Today
  • The Associated Press News Wire
  • Clarinet News.
  • CNN
  • Stock Market Quotes

    Fun Sites

    Entertainment

  • The Internet Movie Database
  • Movie Link
  • Music Resources
  • Northern Exposure
  • The Late Show Top Ten List

    Astronomy

  • Stardate (U Texas)
  • Comet Shoemaker-Levy 9 (JPL)

    Sports

  • Kansas City Chiefs
  • ESPN

    Travel

  • PARIS
  • Paris Metro.
  • Le WebLouvre
  • Alaska
  • U.S. National Parks
  • Rec.Travel Library: Worldwide travel and tourism information
  • San Francisco Restaurant Review
  • The Travel Library
  • State of South Dakota
  • Downtown Anywhere
  • Hawai`i Home Page