Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AlferesP98,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Preface: Logics for Artificial Intelligence},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {1--3},
  year         = {1998},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AlferesP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/AlferesPP98,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Lu{\'{\i}}s Moniz Pereira and
                  Teodor C. Przymusinski},
  title        = {'Classical' Negation in Nonmonotonic Reasoning and Logic Programming},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {107--142},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005900924623},
  doi          = {10.1023/A:1005900924623},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AlferesPP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BesnardS98,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {Signed Systems for Paraconsistent Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {191--213},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005957026440},
  doi          = {10.1023/A:1005957026440},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BesnardS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BrassD98,
  author       = {Stefan Brass and
                  J{\"{u}}rgen Dix},
  title        = {Characterizations of the Disjunctive Well-Founded Semantics: Confluent
                  Calculi and Iterated {GCWA}},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {143--165},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005952908693},
  doi          = {10.1023/A:1005952908693},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BrassD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DefourneauxBP98,
  author       = {Gilles D{\'{e}}fourneaux and
                  Christophe Bourely and
                  Nicolas Peltier},
  title        = {Semantic Generalizations for Proving and Disproving Conjectures by
                  Analogy},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {27--45},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005944606876},
  doi          = {10.1023/A:1005944606876},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DefourneauxBP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DegtyarevV98,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {What You Always Wanted to Know about Rigid E-Unification},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {47--80},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005996623714},
  doi          = {10.1023/A:1005996623714},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DegtyarevV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ForcheriGM98,
  author       = {Paola Forcheri and
                  Paolo Gentilini and
                  Maria Teresa Molfino},
  title        = {Informational Logic as a Tool for Automated Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {167--190},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005905025531},
  doi          = {10.1023/A:1005905025531},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ForcheriGM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FrohlichNS98,
  author       = {Peter Fr{\"{o}}hlich and
                  Wolfgang Nejdl and
                  Michael Schroeder},
  title        = {Strategies in Model-Based Diagnosis},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {81--105},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005948807784},
  doi          = {10.1023/A:1005948807784},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FrohlichNS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Hodgson98,
  author       = {Kahlil Hodgson},
  title        = {Shortest Single Axioms for the Equivalential Calculus with {CD} and
                  {RCD}},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {283--316},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005731217123},
  doi          = {10.1023/A:1005731217123},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Hodgson98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HuangM98,
  author       = {Guoxiang Huang and
                  Dale Myers},
  title        = {Subgoal Strategies for Solving Board Puzzles},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {215--253},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005882724254},
  doi          = {10.1023/A:1005882724254},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HuangM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kandri-RodyMS98,
  author       = {Abdelilah Kandri{-}Rody and
                  Hamid Maarouf and
                  Mohamed Ssafini},
  title        = {Triviality and Dimension of a System of Algebraic Differential Equations},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {365--385},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005821729260},
  doi          = {10.1023/A:1005821729260},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kandri-RodyMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Melis98,
  author       = {Erica Melis},
  title        = {The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {255--282},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005843328643},
  doi          = {10.1023/A:1005843328643},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Melis98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Nivelle98,
  author       = {Hans de Nivelle},
  title        = {An Algorithm for the Retrieval of Unifiers from Discrimination Trees},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {5--25},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005992522805},
  doi          = {10.1023/A:1005992522805},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Nivelle98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Ohlbach98,
  author       = {Hans J{\"{u}}rgen Ohlbach},
  title        = {Elimination of Self-Resolving Clauses},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {317--336},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005894718064},
  doi          = {10.1023/A:1005894718064},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Ohlbach98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ParamasivamP98,
  author       = {M. Paramasivam and
                  David A. Plaisted},
  title        = {Automated Deduction Techniques for Classification in Description Logic
                  Systems},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {3},
  pages        = {337--364},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005866922570},
  doi          = {10.1023/A:1005866922570},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ParamasivamP98.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.