Search dblp for Publications

export results for "toc:db/journals/jancl/jancl14.bht:"

 download as .bib file

@article{DBLP:journals/jancl/ArtaleL04,
  author       = {Alessandro Artale and
                  Carsten Lutz},
  title        = {A Correspondence between Temporal Description Logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {209--233},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.209-233},
  doi          = {10.3166/JANCL.14.209-233},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ArtaleL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BidoitCT04,
  author       = {Nicole Bidoit and
                  Serenella Cerrito and
                  Virginie Thion},
  title        = {A First Step towards Modeling Semistructured Data in Hybrid Multimodal
                  Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {4},
  pages        = {447--475},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.447-475},
  doi          = {10.3166/JANCL.14.447-475},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BidoitCT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/CholvyG04,
  author       = {Laurence Cholvy and
                  Christophe Garion},
  title        = {Querying several conflicting databases},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {3},
  pages        = {295--327},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.295-327},
  doi          = {10.3166/JANCL.14.295-327},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/CholvyG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DixonNF04,
  author       = {Clare Dixon and
                  Cl{\'{a}}udia Nalon and
                  Michael Fisher},
  title        = {Tableaux for Logics of Time and Knowledge with Interactions Relating
                  to Synchrony},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {4},
  pages        = {397--445},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.397-445},
  doi          = {10.3166/JANCL.14.397-445},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/DixonNF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GomezB04,
  author       = {Rodolfo G{\'{o}}mez and
                  Howard Bowman},
  title        = {{PITL2MONA:} Implementing a Decision Procedure for Propositional Interval
                  Temporal Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {105--148},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.105-148},
  doi          = {10.3166/JANCL.14.105-148},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GomezB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GorankoMS04,
  author       = {Valentin Goranko and
                  Angelo Montanari and
                  Guido Sciavicco},
  title        = {A Road Map of Interval Temporal Logics and Duration Calculi},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {9--54},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.9-54},
  doi          = {10.3166/JANCL.14.9-54},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GorankoMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Guelev04,
  author       = {Dimitar P. Guelev},
  title        = {Logical Interpolation and Projection onto State in the Duration Calculus},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {181--208},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.181-208},
  doi          = {10.3166/JANCL.14.181-208},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Guelev04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GuelevH04,
  author       = {Dimitar P. Guelev and
                  Dang Van Hung},
  title        = {A Relatively Complete Axiomatisation of Projection onto State in the
                  Duration Calculus},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {149--180},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.149-180},
  doi          = {10.3166/JANCL.14.149-180},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GuelevH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/HunterS04,
  author       = {Anthony Hunter and
                  Rupert Summerton},
  title        = {Fusion Rules for Context-Dependent Aggregation of Structured News
                  Reports},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {3},
  pages        = {329--366},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.329-366},
  doi          = {10.3166/JANCL.14.329-366},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/HunterS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Konieczny04,
  author       = {S{\'{e}}bastien Konieczny},
  title        = {Belief Base Merging as a Game},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {3},
  pages        = {275--294},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.275-294},
  doi          = {10.3166/JANCL.14.275-294},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Konieczny04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Liau04,
  author       = {Churn{-}Jung Liau},
  title        = {Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {3},
  pages        = {247--274},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.247-274},
  doi          = {10.3166/JANCL.14.247-274},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Liau04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Moszkowski04,
  author       = {Ben C. Moszkowski},
  title        = {A Hierarchical Completeness Proof for Propositional Interval Temporal
                  Logic with Finite Time},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {1-2},
  pages        = {55--104},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.55-104},
  doi          = {10.3166/JANCL.14.55-104},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Moszkowski04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/TallonVZ04,
  author       = {Jean{-}Marc Tallon and
                  Jean{-}Christophe Vergnaud and
                  Shmuel Zamir},
  title        = {Communication among Agents: {A} Way to Revise Beliefs in {KD45} Kripke
                  Structures},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {4},
  pages        = {477--500},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.477-500},
  doi          = {10.3166/JANCL.14.477-500},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/TallonVZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Vomlel04,
  author       = {Jir{\'{\i}} Vomlel},
  title        = {Integrating Inconsistent Data in a Probabilistic Model},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {14},
  number       = {3},
  pages        = {367--386},
  year         = {2004},
  url          = {https://doi.org/10.3166/jancl.14.367-386},
  doi          = {10.3166/JANCL.14.367-386},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Vomlel04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.