Journal of Applied Non-Classical Logics, Volume 14

Volume 14, Number 1-2, 2004

Interval Temporal Logics and Duration Calculi

Valentin Goranko, Angelo Montanari, Guido Sciavicco: A Road Map of Interval Temporal Logics and Duration Calculi. 9-54
Ben C. Moszkowski: A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. 55-104
Rodolfo Gómez, Howard Bowman: PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. 105-148
Dimitar P. Guelev, Dang Van Hung: A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. 149-180
Dimitar P. Guelev: Logical Interpolation and Projection onto State in the Duration Calculus. 181-208
Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. 209-233

Management of Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources

Churn-Jung Liau: Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics. 247-274
Sébastien Konieczny: Belief Base Merging as a Game. 275-294
Laurence Cholvy, Christophe Garion: Querying several conflicting databases. 295-327
Anthony Hunter, Rupert Summerton: Fusion Rules for Context-Dependent Aggregation of Structured News Reports. 329-366
Jirí Vomlel: Integrating Inconsistent Data in a Probabilistic Model. 367-386

Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. 397-445
Nicole Bidoit, Serenella Cerrito, Virginie Thion: A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. 447-475
J. Tallon, J. Vergnaud, S. Zamir: Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures. 477-500