Inconsistency management for traffic regulations: formalization and complexity results
From MaRDI portal
Recommendations
- Smart cities: distributed intelligence or central planning?
- scientific article; zbMATH DE number 1983183
- To drive or not to drive: a logical and computational analysis of European transport regulations
- On measuring inconsistency in spatio-temporal databases
- A receding horizon event-driven control strategy for intelligent traffic management
Cites work
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 4185074 (Why is no real title available?)
- Abduction from logic programs: Semantics and complexity
- Complexity results for answer set programming with bounded predicate arities and implications
- Propositional defeasible logic has linear complexity
- Representation results for defeasible logic
- Representing diagnosis knowledge
- The DLV system for knowledge representation and reasoning
Cited in
(2)
This page was built for publication: Inconsistency management for traffic regulations: formalization and complexity results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915061)
