Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences


In this paper a preferential extension of the Halpern-Shoham logic (HS) is proposed. The proposed extension (PHS) may be exploited for a representation of both temporal relations and preferences, which adds some “rationality” for temporal reasoning. The next, a new interval-based fibred semantics will be proposed for some subsystem of PHS with temporal… (More)
DOI: 10.1109/FUZZ-IEEE.2016.7737690

3 Figures and Tables


  • Presentations referencing similar topics