Defeasible inheritance-based description logics (Contributo in atti di convegno)

Type
Label
  • Defeasible inheritance-based description logics (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.5591/978-1-57735-516-8/IJCAI11-142 (literal)
Alternative label
  • Casini G., Straccia, U. (2011)
    Defeasible inheritance-based description logics
    in International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Spain, July 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Casini G., Straccia, U. (literal)
Pagina inizio
  • 813 (literal)
Pagina fine
  • 818 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Area di valutazione 01 - Scienze matematiche e informatiche (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ijcai.org/papers11/Papers/IJCAI11-142.pdf (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Scuola Normale Superiore, Pisa, Italy; CNR-ISTI, Pisa, Italy (literal)
Titolo
  • Defeasible inheritance-based description logics (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-20400-5 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Toby Walsh (literal)
Abstract
  • Defeasible inheritance networks are a non-monotonic framework dealing with hierarchical knowledge. On the other hand, rational closure, a main representative of the preferential approach, is acknowledged as a landmark. We will combine these two approaches and define a new non-monotonic closure operation for propositional knowledge bases that combines the advantages of both. Then we redefine such a procedure for Description Logics, a family of logics well-suited to model structured information. In both cases we will provide a simple reasoning method that is build on top of the classical entailment relation. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it