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

    Nair, N., Govindan, A., Jayaraman, C., Kiran, T. V. S., & Ramakrishnan, G. (2011). Pruning search space for weighted first order horn clause satisfiability. In P. Frasconi, & F. A. Lisi (Eds.), Revised Papers from the 20th International Conference on Inductive Logic Programming (pp. 171 - 180). Berlin Germany: Springer-Verlag London Ltd..
    Nair, Naveen ; Govindan, Anandraj ; Jayaraman, Chander ; Kiran, T V S ; Ramakrishnan, Ganesh. / Pruning search space for weighted first order horn clause satisfiability. Revised Papers from the 20th International Conference on Inductive Logic Programming. editor / Paolo Frasconi ; Francesca A Lisi. Berlin Germany : Springer-Verlag London Ltd., 2011. pp. 171 - 180
    @inproceedings{69f8575f43ca416e87bbdb3176d89a98,
    title = "Pruning search space for weighted first order horn clause satisfiability",
    author = "Naveen Nair and Anandraj Govindan and Chander Jayaraman and Kiran, {T V S} and Ganesh Ramakrishnan",
    year = "2011",
    language = "English",
    isbn = "9783642212949",
    pages = "171 -- 180",
    editor = "Paolo Frasconi and Lisi, {Francesca A}",
    booktitle = "Revised Papers from the 20th International Conference on Inductive Logic Programming",
    publisher = "Springer-Verlag London Ltd.",
    address = "Germany",

    }

    Nair, N, Govindan, A, Jayaraman, C, Kiran, TVS & Ramakrishnan, G 2011, Pruning search space for weighted first order horn clause satisfiability. in P Frasconi & FA Lisi (eds), Revised Papers from the 20th International Conference on Inductive Logic Programming. Springer-Verlag London Ltd., Berlin Germany, pp. 171 - 180, Inductive Logic Programming 2010, Florence, Italy, 27/06/10.

    Pruning search space for weighted first order horn clause satisfiability. / Nair, Naveen; Govindan, Anandraj; Jayaraman, Chander; Kiran, T V S; Ramakrishnan, Ganesh.

    Revised Papers from the 20th International Conference on Inductive Logic Programming. ed. / Paolo Frasconi; Francesca A Lisi. Berlin Germany : Springer-Verlag London Ltd., 2011. p. 171 - 180.

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

    TY - GEN

    T1 - Pruning search space for weighted first order horn clause satisfiability

    AU - Nair, Naveen

    AU - Govindan, Anandraj

    AU - Jayaraman, Chander

    AU - Kiran, T V S

    AU - Ramakrishnan, Ganesh

    PY - 2011

    Y1 - 2011

    M3 - Conference Paper

    SN - 9783642212949

    SP - 171

    EP - 180

    BT - Revised Papers from the 20th International Conference on Inductive Logic Programming

    A2 - Frasconi, Paolo

    A2 - Lisi, Francesca A

    PB - Springer-Verlag London Ltd.

    CY - Berlin Germany

    ER -

    Nair N, Govindan A, Jayaraman C, Kiran TVS, Ramakrishnan G. Pruning search space for weighted first order horn clause satisfiability. In Frasconi P, Lisi FA, editors, Revised Papers from the 20th International Conference on Inductive Logic Programming. Berlin Germany: Springer-Verlag London Ltd. 2011. p. 171 - 180