Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AlferesDP95,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Carlos Viegas Dam{\'{a}}sio and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {A Logic Programming System for Nonmonotonic Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {1},
  pages        = {93--147},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00883931},
  doi          = {10.1007/BF00883931},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AlferesDP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BaaderH95,
  author       = {Franz Baader and
                  Bernhard Hollunder},
  title        = {Embedding Defaults into Terminological Knowledge Representation Formalisms},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {1},
  pages        = {149--180},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00883932},
  doi          = {10.1007/BF00883932},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BaaderH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BouhoulaR95,
  author       = {Adel Bouhoula and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Implicit Induction in Conditional Theories},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {189--235},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881856},
  doi          = {10.1007/BF00881856},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BouhoulaR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChakrabartiSM95,
  author       = {I. Chakrabarti and
                  Dipankar Sarkar and
                  Arun K. Majumdar},
  title        = {Identification of Inductive Properties during Verification of Synchronous
                  Sequential Circuits},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {3},
  pages        = {427--462},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881716},
  doi          = {10.1007/BF00881716},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/ChakrabartiSM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChouGZ95,
  author       = {Shang{-}Ching Chou and
                  Xiao{-}Shan Gao and
                  Jing{-}Zhong Zhang},
  title        = {Automated Production of Traditional Proofs in Solid Geometry},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {257--291},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881858},
  doi          = {10.1007/BF00881858},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChouGZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Ginsberg95,
  author       = {Matthew L. Ginsberg},
  title        = {Modality and Interrupts},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {1},
  pages        = {43--91},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00883930},
  doi          = {10.1007/BF00883930},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Ginsberg95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HartK95,
  author       = {Joan Hart and
                  Kenneth Kunen},
  title        = {Single Axioms for Odd Exponent Groups},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {3},
  pages        = {383--412},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881714},
  doi          = {10.1007/BF00881714},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HartK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Jech95,
  author       = {Thomas Jech},
  title        = {{OTTER} Experiments in a System of Combinatory Logic},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {3},
  pages        = {413--426},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881715},
  doi          = {10.1007/BF00881715},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Jech95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KapurSZ95,
  author       = {Deepak Kapur and
                  G. Sivakumar and
                  Hantao Zhang},
  title        = {A Path Ordering for Proving Termination of {AC} Rewrite Systems},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {293--316},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881859},
  doi          = {10.1007/BF00881859},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/KapurSZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Lifschitz95,
  author       = {Vladimir Lifschitz},
  title        = {Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {1},
  pages        = {1},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00883928},
  doi          = {10.1007/BF00883928},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Lifschitz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LovelandRW95,
  author       = {Donald W. Loveland and
                  David W. Reed and
                  Debra Sue Wilson},
  title        = {{SATCHMORE:} {SATCHMO} with REIevancy},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {325--351},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881861},
  doi          = {10.1007/BF00881861},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LovelandRW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Niemela95,
  author       = {Ilkka Niemel{\"{a}}},
  title        = {A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic
                  Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {1},
  pages        = {3--42},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00883929},
  doi          = {10.1007/BF00883929},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Niemela95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Ramsay95,
  author       = {Allan Ramsay},
  title        = {Theorem Proving for Intensional Logic},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {237--255},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881857},
  doi          = {10.1007/BF00881857},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Ramsay95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Schlechta95,
  author       = {Karl Schlechta},
  title        = {Logic, Topology, and Integration},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {3},
  pages        = {353--381},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881713},
  doi          = {10.1007/BF00881713},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Schlechta95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Vadaparty95,
  author       = {Kumar V. Vadaparty},
  title        = {On the Complexity of Nested-Object Matching},
  journal      = {J. Autom. Reason.},
  volume       = {14},
  number       = {2},
  pages        = {317--323},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00881860},
  doi          = {10.1007/BF00881860},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Vadaparty95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.