New Generation Comput. - researchr journal

researchr

You are not signed in
Sign in
Sign up

391	--	427	Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo. The Functional Logic Language BABEL and Its Implementation on a Graph Machine
429	--	458	David A. Rosenblueth. Chart Parsers as Inference Systems for Fixed-Mode Logic Programs
459	--	479	Ting Kuo, Shu-Yuen Hwang. Why DGAs Work Well on GA-Hard Functions?

261	--	280	Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama. Distributed Memory Implementation of KLIC
281	--	315	Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick. A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs
317	--	341	Yi-Dong Shen. Verifying Local Stratifiability of Logic Programs and Databases II
343	--	389	Eiichi Horita. Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics

109	--	110	Yuji Matsumoto. Special Feature on Natural Language Understanding and Logic Programming
111	--	129	Takashi Miyata, Kôiti Hasida. Plan Inferences in Dialogue under Dynamical Constraint Programming
131	--	168	Guido Minnen, Dale Gerdemann, Erhard W. Hinrichs. Direct Automated Inversion of Logic Grammars
169	--	193	Kentaro Inui, Takenobu Tokunaga, Hozumi Tanaka. Dependency-Directed Control of Text Generation Using Functional Unification Grammar
195	--	236	Weidong Chen, David Scott Warren. Predicate Abstractions in Higher-Order Logic Programming
237	--	259	David A. Fuller, Sacha A. Bocic, Leopoldo E. Bertossi. Towards Efficient Partial Evaluation in Logic Programming

1	--	2	Takashi Chikayama, Evan Tick. Special Issue on the Workshop on Parallel Logic Programming - Preface
3	--	30	Vítor Santos Costa, David H. D. Warren, Rong Yang. Andorra-I Compilation
31	--	52	Johan Montelius, Khayri A. M. Ali. An And/Or-Parallel Implementation of AKL
79	--	107	Kish Shen, Steve Gregory. Instant Replay Debugging of Concurrent Logic Programs

runs on WebDSL