Volume 14, Number 1-2, 2004

• 
  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

Volume 14, Number 3, 2004

• 
  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

Volume 14, Number 4, 2004

• 
  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
• 
  Jean-Marc Tallon, Jean-Christophe Vergnaud, Shmuel Zamir: Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures. 477-500

last updated on Tue May 21 03:07:49 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page