Search dblp for Publications

export results for "toc:db/journals/jar/jar39.bht:"

 download as .bib file

@article{DBLP:journals/jar/AspertiCTZ07,
  author       = {Andrea Asperti and
                  Claudio Sacerdoti Coen and
                  Enrico Tassi and
                  Stefano Zacchiroli},
  title        = {User Interaction with the Matita Proof Assistant},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {109--139},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9070-5},
  doi          = {10.1007/S10817-007-9070-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AspertiCTZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/AspinallL07,
  author       = {David Aspinall and
                  Christoph L{\"{u}}th},
  title        = {Special Issue on User Interfaces in Theorem Proving: Preface},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {107--108},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9075-0},
  doi          = {10.1007/S10817-007-9075-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AspinallL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Baader07,
  author       = {Franz Baader},
  title        = {Preface to Special Issue on Reasoning in Description Logics},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {245--247},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9081-2},
  doi          = {10.1007/S10817-007-9081-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Baader07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BillingsleyR07,
  author       = {William Billingsley and
                  Peter Robinson},
  title        = {Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent
                  Book},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {181--218},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9072-3},
  doi          = {10.1007/S10817-007-9072-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BillingsleyR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BrooksEEMR07,
  author       = {Daniel R. Brooks and
                  Esra Erdem and
                  Selim T. Erdogan and
                  James W. Minett and
                  Donald Ringe},
  title        = {Inferring Phylogenetic Trees Using Answer Set Programming},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {4},
  pages        = {471--511},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9082-1},
  doi          = {10.1007/S10817-007-9082-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BrooksEEMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BuningSZ07,
  author       = {Hans Kleine{ }B{\"{u}}ning and
                  K. Subramani and
                  Xishun Zhao},
  title        = {Boolean Functions as Models for Quantified Boolean Formulas},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {1},
  pages        = {49--75},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9067-0},
  doi          = {10.1007/S10817-007-9067-0},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BuningSZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CairnsG07,
  author       = {Paul A. Cairns and
                  Jeremy Gow},
  title        = {Integrating Searching and Authoring in Mizar},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {141--160},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9073-2},
  doi          = {10.1007/S10817-007-9073-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CairnsG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CalvaneseGLLR07,
  author       = {Diego Calvanese and
                  Giuseppe De Giacomo and
                  Domenico Lembo and
                  Maurizio Lenzerini and
                  Riccardo Rosati},
  title        = {Tractable Reasoning and Efficient Query Answering in Description Logics:
                  The \emph{DL-Lite} Family},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {385--429},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9078-x},
  doi          = {10.1007/S10817-007-9078-X},
  timestamp    = {Thu, 02 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/CalvaneseGLLR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CiaffaglioneLM07,
  author       = {Alberto Ciaffaglione and
                  Luigi Liquori and
                  Marino Miculan},
  title        = {Reasoning about Object-based Calculi in (Co)Inductive Type Theory
                  and the Theory of Contexts},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {1},
  pages        = {1--47},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-006-9061-y},
  doi          = {10.1007/S10817-006-9061-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CiaffaglioneLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ForestK07,
  author       = {Julien Forest and
                  Delia Kesner},
  title        = {Expression Reduction Systems with Patterns},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {4},
  pages        = {513--541},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9083-0},
  doi          = {10.1007/S10817-007-9083-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ForestK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HorrocksS07,
  author       = {Ian Horrocks and
                  Ulrike Sattler},
  title        = {A Tableau Decision Procedure for \emph{SHOIQ}},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {249--276},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9079-9},
  doi          = {10.1007/S10817-007-9079-9},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HorrocksS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HustadtMS07,
  author       = {Ullrich Hustadt and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {351--384},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9080-3},
  doi          = {10.1007/S10817-007-9080-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Morawska07,
  author       = {Barbara Morawska},
  title        = {General \emph{E} -unification with Eager Variable Elimination and
                  a Nice Cycle Rule},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {1},
  pages        = {77--106},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9068-z},
  doi          = {10.1007/S10817-007-9068-Z},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Morawska07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Narboux07,
  author       = {Julien Narboux},
  title        = {A Graphical User Interface for Formal Proofs in Geometry},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {161--180},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9071-4},
  doi          = {10.1007/S10817-007-9071-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Narboux07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SchlobachHCH07,
  author       = {Stefan Schlobach and
                  Zhisheng Huang and
                  Ronald Cornet and
                  Frank van Harmelen},
  title        = {Debugging Incoherent Terminologies},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {317--349},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9076-z},
  doi          = {10.1007/S10817-007-9076-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SchlobachHCH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Sinz07,
  author       = {Carsten Sinz},
  title        = {Visualizing {SAT} Instances and Runs of the {DPLL} Algorithm},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {2},
  pages        = {219--243},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9074-1},
  doi          = {10.1007/S10817-007-9074-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Sinz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/StapletonMFFS07,
  author       = {Gem Stapleton and
                  Judith Masthoff and
                  Jean Flower and
                  Andrew Fish and
                  Jane Southern},
  title        = {Automated Theorem Proving in Euler Diagram Systems},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {4},
  pages        = {431--470},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9069-y},
  doi          = {10.1007/S10817-007-9069-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/StapletonMFFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/TsarkovHP07,
  author       = {Dmitry Tsarkov and
                  Ian Horrocks and
                  Peter F. Patel{-}Schneider},
  title        = {Optimizing Terminological Reasoning for Expressive Description Logics},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {3},
  pages        = {277--316},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-007-9077-y},
  doi          = {10.1007/S10817-007-9077-Y},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/TsarkovHP07.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.