Pruning search space for weighted first order horn clause satisfiability

Naveen Nair, Anandraj Govindan, Chander Jayaraman, T V S Kiran, Ganesh Ramakrishnan

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationRevised Papers from the 20th International Conference on Inductive Logic Programming
    EditorsPaolo Frasconi, Francesca A Lisi
    Place of PublicationBerlin Germany
    PublisherSpringer-Verlag London Ltd.
    Pages171 - 180
    Number of pages10
    ISBN (Print)9783642212949
    Publication statusPublished - 2011
    EventInductive Logic Programming 2010 - Florence, Italy
    Duration: 27 Jun 201030 Jun 2010
    Conference number: 20th


    ConferenceInductive Logic Programming 2010
    Abbreviated titleILP 2010
    Internet address

    Cite this