R-stable models for logic programs
| Autor: | Dirk Vermeir, Hadassa Jakobovits |
|---|---|
| Rok vydání: | 1996 |
| Předmět: |
Horn clause
Programming language Computer science Multimodal logic Semantics computer.software_genre Axiomatic semantics Computer Science::Logic in Computer Science Computer Science::Programming Languages Dynamic logic (modal logic) Bunched logic Autoepistemic logic computer Algorithm Logic programming Stable model semantics |
| Zdroj: | Logic in Databases ISBN: 9783540618140 Logic in Databases |
| DOI: | 10.1007/bfb0031744 |
| Popis: | We propose a new semantics for general logic programs which stems from first principles of logic-programming semantics. Our theory-unifies previous approaches and is applicable to some useful programs which are not properly handled by existing semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|