Sciweavers

21 search results - page 5 / 5
» Paraconsistent Description Logics Revisited
Sort
View
JAIR
2010
145views more  JAIR 2010»
14 years 10 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