Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800761492> ?p ?o ?g. }
- W2800761492 abstract "A conditional knowledge base (mathcal {R}) contains defeasible rules of the form “If A, then usually B”. For the notion of c-representations, a skeptical inference relation taking all c-representations of (mathcal {R}) into account has been suggested. In this paper, we propose a 3-phase compilation scheme for both knowledge bases and skeptical queries to constraint satisfaction problems. In addition to skeptical c-inference, we show that also credulous and weakly skeptical c-inference can be modelled as a constraint satisfaction problem, and that the compilation scheme can be extended to such queries. For each compilation step, we prove its soundness and completeness, and demonstrate significant efficiency benefits when querying the compiled version of (mathcal {R}). These findings are also supported by experiments with the software system InfOCF that employs the proposed compilation scheme." @default.
- W2800761492 created "2018-05-17" @default.
- W2800761492 creator A5002320735 @default.
- W2800761492 creator A5013756042 @default.
- W2800761492 creator A5091023010 @default.
- W2800761492 date "2018-01-01" @default.
- W2800761492 modified "2023-10-02" @default.
- W2800761492 title "Compilation of Conditional Knowledge Bases for Computing C-Inference Relations" @default.
- W2800761492 cites W1542254017 @default.
- W2800761492 cites W1591187701 @default.
- W2800761492 cites W2012741612 @default.
- W2800761492 cites W2023184461 @default.
- W2800761492 cites W2071743233 @default.
- W2800761492 cites W2071894919 @default.
- W2800761492 cites W2087567316 @default.
- W2800761492 cites W2111398557 @default.
- W2800761492 cites W2167907160 @default.
- W2800761492 cites W2251961884 @default.
- W2800761492 cites W2406580145 @default.
- W2800761492 cites W2507006525 @default.
- W2800761492 cites W2621115875 @default.
- W2800761492 cites W2625904419 @default.
- W2800761492 cites W2895740667 @default.
- W2800761492 cites W3099451540 @default.
- W2800761492 cites W4230560363 @default.
- W2800761492 cites W4230919050 @default.
- W2800761492 doi "https://doi.org/10.1007/978-3-319-90050-6_3" @default.
- W2800761492 hasPublicationYear "2018" @default.
- W2800761492 type Work @default.
- W2800761492 sameAs 2800761492 @default.
- W2800761492 citedByCount "3" @default.
- W2800761492 countsByYear W28007614922019 @default.
- W2800761492 countsByYear W28007614922023 @default.
- W2800761492 crossrefType "book-chapter" @default.
- W2800761492 hasAuthorship W2800761492A5002320735 @default.
- W2800761492 hasAuthorship W2800761492A5013756042 @default.
- W2800761492 hasAuthorship W2800761492A5091023010 @default.
- W2800761492 hasConcept C111472728 @default.
- W2800761492 hasConcept C134306372 @default.
- W2800761492 hasConcept C138885662 @default.
- W2800761492 hasConcept C154945302 @default.
- W2800761492 hasConcept C17231256 @default.
- W2800761492 hasConcept C18296254 @default.
- W2800761492 hasConcept C193856179 @default.
- W2800761492 hasConcept C199360897 @default.
- W2800761492 hasConcept C199622910 @default.
- W2800761492 hasConcept C2776214188 @default.
- W2800761492 hasConcept C2778029271 @default.
- W2800761492 hasConcept C33923547 @default.
- W2800761492 hasConcept C39920170 @default.
- W2800761492 hasConcept C41008148 @default.
- W2800761492 hasConcept C44616089 @default.
- W2800761492 hasConcept C4554734 @default.
- W2800761492 hasConcept C46743427 @default.
- W2800761492 hasConcept C49937458 @default.
- W2800761492 hasConcept C77618280 @default.
- W2800761492 hasConcept C80444323 @default.
- W2800761492 hasConceptScore W2800761492C111472728 @default.
- W2800761492 hasConceptScore W2800761492C134306372 @default.
- W2800761492 hasConceptScore W2800761492C138885662 @default.
- W2800761492 hasConceptScore W2800761492C154945302 @default.
- W2800761492 hasConceptScore W2800761492C17231256 @default.
- W2800761492 hasConceptScore W2800761492C18296254 @default.
- W2800761492 hasConceptScore W2800761492C193856179 @default.
- W2800761492 hasConceptScore W2800761492C199360897 @default.
- W2800761492 hasConceptScore W2800761492C199622910 @default.
- W2800761492 hasConceptScore W2800761492C2776214188 @default.
- W2800761492 hasConceptScore W2800761492C2778029271 @default.
- W2800761492 hasConceptScore W2800761492C33923547 @default.
- W2800761492 hasConceptScore W2800761492C39920170 @default.
- W2800761492 hasConceptScore W2800761492C41008148 @default.
- W2800761492 hasConceptScore W2800761492C44616089 @default.
- W2800761492 hasConceptScore W2800761492C4554734 @default.
- W2800761492 hasConceptScore W2800761492C46743427 @default.
- W2800761492 hasConceptScore W2800761492C49937458 @default.
- W2800761492 hasConceptScore W2800761492C77618280 @default.
- W2800761492 hasConceptScore W2800761492C80444323 @default.
- W2800761492 hasLocation W28007614921 @default.
- W2800761492 hasOpenAccess W2800761492 @default.
- W2800761492 hasPrimaryLocation W28007614921 @default.
- W2800761492 hasRelatedWork W1578069889 @default.
- W2800761492 hasRelatedWork W1675823520 @default.
- W2800761492 hasRelatedWork W180819461 @default.
- W2800761492 hasRelatedWork W1857452869 @default.
- W2800761492 hasRelatedWork W1875993002 @default.
- W2800761492 hasRelatedWork W1986069434 @default.
- W2800761492 hasRelatedWork W1986349144 @default.
- W2800761492 hasRelatedWork W2041706664 @default.
- W2800761492 hasRelatedWork W2059891366 @default.
- W2800761492 hasRelatedWork W2093207498 @default.
- W2800761492 hasRelatedWork W2109808758 @default.
- W2800761492 hasRelatedWork W2110404084 @default.
- W2800761492 hasRelatedWork W2294495175 @default.
- W2800761492 hasRelatedWork W2595752530 @default.
- W2800761492 hasRelatedWork W2788012528 @default.
- W2800761492 hasRelatedWork W2915592069 @default.
- W2800761492 hasRelatedWork W2949814671 @default.
- W2800761492 hasRelatedWork W3106364110 @default.
- W2800761492 hasRelatedWork W3121719815 @default.
- W2800761492 hasRelatedWork W2017372888 @default.