Relating logic programs via program maps Marc KirschenbaumLeon SterlingAshish Jain OriginalPaper Pages: 229 - 245
A hypergraph model for constraint logic programming and applications to bus drivers' scheduling Paolo CarraresiGiorgio GalloGabriella Rago OriginalPaper Pages: 247 - 270
Constraint programming and graph algorithms Michel GangnetBurton Rosenberg OriginalPaper Pages: 271 - 284
Computational dynamics: Modeling and visualizing trajectory flows in phase space Feng Zhao OriginalPaper Pages: 285 - 300
Describing symmetrical structures in logic P. A. StrooperM. H. van Emden OriginalPaper Pages: 301 - 314
Subsumption and indexing in constraint query languages with linear arithmetic constraints Divesh Srivastava OriginalPaper Pages: 315 - 343
Cellular automata, matrix substitutions and fractals F. v. HaeselerH. -O. PeitgenG. Skordev OriginalPaper Pages: 345 - 362
A recursion planning analysis of inductive completion Richard BarnettDavid BasinJane Hesketh OriginalPaper Pages: 363 - 381
Proving Ramsey's theorem by the cover set induction: A case and comparison study Hantao ZhangGary Xin Hua OriginalPaper Pages: 383 - 405
Disjunctive LP+integrity constraints= stable model semantics José Alberto FernándezJorge LoboV. S. Subrahmanian OriginalPaper Pages: 449 - 474
Embedding complex decision procedures inside an interactive theorem prover Alessandro ArmandoEnrico Giunchiglia OriginalPaper Pages: 475 - 502