default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 14

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 14, Number 1-2, 2004

Interval Temporal Logics and Duration Calculi

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GorankoMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GorankoMS04
Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A Road Map of Interval Temporal Logics and Duration Calculi. 9-54
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Moszkowski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Moszkowski04
Ben C. Moszkowski:
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. 55-104
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GomezB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GomezB04
Rodolfo Gómez, Howard Bowman:
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. 105-148
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GuelevH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GuelevH04
Dimitar P. Guelev, Dang Van Hung:
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. 149-180
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Guelev04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Guelev04
Dimitar P. Guelev:
Logical Interpolation and Projection onto State in the Duration Calculus. 181-208
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/ArtaleL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/ArtaleL04
Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. 209-233

Volume 14, Number 3, 2004

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

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Liau04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Liau04
Churn-Jung Liau:
Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics. 247-274
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Konieczny04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Konieczny04
Sébastien Konieczny:
Belief Base Merging as a Game. 275-294
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CholvyG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CholvyG04
Laurence Cholvy, Christophe Garion:
Querying several conflicting databases. 295-327
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/HunterS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/HunterS04
Anthony Hunter, Rupert Summerton:
Fusion Rules for Context-Dependent Aggregation of Structured News Reports. 329-366
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Vomlel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Vomlel04
Jirí Vomlel:
Integrating Inconsistent Data in a Probabilistic Model. 367-386

Volume 14, Number 4, 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DixonNF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DixonNF04
Clare Dixon, Cláudia Nalon, Michael Fisher:
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. 397-445
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BidoitCT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BidoitCT04
Nicole Bidoit, Serenella Cerrito, Virginie Thion:
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. 447-475
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/TallonVZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/TallonVZ04
Jean-Marc Tallon, Jean-Christophe Vergnaud, Shmuel Zamir:
Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures. 477-500

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.