Publications DTAI

1988

Articles in internationally reviewed journals

2 references

• Venken, R.; Demoen, Bart. A partial evaluation system for prolog - some practical considerations, New Generation Computing, volume 6, issue 2-3, pages 279-290, 1988

  @article{125294,
    author = "Venken, R. and Demoen, Bart",
    title = "A partial evaluation system for prolog - some practical considerations",
    journal = "New Generation Computing",
    volume = "6",
    number = "2-3",
    pages = "279--290",
    year = "1988",
    doi = "10.1007/BF03037142",
    url = "https://lirias.kuleuven.be/handle/123456789/125294",
  }
  

• Weemeeuw, Patrick; Bruynooghe, Maurice; De Hondt, Marleen. On implementing logic programming-languages on a dataflow architecture, Lecture Notes in Computer Science, volume 300, pages 359-372, 1988

  @article{125100,
    author = "Weemeeuw, Patrick and Bruynooghe, Maurice and De Hondt, Marleen",
    title = "On implementing logic programming-languages on a dataflow architecture",
    journal = "Lecture Notes in Computer Science",
    volume = "300",
    pages = "359--372",
    year = "1988",
    doi = "10.1007/3-540-19027-9\_{}24",
    url = "https://lirias.kuleuven.be/handle/123456789/125100",
  }
  

Articles in other journals

1 reference

• Missiaen, Lode; Willems, Yves. Kunstmatige intelligentie. Deel 2, School en Computer, volume 8, issue 1, pages 2-6, 1988

  @article{132873,
    author = "Missiaen, Lode and Willems, Yves",
    title = "Kunstmatige intelligentie. {D}eel 2",
    journal = "School en Computer",
    volume = "8",
    number = "1",
    pages = "2--6",
    month = Jan,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132873",
  }
  

Papers at international conferences and symposia, published in full in proceedings

7 references

• Bruynooghe, Maurice; Janssens, Gerda. An instance of abstract interpretation integrating type and mode inferencing, Kowalski, R.A.; Bowen, K.A (eds.), Joint International Conference and Symposium on Logic Programming, Seattle, Washington, USA, August 15-19, 1988, Logic Programming: Proc. of the Fifth International Conference and Symposium, pages 669-683, MIT Press

  @inproceedings{133994,
    author = "Bruynooghe, Maurice and Janssens, Gerda",
    title = "An instance of abstract interpretation integrating type and mode inferencing",
    booktitle = "Logic Programming: Proc. of the Fifth International Conference and Symposium, ",
    editor = "Kowalski, R.A. and Bowen, K.A.",
    publisher = "MIT Press",
    pages = "669--683",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/133994",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. On interactive concept-learning and assimilation, Sleeman, Derek (ed.), Third European Working Session on Learning, Glasgow, UK, October 3-5, 1988, Proc. EWSL 88: Third European Working Session on Learning, pages 167-176, Pitman

  @inproceedings{131709,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "On interactive concept-learning and assimilation",
    booktitle = "Proc. EWSL 88: Third European Working Session on Learning, ",
    editor = "Sleeman, Derek",
    publisher = "Pitman",
    pages = "167--176",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/131709",
  }
  

• De Schreye, Danny; Bruynooghe, Maurice. The compilation of forward checking regimes through meta-interpretation and transformation, Lloyd, J.W (ed.), Workshop on Meta-Programming in Logic Programming, Bristol, U.K., June 22-24, 1988, Proceeding of the Workshop on Meta-Programming in Logic Programming, pages 169-184

  @inproceedings{166855,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "The compilation of forward checking regimes through meta-interpretation and transformation",
    booktitle = "Proceeding of the Workshop on Meta-Programming in Logic Programming, ",
    editor = "Lloyd, J.W.",
    pages = "169--184",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/166855",
  }
  

• Janssens, Gerda; Demoen, Bart; Mariën, André. Improving the register allocation of WAM by reordering unification, Kowalski, R.; Bowen, K (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, pages 1388-1402, 1988

  @inproceedings{167005,
    author = "Janssens, Gerda and Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Improving the register allocation of {WAM} by reordering unification",
    booktitle = "Logic Programming: Proceedings of the Fifth International Conference and Symposium",
    editor = "Kowalski, R. and Bowen, K.",
    pages = "1388--1402",
    month = Aug,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/167005",
  }
  

• Martens, Bernhard; Bruynooghe, Maurice. Integrity constraint checking in deductive databases using a rule/goal graph, Kerschberg, L (ed.), Expert Database Systems, Tysons Corner, Virginia, USA, 25-27 April 1988, Proc. of the Second International Conference on Expert Database Systems, pages 297-310

  @inproceedings{167009,
    author = "Martens, Bernhard and Bruynooghe, Maurice",
    title = "Integrity constraint checking in deductive databases using a rule/goal graph",
    booktitle = "Proc. of the Second International Conference on Expert Database Systems, ",
    editor = "Kerschberg, L.",
    pages = "297--310",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/167009",
  }
  

• Vermaut, Mahendra; Detollenaere, M.. Application of automated process planning to thin sheet parts manufacturing, AAAI88 Conference, Process Planning in Manufacturing, Saint Paul, Minnesota, USA, AAAI88 Conference, Process Planning in Manufacturing, 1988

  @inproceedings{134487,
    author = "Vermaut, Mahendra and Detollenaere, M.",
    title = "Application of automated process planning to thin sheet parts manufacturing",
    booktitle = "AAAI88 Conference, Process Planning in Manufacturing, ",
    month = Aug,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/134487",
  }
  

• Verschaetse, Christophe; De Schreye, Danny; Bruynooghe, Maurice. Automatic generation of control information in five steps, Shapiro, Ehud (ed.), Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition, Tel Aviv, Israel, December 27-28, 1988, Proc. of the Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition, pages 315-330

  @inproceedings{166800,
    author = "Verschaetse, Christophe and De Schreye, Danny and Bruynooghe, Maurice",
    title = "Automatic generation of control information in five steps",
    booktitle = "Proc. of the Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition, ",
    editor = "Shapiro, Ehud",
    pages = "315--330",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/166800",
  }
  

Meeting abstracts, presented at international conferences and symposia

1 reference

• Bruynooghe, Maurice; De Schreye, Danny. Tutorial on abstract interpretation of logic programs, Joint International Conference and Symposium on Logic Programming, Seattle, Washington, USA, August 15-19, 1988

  @unpublished{134109,
    author = "Bruynooghe, Maurice and De Schreye, Danny",
    title = "Tutorial on abstract interpretation of logic programs",
    note = "Joint International Conference and Symposium on Logic Programming, Seattle, Washington, USA, August 15-19, 1988",
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/134109",
  }
  

Thesis

1 reference

• Bruynooghe, Maurice. Twee methodes voor de globale optimalisatie van programma's in de logika der Horn-uitdrukkingen, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988

  @phdthesis{131440,
    author = "Bruynooghe, Maurice",
    title = "Twee methodes voor de globale optimalisatie van programma's in de logika der {H}orn-uitdrukkingen",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "207",
    month = Jan,
    year = "1988",
    note = ",  (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/131440",
  }
  

Internal reports

8 references

• De Raedt, Luc; Bruynooghe, Maurice. Towards friendly concept-learners, CW Reports, volume CW88, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1988

  @techreport{132717,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Towards friendly concept-learners",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW88",
    month = Oct,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132717",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Features of concept learning: a generic algorithm, CW Reports, volume CW76, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988

  @techreport{132072,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Features of concept learning: a generic algorithm",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW76",
    month = Jan,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132072",
  }
  

• De Schreye, Danny; Bruynooghe, Maurice. An application of abstract interpretation in source level program transformation, CW Reports, volume CW68, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988

  @techreport{131813,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "An application of abstract interpretation in source level program transformation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW68",
    month = Apr,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/131813",
  }
  

• De Schreye, Danny; Bruynooghe, Maurice. The compilation of forward checking regimes through meta-interpretation and transformation, CW Reports, volume CW69, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988

  @techreport{132663,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "The compilation of forward checking regimes through meta-interpretation and transformation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW69",
    month = Apr,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132663",
  }
  

• Janssens, Gerda; Demoen, Bart; Mariën, André. Improving the register allocation in WAM by reordering unification, CW Reports, volume CW71, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1988

  @techreport{132101,
    author = "Janssens, Gerda and Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Improving the register allocation in {WAM} by reordering unification",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW71",
    month = May,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132101",
  }
  

• Martens, Bernhard; Bruynooghe, Maurice. Integrity constraint checking in deductive databases using a rule/goal graph, CW Reports, volume CW66, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988

  @techreport{132114,
    author = "Martens, Bernhard and Bruynooghe, Maurice",
    title = "Integrity constraint checking in deductive databases using a rule/goal graph",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW66",
    month = Jan,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/132114",
  }
  

• Verschaetse, Christophe; De Schreye, Danny; Bruynooghe, Maurice. Automatic generation of control information in five steps, CW Reports, volume CW79, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1988

  @techreport{131843,
    author = "Verschaetse, Christophe and De Schreye, Danny and Bruynooghe, Maurice",
    title = "Automatic generation of control information in five steps",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW79",
    month = Oct,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/131843",
  }
  

• Weemeeuw, Patrick; Bruynooghe, Maurice; De Hondt, Marleen. On implementing logic programming languages on a dataflow architecture, CW Reports, volume CW67, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988

  @techreport{167000,
    author = "Weemeeuw, Patrick and Bruynooghe, Maurice and De Hondt, Marleen",
    title = "On implementing logic programming languages on a dataflow architecture",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW67",
    month = Apr,
    year = "1988",
    url = "https://lirias.kuleuven.be/handle/123456789/167000",
  }
  

 
Last update local database Sun Jun 16 2013 0:17 am; It contains now 9772 items.

Yearly overview: