Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science |
Pages | 149-163 |
Number of pages | 15 |
Volume | 1861 |
DOIs | |
Publication status | Published - 1 Jan 2000 |
Event | Computational Logic - Duration: 1 Jan 2000 → … |
Conference
Conference | Computational Logic |
---|---|
Period | 1/01/00 → … |
Keywords
- Logic programming
- stable models
- Semantics