Travelled to:1 × India
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:∅ M.Hernández J.C.Peralta
Talks about:program (3) logic (2) infer (2) interpret (1) algorithm (1) distinct (1) exhaust (1) develop (1) system (1) string (1)
Person: David A. Rosenblueth
DBLP: Rosenblueth:David_A=
Contributed to:
2003
2001
19981994Wrote 4 papers:
- ICLP-2003-Rosenblueth
- A Distinct-Head Folding Rule (DAR), pp. 505–506.
- PPDP-2001-HernandezR #algorithm #development #logic programming #reuse #string
- Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms (MH, DAR), pp. 38–48.
- LOPSTR-1998-Rosenblueth #source code #using
- An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs (DAR), pp. 322–324.
- ILPS-1994-RosenbluethP #logic programming #lr #parsing #source code
- LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.