Introduction to the 26th international conference on logic programming special issue

  title={Introduction to the 26th international conference on logic programming special issue},
  author={M. Hermenegildo and Torsten Schaub},
  • M. Hermenegildo, Torsten Schaub
  • Published 2010
  • Computer Science
  • ArXiv
  • The Logic Programming (LP) community, through the Association for Logic Programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results in LP and related areas are published. Whereas such results have appeared to date in standalone volumes of proceedings of the yearly International Conferences on Logic Programming (ICLP), and this method—fully in the tradition of Computer Science (CS)—has served the community well, it was felt… CONTINUE READING
    1 Citations
    Constraint Handling Rules - What Else?
    • 23
    • PDF


    F-OWL: An Inference Engine for Semantic Web
    • 98
    • PDF
    Just enough tabling
    • 12
    • PDF
    An abstract machine for tabled execution of fixed-order stratified logic programs
    • 143
    • PDF
    Semantics-based program analysis for logic-based languages using XSB
    • 25
    Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
    • 68
    Practical program analysis using general purpose logic programming systems—a case study
    • 115
    Tabled Evaluation with Delaying for General Logic Programs
    • 364
    A survey of deductive database systems
    • 243