Matches in UGent Biblio for { <https://biblio.ugent.be/publication/402897#aggregation> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- aggregation classification "P1".
- aggregation creator B69052.
- aggregation date "2002".
- aggregation hasFormat 402897.bibtex.
- aggregation hasFormat 402897.csv.
- aggregation hasFormat 402897.dc.
- aggregation hasFormat 402897.didl.
- aggregation hasFormat 402897.doc.
- aggregation hasFormat 402897.json.
- aggregation hasFormat 402897.mets.
- aggregation hasFormat 402897.mods.
- aggregation hasFormat 402897.rdf.
- aggregation hasFormat 402897.ris.
- aggregation hasFormat 402897.txt.
- aggregation hasFormat 402897.xls.
- aggregation hasFormat 402897.yaml.
- aggregation isPartOf urn:isbn:0824708059.
- aggregation isPartOf urn:issn:0075-8469.
- aggregation language "eng".
- aggregation publisher "Marcel Dekker".
- aggregation subject "Languages and Literatures".
- aggregation title "An inconsistency-adaptive proof procedure for logic programming".
- aggregation abstract "It is the goal of this paper to define a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming with the conditionallity that is common in all adaptive proofs.".
- aggregation authorList BK174811.
- aggregation endPage "339".
- aggregation startPage "323".
- aggregation volume "228".
- aggregation isDescribedBy 402897.
- aggregation similarTo LU-402897.