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 BibTeX
Ben C. Moszkowski: A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. 55-104 BibTeX
Rodolfo Gómez, Howard Bowman: PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. 105-148 BibTeX
Dimitar P. Guelev, Dang Van Hung: A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. 149-180 BibTeX
Dimitar P. Guelev: Logical Interpolation and Projection onto State in the Duration Calculus. 181-208 BibTeX
Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. 209-233 BibTeX

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 BibTeX
Sébastien Konieczny: Belief Base Merging as a Game. 275-294 BibTeX
Laurence Cholvy, Christophe Garion: Querying several conflicting databases. 295-327 BibTeX
Anthony Hunter, Rupert Summerton: Fusion Rules for Context-Dependent Aggregation of Structured News Reports. 329-366 BibTeX
Jirí Vomlel: Integrating Inconsistent Data in a Probabilistic Model. 367-386 BibTeX

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