73 search results - page 2 / 15 » iat 2008 |
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
xtended abstract)1 Duco N. Ferroa Mark Hoogendoornb Catholijn M. Jonkerc a Almende B.V., Westerstraat 50, 3016 DJ Rotterdam b Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081...
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper focuses on relationships between agent models and their physical realisations. Approaches on reduction from philosophical literature are analysed in a formalised manner...
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...