Rational closure for defeasible description logics (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Rational closure for defeasible description logics (Contributo in atti di convegno) (literal)

Anno

• 2010-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-15675-5_9 (literal)

Alternative label

• Casini G.; Straccia U. (2010)
  Rational closure for defeasible description logics
  in 12th European Conference on Logics in Artificial Intelligence (JELIA-10)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Casini G.; Straccia U. (literal)

Pagina inizio

• 77 (literal)

Pagina fine

• 90 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007%2F978-3-642-15675-5_9 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA-10) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 6341 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 6341 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: JELIA-10 - Proceedings of the 12th European Conference on Logics in Artificial Intelligence (Helsinki, Finland, 13-15 September 2010). Proceedings, pp. 77 - 90. Tomi Janhunen, Ilkka Niemelä (eds.). (Lecture Notes in Computer Science, vol. 6341). Springer Verlag, 2010. (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Scuola Normale Superiore, Pisa, CNR-ISTI, Pisa (literal)

Titolo

• Rational closure for defeasible description logics (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-15674-8 (literal)

Abstract

• In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case. (literal)

Prodotto di

• Digital Libraries (ICT.P08.010.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• Giovanni Casini (Unità di personale esterno)
• UMBERTO STRACCIA (Persona)

Insieme di parole chiave

• Parole chiave di "Rational closure for defeasible description logics" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• UMBERTO STRACCIA (Persona)
• Giovanni Casini (Unità di personale esterno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)

Insieme di parole chiave di

• Parole chiave di "Rational closure for defeasible description logics" (Insieme di parole chiave)