Matches in UGent Biblio for { <https://biblio.ugent.be/publication/3094113#aggregation> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- aggregation classification "A1".
- aggregation creator person.
- aggregation date "2012".
- aggregation format "application/pdf".
- aggregation hasFormat 3094113.bibtex.
- aggregation hasFormat 3094113.csv.
- aggregation hasFormat 3094113.dc.
- aggregation hasFormat 3094113.didl.
- aggregation hasFormat 3094113.doc.
- aggregation hasFormat 3094113.json.
- aggregation hasFormat 3094113.mets.
- aggregation hasFormat 3094113.mods.
- aggregation hasFormat 3094113.rdf.
- aggregation hasFormat 3094113.ris.
- aggregation hasFormat 3094113.txt.
- aggregation hasFormat 3094113.xls.
- aggregation hasFormat 3094113.yaml.
- aggregation isPartOf urn:issn:0024-5836.
- aggregation language "eng".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Philosophy and Religion".
- aggregation title "A contextual type theory with judgemental modalities for reasoning from open assumptions".
- aggregation abstract "Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions.".
- aggregation authorList BK791569.
- aggregation endPage "600".
- aggregation startPage "579".
- aggregation volume "220".
- aggregation aggregates 3094154.
- aggregation isDescribedBy 3094113.
- aggregation similarTo LU-3094113.