1. Computational Logic — Cl 2000: First International Conference London, Uk, July 24–28, 2000 Proceedings.John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv & Peter J. Stuckey - 2000 - Springer Verlag.
    These are the proceedings of the First International Conference on Compu- tional Logic which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases { 10th International (...)
    No categories
    Direct download  
    Export citation  
  2. An Algorithm for Inferring Multivalued Dependencies That Works Also for a Subclass of Propositional Logic.Yehoshua Sagiv - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
  3. Speeding Up Inferences Using Relevance Reasoning: A Formalism and Algorithms.Alon Y. Levy, Richard E. Fikes & Yehoshua Sagiv - 1997 - Artificial Intelligence 97 (1-2):83-136.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation