|
| << 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 53 van 80 gevonden artikelen
| Titel: |
On Multi-valued Semantics for Logic Programs |
| Auteur: |
Victor Felea |
| Verschenen in: |
Journal of applied sciences |
| Paginering: | Jaargang 5 (2005) nr. 1 pagina's 18-23 |
| Jaar: |
2005 |
| Inhoud: |
For a general program P, multi-valued interpretations and models are defined, considering a set of truth logic values and an undefined value. The program P may contain constant propositions, which are defined for each truth logic value. Two orderings between the set of all multi-valued interpretations are considered: one is Fitting ordering and the other is standard ordering. The semantics of type well-founded and of type stable for a program P are introduced. This study showed that the well-founded model is the least stable model with respect to Fitting ordering. |
| Uitgever: |
Asian Network for Scientific Information (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 53 van 80 gevonden artikelen
| << vorige | volgende >> |