close
1.

図書
図書
1. An inductive logic programming approach to statistical relational learning
Kristian Kersting
出版情報: Amsterdam : IOS Press, c2006
シリーズ名: Frontiers in artificial intelligence and applications ; v. 148
所蔵情報: loading…
2.

図書
図書
2. Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
Hubert Comon, Claude Marché, Ralf Treinen (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2002
所蔵情報: loading…
3.

図書
図書
3. The Logic programming paradigm : a 25-year perspective (: hardcover : alk. pap)
K.R. Apt ... [et al.] (Eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
Sašo Džeroski, Peter Flach (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1634 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
6.

図書
図書
6. Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research
edited by David L. Woodruff
出版情報: Boston, Mass. : Kluwer Academic Publishers, c1998
シリーズ名: Operations research/computer science interface series ; ORCS 09
所蔵情報: loading…
7.

図書
図書
7. Programming with constraints : an introduction
Kim Marriott and Peter J. Stuckey
出版情報: Cambridge, Mass. : MIT Press, c1998
所蔵情報: loading…
8.

図書
図書
8. Autonomous, model-based diagnosis agents
by Michael Schroeder
出版情報: Boston : Kluwer Academic, c1998
シリーズ名: The Kluwer international series in engineering and computer science ; 442
所蔵情報: loading…
9.

図書
図書
9. Inductive logic programming : from machine learning to software engineering
Francesco Bergadano and Daniele Gunetti
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Logic programming
所蔵情報: loading…
10.

図書
図書
10. Reasoning with logic programming
José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence
所蔵情報: loading…
11.

図書
図書
11. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: loading…
12.

図書
図書
12. Logic programming : formal methods and practical applications
edited by Christoph Beierle, Lutz Plümer
出版情報: Amsterdam [Netherlands] ; Tokyo : Elsevier, 1995
シリーズ名: Studies in computer science and artificial intelligence ; 11
所蔵情報: loading…
13.

図書
図書
13. Epistemic and temporal reasoning
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1995
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 4
所蔵情報: loading…
14.

図書
図書
14. Prolog++ : the power of object-oriented and logic programming
Chris Moss
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
シリーズ名: International series in logic programming
所蔵情報: loading…
15.

図書
図書
15. Inductive logic programming : techniques and applications
Nada Lavrač and Sašo Džeroski
出版情報: New York : E. Horwood, c1994
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
16.

図書
図書
16. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
17.

図書
図書
17. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: loading…
18.

図書
図書
18. From logic to logic programming
Kees Doets
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
19.

図書
図書
19. Implementations of logic programming systems
edited by Evan Tick, Giancarlo Succi
出版情報: Boston : Kluwer Academic Publishers, 1994
所蔵情報: loading…
20.

図書
図書
20. Constraint logic programming : selected research
edited by Frédéric Benhamou and Alain Colmerauer
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
21.

図書
図書
21. Constructing logic programs
edited by Jean-Marie Jacquet
出版情報: Chichester, West Sussex, England ; New York : Wiley, c1993
シリーズ名: Wiley professional computing
所蔵情報: loading…
22.

図書
図書
22. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
23.

図書
図書
23. A grammatical view of logic programming
Pierre Deransart and Jan Małuszyński
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
24.

図書
図書
24. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
25.

図書
図書
25. The clausal theory of types
D.A. Wolfram
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Cambridge tracts in theoretical computer science ; 21
所蔵情報: loading…
26.

図書
図書
26. Inductive logic programming
edited by Stephen Muggleton
出版情報: London ; Tokyo : Academic Press, c1992
シリーズ名: A.P.I.C. series ; no. 38
所蔵情報: loading…
27.

図書
図書
27. Parallel logic programming
Evan Tick
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
28.

図書
図書
28. Warren's abstract machine : a tutorial reconstruction (: hc. ; : pbk.)
Hassan Aït-Kaci
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Logic programming
所蔵情報: loading…
29.

図書
図書
29. Computational logic : essays in honor of Alan Robinson
edited by Jean-Louis Lassez and Gordon Plotkin
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: loading…
30.

図書
図書
30. Conclog : a methodological approach to concurrent logic programming (: gw ; : us)
J.-M. Jacquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 556
所蔵情報: loading…
31.

図書
図書
31. A resolution principle for a logic with restricted quantifiers (: gw ; : us)
H.-J. Bürckert
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 568 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. Parallel computers : object-oriented, functional, logic
edited by P.C. Treleaven
出版情報: Chichester ; New York : Wiley, c1990
シリーズ名: Wiley series in parallel computing
所蔵情報: loading…
33.

図書
図書
33. Logic programming and databases (: gw ; : us)
S. Ceri, G. Gottlob, L. Tanca
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Surveys in computer science
所蔵情報: loading…
34.

図書
図書
34. Termination proofs for logic programs (: gw ; : us)
Lutz Plümer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 446 . Lecture notes in artificial intelligence
所蔵情報: loading…
35.

図書
図書
35. Logic and computer science
edited by Piergiorgio Odifreddi
出版情報: London ; Tokyo : Academic Press, c1990
シリーズ名: A.P.I.C. studies in data processing ; v. 31
所蔵情報: loading…
36.

図書
図書
36. Graph-based proof procedures for horn clauses
Stan Raatz
出版情報: Boston : Birkhaüser, 1990
シリーズ名: Progress in computer science and applied logic ; v. 10
所蔵情報: loading…
37.

図書
図書
37. Logic-based knowledge representation
Peter Jackson, Han Reichgelt, Frank van Harmelen
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
38.

図書
図書
38. Constraint satisfaction in logic programming
Pascal Van Hentenryck
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: Logic programming
所蔵情報: loading…
39.

図書
図書
39. Logic grammars (: New York ; : Berlin)
Harvey Abramson, Veronica Dahl
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
40.

図書
図書
40. From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte
出版情報: Chichester ; New York : Wiley, c1989
所蔵情報: loading…
41.

図書
図書
41. An introduction to default logic (: us ; : gw)
Philippe Besnard
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
42.

図書
図書
42. Foundations of equational logic programming (: gw ; : us)
Steffen Hölldobler
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 353 . Lecture notes in artificial intelligence
所蔵情報: loading…
43.

図書
図書
43. Parallel logic programming techniques (: uk ; : us)
Stephen Taylor ; with a foreword by Ehud Shapiro
出版情報: London ; Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall International, c1989
所蔵情報: loading…
44.

図書
図書
44. Interactive relational database design : a logic programming implementation (: gw ; : us)
Tapan P. Bagchi, Vinay K. Chaudhri
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 402
所蔵情報: loading…
45.

図書
図書
45. Logic for computer scientists (: us ; : gw)
Uwe Schöning
出版情報: Boston : Birkhäuser, 1989
シリーズ名: Progress in computer science and applied logic ; v. 8
所蔵情報: loading…
46.

図書
図書
46. Meta-programming in logic programming
edited by Harvey Abramson and M.H. Rogers
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: Logic programming
所蔵情報: loading…
47.

図書
図書
47. Computing in Horn clause theories (: gw ; : us)
Peter Padawitz
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: EATCS monographs on theoretical computer science ; v. 16
所蔵情報: loading…
48.

図書
図書
48. Foundations of logic programming. 2nd, extended ed (: us ; : gw)
J.W. Lloyd
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
49.

図書
図書
49. Logic programming
edited by K.L. Clark and S.-A. Tärnlund
出版情報: London ; New York : Academic Press, 1982
シリーズ名: A.P.I.C. studies in data processing ; no. 16
所蔵情報: loading…