41 search results - page 9 / 9 » The Extended Stable Models of Contradiction Removal Semantic... |
JUCS
2007
13 years 5 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...