|
21.
|
LOGIC BASED 0-1 CONSTRAINT PROGRAMMING
by Barth,Peter. Material type: Book Description: xiv,253.Publisher: Kluwer Academic Publishers,Boston c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.77028511 B282L] (1).
|
|
22.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson | Robinson,J. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,799.Publisher: Clarendon Press, Oxford 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192] (1).
|
|
23.
|
LOGICS FOR EMERGIN APPLICATIONS OF DATABASES
by Chomicki,Jan,Meyden,Ron Van Der | Saake,Gunter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,368.Publisher: Springer-Verlag, Berlin 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 L828C] (1).
|
|
24.
|
Mathematical aspects of logic programming semantics
by Hitzler, Pascal | Seda, Anthony. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 274p.Publisher: Boca Raton CRC 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 H639m] (1).
|
|
25.
|
Logic and its applications
: proceedings...
by Banerjee, Mohua, Ed | 4th Indian Conference on Logic and its Applications Delhi 2011 | Banerjee, Mohua, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 218p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In24] (1).
|
|
26.
|
Logic and integer programming
by Williams, H.P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,155p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 W67l] (1).
|
|
27.
|
Logics for emerging applications of databases
by | Chomicki, Jan, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 368p.Publisher: Berlin Springer 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 L829] (1).
|
|
28.
|
Multiprocessor execution of logic programs
by Gupta, Gopal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 243p.Publisher: Boston Kluwer Academic 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2 G959m] (1).
|
|
29.
|
Programming with higher-order logic
by Miller, Dale | Nadathur, Gopalan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 306p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 M613p] (1).
|
|
30.
|
Nominal sets
: names and symmetry in computer science
by Pitts, Andrew M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 P687n] (1).
|
|
31.
|
Latest advances in inductive logic programming
by Muggleton, Stephen H | Watanabe, Hiroaki. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 247p.Publisher: London Imperial Press 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 M891l] (1).
|
|
32.
|
Logic programming
: proceedings...
by 4th International conference on logic programming Melbourne, Australia 1987 | Lassez, Jean-Louis [ed.]. Description: xiv, 1056p.Publisher: Cambridge Mit Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8l v.1] (2).
|
|
33.
|
LOGIC PROGRAMMING
by Lassez, Jean-Louis | . Description: v.Publisher: Cambridge Mit Pr. c1987Availability: No items available
|
|
34.
|
Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic
by Dix, J [ed.] | Jantke, K. P, [ed.] | Schmitt, P. H [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 243p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.543] (1).
|
|
35.
|
Markov logic
: an interface layer for artificial intelligence /
: [electronic resource] :
by Domingos, Pedro | Lowd, Daniel. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 145 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
36.
|
Answer set solving in practice
: [electronic resource] /
by Gebser, Martin. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxv, 212 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
37.
|
General game playing /
by Genesereth, Michael R 1948-, [author.] | Thielscher, Michael [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvi, 213 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
38.
|
Datalog and logic databases /
by Greco, Sergio [author.] | Molinaro, Cristian [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 155 pages).Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
39.
|
Statistical relational artificial intelligence :
: logic, probability, and computation /
by Raedt, Luc de 1964-, [author.] | Kersting, Kristian [author.] | Natarajan, Sriraam [author.] | Poole, David L. (David Lynton) 1958-, [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiv, 175 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|