Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/amai/amai17.bht:"
download as .bib file
@article{DBLP:journals/amai/BaligaS96,
author = {Ganesh Baliga and
Anil M. Shende},
title = {Learning-Theoretic Perspectives of Acceptable Numberings},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {177--187},
year = {1996},
url = {https://doi.org/10.1007/BF02127967},
doi = {10.1007/BF02127967},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BaligaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BohmS96,
author = {Max B{\"{o}}hm and
Ewald Speckenmeyer},
title = {A Fast Parallel SAT-Solver - Efficient Workload Balancing},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {381--400},
year = {1996},
url = {https://doi.org/10.1007/BF02127976},
doi = {10.1007/BF02127976},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BohmS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Bordetsky96,
author = {Alexander B. Bordetsky},
title = {Reasoning on Infeasibility in Distributed Collaborative Computing
Environment},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {155--176},
year = {1996},
url = {https://doi.org/10.1007/BF02284629},
doi = {10.1007/BF02284629},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Bordetsky96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BradleyS96,
author = {Elizabeth Bradley and
Reinhard Stolle},
title = {Automatic Construction of Accurate Models of Physical Systems},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {1--28},
year = {1996},
url = {https://doi.org/10.1007/BF02284622},
doi = {10.1007/BF02284622},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BradleyS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BurgLH96,
author = {Jennifer Burg and
Sheau{-}Dong Lang and
Charles E. Hughes},
title = {Intelligent Backtracking in {CLP(R)}},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {189--211},
year = {1996},
url = {https://doi.org/10.1007/BF02127968},
doi = {10.1007/BF02127968},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BurgLH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Chinneck96,
author = {John W. Chinneck},
title = {An Effective Polynomial-Time Heuristic for the Minimum-Cardinality
{IIS} Set-Covering Problem},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {127--144},
year = {1996},
url = {https://doi.org/10.1007/BF02284627},
doi = {10.1007/BF02284627},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Chinneck96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Cholewinski96,
author = {Pawel Cholewinski},
title = {Seminormal Stratified Default Theories},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {213--234},
year = {1996},
url = {https://doi.org/10.1007/BF02127969},
doi = {10.1007/BF02127969},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Cholewinski96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GhannadanW96,
author = {Saied Ghannadan and
Stein W. Wallace},
title = {Feasibility in Capacitated Networks: The Effect of Individual Arcs
and Nodes},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {145--153},
year = {1996},
url = {https://doi.org/10.1007/BF02284628},
doi = {10.1007/BF02284628},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GhannadanW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaT96,
author = {Fausto Giunchiglia and
Paolo Traverso},
title = {Program Tactics and Logic Tactics},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {235--259},
year = {1996},
url = {https://doi.org/10.1007/BF02127970},
doi = {10.1007/BF02127970},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GiunchigliaT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Greenberg96,
author = {Harvey J. Greenberg},
title = {Consistency, Redundancy, and Implied Equalities in Linear Systems},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {37--83},
year = {1996},
url = {https://doi.org/10.1007/BF02284624},
doi = {10.1007/BF02284624},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Greenberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ImbertH96,
author = {Jean{-}Louis Imbert and
Pascal Van Hentenryck},
title = {Redundancy Elimination with a Lexicographic Solved Form},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {85--106},
year = {1996},
url = {https://doi.org/10.1007/BF02284625},
doi = {10.1007/BF02284625},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ImbertH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Lady96,
author = {George M. Lady},
title = {Detecting Stable Matrices},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {29--36},
year = {1996},
url = {https://doi.org/10.1007/BF02284623},
doi = {10.1007/BF02284623},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Lady96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MeyerH96,
author = {John{-}Jules Ch. Meyer and
Wiebe van der Hoek},
title = {A Modal Contrastive Logic: The Logic of 'but'},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {291--313},
year = {1996},
url = {https://doi.org/10.1007/BF02127972},
doi = {10.1007/BF02127972},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MeyerH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PalopoliZ96,
author = {Luigi Palopoli and
Carlo Zaniolo},
title = {Polynomial-Time Computable Stable Models},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {261--290},
year = {1996},
url = {https://doi.org/10.1007/BF02127971},
doi = {10.1007/BF02127971},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/PalopoliZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ParkerR96,
author = {Mark Parker and
Jennifer Ryan},
title = {Finding the Minimum Weight {IIS} Cover of an Infeasible System of
Linear Inequalities},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {1-2},
pages = {107--126},
year = {1996},
url = {https://doi.org/10.1007/BF02284626},
doi = {10.1007/BF02284626},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ParkerR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Pretolani96,
author = {Daniele Pretolani},
title = {Hierarchies of Polynomially Solvable Satisfiability Problems},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {339--357},
year = {1996},
url = {https://doi.org/10.1007/BF02127974},
doi = {10.1007/BF02127974},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Pretolani96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PuriG96,
author = {Ruchir Puri and
Jun Gu},
title = {A {BDD} {SAT} Solver for Satisfiability Testing: An Industrial Case
Study},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {315--337},
year = {1996},
url = {https://doi.org/10.1007/BF02127973},
doi = {10.1007/BF02127973},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/PuriG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/WangT96,
author = {Jinchang Wang and
Evangelos Triantaphyllou},
title = {A Cost Effective Question-Asking Strategy for Horn Clause Systems},
journal = {Ann. Math. Artif. Intell.},
volume = {17},
number = {3-4},
pages = {359--379},
year = {1996},
url = {https://doi.org/10.1007/BF02127975},
doi = {10.1007/BF02127975},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/WangT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-27 21:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
