Eintrag weiter verarbeiten
A model building framework for answer set programming with external computations
Zapisane w:
Tytuł czasopisma: | Theory and Practice of Logic Programming |
---|---|
Personen und Körperschaften: | , , , , , |
In: | Theory and Practice of Logic Programming, 16, 2016, 4, S. 418-464 |
Format: | E-Article |
Język: | Englisch |
Wydane: |
Cambridge University Press (CUP)
|
Hasła przedmiotowe: |