PKK Library Search for 'su:{Logic Programming}'

By Dov M. Gabbay,C. J. Hogger,J. A. Robinson. Clarendon Press, Oxford 1998 . xv,799 , Contents ; V.1 Logical Foundations V.2 Deduction Methodologies V.3 Nonmonotonic Reasoning And Uncertain Reasoning V.4 Epistmic And Temporal Reasoning V. 5 Logic Programming 0198537921

Place Hold on HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING

LOGICS FOR EMERGIN APPLICATIONS OF DATABASES

By Chomicki,Jan,Meyden,Ron Van Der. Springer-Verlag, Berlin 2004 . xv,368 3540007059

Place Hold on LOGICS FOR EMERGIN APPLICATIONS OF DATABASES

Mathematical aspects of logic programming semantics

By Hitzler, Pascal. Boca Raton CRC 2011 . xxx, 274p 9781439829615

Place Hold on Mathematical aspects of logic programming semantics

Logic and its applications

By Banerjee, Mohua, Ed.. Berlin Springer 2011 . x, 218p 9783642180255

Place Hold on Logic and its applications

Logic and integer programming

By Williams, H.P.. New York Springer 2009 . xi,155p 9780387922799

Place Hold on Logic and integer programming

Logics for emerging applications of databases

Berlin Springer 2004 . xv, 368p 9783540007050

Place Hold on Logics for emerging applications of databases

Multiprocessor execution of logic programs

By Gupta, Gopal. Boston Kluwer Academic 1994 . xviii, 243p 9780792394891

Place Hold on Multiprocessor execution of logic programs

Programming with higher-order logic

By Miller, Dale. Cambridge Cambridge University Press 2012 . xiii, 306p 9780521879408

Place Hold on Programming with higher-order logic

Nominal sets

By Pitts, Andrew M.. Cambridge Cambridge University Press 2013 . xiii, 276p 9781107017788

Place Hold on Nominal sets

Latest advances in inductive logic programming

By Muggleton, Stephen H.. London Imperial Press 2015 . xvi, 247p 9781783265084

Place Hold on Latest advances in inductive logic programming

Logic programming

Cambridge Mit Press 1987 . xiv, 1056p 0262121255

Place Hold on Logic programming

LOGIC PROGRAMMING

Cambridge Mit Pr. 1987 . v. 0262121255

Place Hold on LOGIC PROGRAMMING

Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic

Verlag Springer 1991 . 243p 3540545646

Place Hold on Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic

Markov logic

By Domingos, Pedro.. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2009 . 1 electronic text (viii, 145 p. : ill.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781598296938 (electronic bk.)

Place Hold on Markov logic

Answer set solving in practice

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2013 . 1 electronic text (xxv, 212 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781608459728 (electronic bk.)

Place Hold on Answer set solving in practice

General game playing /

By Genesereth, Michael R.,. . 1 PDF (xvi, 213 pages) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627052566

Place Hold on General game playing /

Datalog and logic databases /

By Greco, Sergio.,. . 1 PDF (xiii, 155 pages) , Part of: Synthesis digital library of engineering and computer science. 9781627051149

Place Hold on Datalog and logic databases /

Statistical relational artificial intelligence :

By Raedt, Luc de,. . 1 PDF (xiv, 175 pages) : , Part of: Synthesis digital library of engineering and computer science. 9781627058421

Place Hold on Statistical relational artificial intelligence :