Show simple item record

dc.contributor.authorOlivieri, F
dc.contributor.authorGovernatori, G
dc.contributor.authorCristani, M
dc.contributor.editorCalimeri, F
dc.contributor.editorLeone, N
dc.contributor.editorManna, M
dc.date.accessioned2020-04-06T23:03:35Z
dc.date.available2020-04-06T23:03:35Z
dc.date.issued2019
dc.identifier.isbn9783030195694
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-030-19570-0_16
dc.identifier.urihttp://hdl.handle.net/10072/392998
dc.description.abstractLinear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, and we discuss the design choices.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherSpringer
dc.relation.ispartofconferencename16th European Conference on Logics in Artificial Intelligence, JELIA 2019
dc.relation.ispartofconferencetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.relation.ispartofdatefrom2019-05-07
dc.relation.ispartofdateto2019-05-11
dc.relation.ispartoflocationRende, Italy
dc.relation.ispartofpagefrom247
dc.relation.ispartofpageto258
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.relation.ispartofvolume11468
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchcode0801
dc.subject.keywordsScience & Technology
dc.subject.keywordsComputer Science, Artificial Intelligence
dc.subject.keywordsLINEAR LOGIC
dc.titleAdvancements in Resource-Driven Substructural Defeasible Logic
dc.typeConference output
dc.type.descriptionE1 - Conferences
dcterms.bibliographicCitationOlivieri, F; Governatori, G; Cristani, M, Advancements in Resource-Driven Substructural Defeasible Logic, Logics in Artificial Intelligence, 2019, 11468, pp. 247-258
dc.date.updated2020-04-06T23:01:08Z
gro.hasfulltextNo Full Text
gro.griffith.authorGovernatori, Guido


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record