Paper Title |
Paper Authors |
VERITAS: On the Verification of Temporal Knowledge-based Systems |
J. Santos, C. Ramos, Z. Vale, A. Marques |
GNU Prolog: beyond compiling Prolog to C |
D. Diaz, P. Codognet |
Labeling and Partial Local Consistency for Soft Constraint Programming |
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi |
A Toolkit for Constraint-based Inference Engines |
T.Y. Chew, M. Henz and K.B. Ng |
Implementation of a Linear Tabling Mechanism |
N.F. Zhou, Y.D. Shen, L.Y. Yuan, J.H. You |
A Logic Programming Approach to Supporting Entry of XML Documents into
Object-Oriented Database |
C.L. Yeh |
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems |
T. Yunes, A. Moura, C de Souza |
Heap Garbage Collection in XSB: Practice and Experience |
B. Demoen and K. Sagonas |
Metalevel Constraint Solving in CLIP |
T.J. Hickey |
Programming Deep Concurrent Constraint Combinators |
C. Schulte |
How to Incorporate Negation in a Prolog Compiler |
J. Moreno-Navarro, S. Munoz-Hernandez |
Transformation-by-example for XML |
S. Krishnamurthi, K. Gray, P. Graunke |
Using Static Analysis to Compile non-Sequential Functional Logic Programs |
J. Marino and J. Moreno-Navarro |
Out-of-core Functional Programming with Type-based Primitive |
T.R Chuang, S.C. Mu |
A Functional Logic Programming Approach to Graphical User Interfaces |
M. Hanus |
Calculating a New Data Mining Algorithm for Market Basket Analysis |
Z. Hu, W-N. Chin, M. Takeichi |
A Logic-based Information System |
S. Abreu |
HIPPO - a Declarative Graphical Modelling System |
C.J. Hinde, R.J. Reader, K. Phelps |
First Class Patterns |
M. Tullsen |
Modeling HTML in Haskell |
P. Thiemann |
Knowledgesheet: a Graphical Spreadsheet Interface for Interactively
Developing Constraint Programs |
G. Gupta and S. Akhter |
Parallel Functional Reactive Programming |
J. Peterson and V. Trifonov |