|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 19 van 26 gevonden artikelen
| Titel: |
Project report on {LP}^+: a second generation Logic Programming language |
| Auteur: |
Danny De Schreye Maurice Bruynooghe Bart Demoen Marc Denecker Gerda Janssens Bern Martens |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 13 (2001) nr. 1 pagina's 13-18 |
| Jaar: |
2001-04-01 |
| Inhoud: |
We present a recently started research project. The goal of the project is to integrate into one system a number of techniques, execution mechanisms and development tools that were designed in various areas in Logic Programming in the past. Main components are: a strong support for (declarative) knowledge representation, including aspects of incomplete knowledge, first order logic constraints and definitional knowledge; integration of different computational mechanisms, including resolution, abduction, tabling and constraint solving; integration within the development environment of semantics-based development tools, including (source-level) optimization, abstract interpretation based analysis and termination analysis. In developing this new system, we hope to contribute to an effort of semi-automating (part of) the software development process. We plan to experiment with a number of applications to test the system. Main applications in focus are in temporal reasoning, planning and scheduling, and machine learning. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 19 van 26 gevonden artikelen
| << vorige | volgende >> |