31 search results - page 7 / 7 » iclp 2010 |
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...