Travelled to:1 × Belgium
1 × The Netherlands
1 × United Kingdom
Collaborated with:U.Schwertel J.Richardson W.W.Vasconcelos M.P.J.Fromherz S.Torge R.Schwitter
Talks about:logic (4) program (3) transform (2) languag (2) control (2) schema (2) base (2) opportunist (1) transfom (1) schemata (1)
Person: Norbert E. Fuchs
DBLP: Fuchs:Norbert_E=
Facilitated 1 volumes:
EdContributed to:
19991998199719951991Wrote 6 papers:
- ASE-1999-FuchsST #first-order #logic #natural language
- Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.
- LOPSTR-1998-FuchsSS #logic #specification
- Attempto Controlled English — Not Just Another Logic Specification Language (NEF, US, RS), pp. 1–20.
- LOPSTR-1997-RichardsonF #development #prolog #source code
- Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.
- LOPSTR-1995-VasconcelosF #approach #logic programming #optimisation #program analysis #using
- An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations (WWV, NEF), pp. 174–188.
- LOPSTR-1991-FuchsF #logic programming #source code
- Schema-Based Transfomations of Logic Programs (NEF, MPJF), pp. 111–125.