Search dblp for Publications

export results for "toc:db/journals/amai/amai8.bht:"

 download as .bib file

@article{DBLP:journals/amai/Ammon93,
  author       = {Kurt Ammon},
  title        = {A Learning Procedure for Mathematics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {407--423},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530800},
  doi          = {10.1007/BF01530800},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Ammon93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ArmandoG93,
  author       = {Alessandro Armando and
                  Enrico Giunchiglia},
  title        = {Embedding Complex Decision Procedures Inside an Interactive Theorem
                  Prover},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {475--502},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530803},
  doi          = {10.1007/BF01530803},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ArmandoG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BarnettBH93,
  author       = {Richard Barnett and
                  David A. Basin and
                  Jane Hesketh},
  title        = {A Recursion Planning Analysis of Inductive Completion},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {363--381},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530798},
  doi          = {10.1007/BF01530798},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BarnettBH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CarraresiGR93,
  author       = {Paolo Carraresi and
                  Giorgio Gallo and
                  Gabriella Rago},
  title        = {A Hypergraph model for Constraint Logic Programming and Applications
                  to Bus Drivers' Scheduling},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {247--270},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530792},
  doi          = {10.1007/BF01530792},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CarraresiGR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Correa93,
  author       = {Nelson Correa},
  title        = {Attribute and Unification Grammar: {A} Review and Analysis of Formalisms},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {73--105},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451550},
  doi          = {10.1007/BF02451550},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Correa93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FernandezLMS93,
  author       = {Jos{\'{e}} Alberto Fern{\'{a}}ndez and
                  Jorge Lobo and
                  Jack Minker and
                  V. S. Subrahmanian},
  title        = {Disjunctive {LP} + Integrity Constraints = Stable Model Semantics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {449--474},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530802},
  doi          = {10.1007/BF01530802},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/FernandezLMS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GangnetR93,
  author       = {Michel Gangnet and
                  Burton Rosenberg},
  title        = {Constraint Programming and Graph Algorithms},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {271--284},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530793},
  doi          = {10.1007/BF01530793},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GangnetR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HaeselerPS93,
  author       = {Fritz von Haeseler and
                  Heinz{-}Otto Peitgen and
                  Guentcho Skordev},
  title        = {Cellular Automata, Matrix Substitutions and Fractals},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {345--362},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530797},
  doi          = {10.1007/BF01530797},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HaeselerPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/JohnsonM93,
  author       = {David E. Johnson and
                  Lawrence S. Moss},
  title        = {Some Formal Properties of Stratified Feature Grammars},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {133--173},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451552},
  doi          = {10.1007/BF02451552},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JohnsonM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KirschenbaumSJ93,
  author       = {Marc Kirschenbaum and
                  Leon Sterling and
                  Ashish Jain},
  title        = {Relating Logic Programs Via Program Maps},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {229--245},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530791},
  doi          = {10.1007/BF01530791},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KirschenbaumSJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Kornai93,
  author       = {Andr{\'{a}}s Kornai},
  title        = {The Generative Power of Feature Geometry},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {37--46},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451548},
  doi          = {10.1007/BF02451548},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kornai93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Latombe93,
  author       = {Jean{-}Claude Latombe},
  title        = {Geometry and Search in Motion Planning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {215--227},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530790},
  doi          = {10.1007/BF01530790},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Latombe93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Manaster-Ramer93,
  author       = {Alexis Manaster{-}Ramer},
  title        = {Capacity, Complexity, Construction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {1--16},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451545},
  doi          = {10.1007/BF02451545},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Manaster-Ramer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Moshier93,
  author       = {M. Andrew Moshier},
  title        = {On Completeness theorems for Feature Logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {175--213},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451553},
  doi          = {10.1007/BF02451553},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Moshier93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Nerbonne93,
  author       = {John Nerbonne},
  title        = {A Feature-based Syntax/Semantics Interface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {107--132},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451551},
  doi          = {10.1007/BF02451551},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Nerbonne93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Pastre93,
  author       = {Dominique Pastre},
  title        = {Automated Theorem Proving in Mathematics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {425--447},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530801},
  doi          = {10.1007/BF01530801},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Pastre93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Savitch93,
  author       = {Walter J. Savitch},
  title        = {Why it Might Pay to Assume That Languages are infinite},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {17--25},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451546},
  doi          = {10.1007/BF02451546},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Savitch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Singh93,
  author       = {Munindar P. Singh},
  title        = {A Semantics for Speech Acts},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {47--71},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451549},
  doi          = {10.1007/BF02451549},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Singh93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Srivastava93,
  author       = {Divesh Srivastava},
  title        = {Subsumption and Indexing in Constraint Query Languages with Linear
                  Arithmetic Constraints},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {315--343},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530796},
  doi          = {10.1007/BF01530796},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Srivastava93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/StrooperE93,
  author       = {Paul A. Strooper and
                  Maarten H. van Emden},
  title        = {Describing Symmetrical Structures in Logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {301--314},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530795},
  doi          = {10.1007/BF01530795},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/StrooperE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Zeitman93,
  author       = {R. Suzanne Zeitman},
  title        = {Somewhat Finite Approaches to Infinite Sentences},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {1-2},
  pages        = {27--36},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02451547},
  doi          = {10.1007/BF02451547},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Zeitman93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ZhangH93,
  author       = {Hantao Zhang and
                  Gary Xin Hua},
  title        = {Proving Ramsey's Theorem by the Cover Set Induction: {A} Case and
                  Comparison Study},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {383--405},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530799},
  doi          = {10.1007/BF01530799},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/ZhangH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Zhao93,
  author       = {Feng Zhao},
  title        = {Computational Dynamics: Modeling and Visualizing Trajectory Flows
                  in Phase Space},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {285--300},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530794},
  doi          = {10.1007/BF01530794},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Zhao93.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.