Pruning search space for weighted first order horn clause satisfiability

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

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 proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Revised Papers from the 20th International Conference on Inductive Logic Programming
Editors	Paolo Frasconi, Francesca A Lisi
Place of Publication	Berlin Germany
Publisher	Springer-Verlag London Ltd.
Pages	171 - 180
Number of pages	10
ISBN (Print)	9783642212949
Publication status	Published - 2011
Event	Inductive Logic Programming 2010 - Florence, Italy Duration: 27 Jun 2010 → 30 Jun 2010 Conference number: 20th http://www.springer.com/gp/book/9783642212949

Conference

Conference	Inductive Logic Programming 2010
Abbreviated title	ILP 2010
Country/Territory	Italy
City	Florence
Period	27/06/10 → 30/06/10
Internet address	http://www.springer.com/gp/book/9783642212949

Cite this

@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",

note = "Inductive Logic Programming 2010, ILP 2010 ; Conference date: 27-06-2010 Through 30-06-2010",

url = "http://www.springer.com/gp/book/9783642212949",

}

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 et al.

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 proceeding › Conference Paper › Research › peer-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

N1 - Conference code: 20th

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

T2 - Inductive Logic Programming 2010

Y2 - 27 June 2010 through 30 June 2010

ER -