Sciweavers

21 search results - page 5 / 5
» Paraconsistent Description Logics Revisited
Sort
View
JAIR
2010
145views more  JAIR 2010»
13 years 3 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak