|
Abstract
|
|
|---|---|
| Equilibrium logic is extended to form a new semantics for description logic programs | |
|
International
|
Si |
|
|
103-642-15674-6 |
|
Book Edition
|
|
|
Book Publishing
|
Springer |
|
ISBN
|
10 3-642-15674-6 |
|
Series
|
LNAI 6341 |
|
Book title
|
T. Janhunen, I. Niemelää (eds), Logics in Artificial Intelligence, Proc. JELIA 2010 |
|
From page
|
156 |
|
To page
|
168 |