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
    http://www.springer.com/gp/book/9783642212949

    Conference

    ConferenceInductive Logic Programming 2010
    Abbreviated titleILP 2010
    CountryItaly
    CityFlorence
    Period27/06/1030/06/10
    Internet address

    Cite this