奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 雑誌

The journal of logic programming 目次あり PDF

New York, N.Y. : North-Holland, c1984-2000

この資料の関連情報

:
所在 請求記号 所蔵年 所蔵巻号 受入継続
1 電子化情報 1995-2000 22-46  

Vol.46 No.1-Vol.46 No.2 2000年11月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4003828 2000/10/10 0
PDF Meta-agent programs / Dix J., Subrahmanian V.S., Pick G. p.1-60
PDF More on tractable disjunctive Datalog / Ben-Eliyahu-Zohary R., Palopoli L., Zemlyanker V. p.61-101
PDF Decidability of logic program semantics and applications to testing / Ruggieri S. p.103-137
PDF Pair-sharing over rational trees / King A. p.139-155
PDF Index p.157
PDF Index p.159

Vol.45 No.1-Vol.45 No.3 2000年9月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4003714 2000/08/01 0
PDF An abstract machine for efficiently computing queries to well-founded models / Sagonas K., Swift T., Warren D.S. p.1-41
PDF Dynamic updates of non-monotonic knowledge bases / Alferes J.J., Leite J.A., Pereira L.M., Przymusinska H., Przymusinski T.C. p.43-70
PDF Introduction to the constraint language NCL / Zhou J. p.71-103
PDF Argumentation-based abduction in disjunctive logic programming / Wang K. p.105-141
PDF A simple polynomial groundness analysis for logic programs / Heaton A., Abo-Zaed M., Codish M., King A. p.143-156
PDF Index p.157
PDF Index p.159

Vol.44 No.1-Vol.44 No.3 2000年7月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4003491 2000/04/24 0
PDF Special issue: abductive logic programming / Denecker M., Kakas A. p.1-4
PDF Abducing through negation as failure: stable models within the independent choice logic / Poole D. p.5-35
PDF Conditional reasoning in logic programming / Gabbay D., Giordano L., Martelli A., Olivetti N., Sapino M.L. p.37-74
PDF Abductive logic programming and disjunctive logic programming: their relationship and transferability / Sakama C., Inoue K. p.75-100
PDF An abductive approach to disjunctive logic programming / You J.-H., Yuan L.Y., Goebel R. p.101-127
PDF ACLP: Abductive Constraint Logic Programming / Kakas A.C., Michael A., Mourlas C. p.129-177
PDF Computing abduction by using TMS with top-down expectation / Iwayama N., Satoh K. p.179-206
PDF An abductive event calculus planner / Shanahan M. p.207-240
PDF Index p.241
PDF Index p.243

Vol.43 No.3 2000年6月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4003377 2000/03/03 0
PDF Hybrid probabilistic programs / Dekhtyar A., Subrahmanian V.S. p.187-250
PDF Improving program analyses, by structure untupling / Codish M., Marriott K., Taboch C. p.251-263
PDF Erratum to: ''Conjunctive partial deduction: foundations, control, algorithms and experiments'' [The Journal of Logic Programming 41 (1999) 231] / De Schreye D., Gluck R., Jorgensen J., Leuschel M., Martens B., Sorensen M.H. p.265
PDF Index p.267-268
PDF Index p.269

Vol.43 No.2 2000年5月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4003376 2000/03/03 0
PDF Interprocedural analyses: a comparison / Seidl H., Fecht C. p.123-156
PDF Tracing Prolog programs by source instrumentation is efficient enough / Ducasse M., Noye J. p.157-172
PDF Or-parallel Prolog on a distributed memory architecture / Silva F., Watson P. p.173-186
創刊・終刊 : Vol. 1, no. 1 (June 1984)-v. 46, no. 1/2 (Nov./Dec. 2000)
形態 : v. : ill. ; 26 cm
別誌名 :

J. log. program

The journal of logic programming

継続後誌名 :

The journal of logic and algebraic programming

標題言語 : (eng)
本文言語 : (eng)
件名 :

Logic programming -- Periodicals

Computer programming -- Periodicals

ISSN : 07431066
NCID : AA10638669
番号 :

CODEN : JLPRE2

LCCN : 96091377