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/amai15.bht:"
download as .bib file
@article{DBLP:journals/amai/Balaban95,
author = {Mira Balaban},
title = {The F-logic Approach for Description Languages},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {19--60},
year = {1995},
url = {https://doi.org/10.1007/BF01535840},
doi = {10.1007/BF01535840},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Balaban95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BlairMS95,
author = {Howard A. Blair and
V. Wiktor Marek and
John S. Schlipf},
title = {The Expressiveness of Locally Stratified Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {209--229},
year = {1995},
url = {https://doi.org/10.1007/BF01534455},
doi = {10.1007/BF01534455},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BlairMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Bochman95,
author = {Alexander Bochman},
title = {Modal Nonmonotonic Logics Demodalized},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {101--123},
year = {1995},
url = {https://doi.org/10.1007/BF01535843},
doi = {10.1007/BF01535843},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Bochman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterG95,
author = {Thomas Eiter and
Georg Gottlob},
title = {On the Computational Cost of Disjunctive Logic Programming: Propositional
Case},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {289--323},
year = {1995},
url = {https://doi.org/10.1007/BF01536399},
doi = {10.1007/BF01536399},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/EiterG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Ferry95,
author = {Audrey Ferry},
title = {A Topological Characterization of the Stable and Minimal Model Classes
of Propositional Logic Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {325--355},
year = {1995},
url = {https://doi.org/10.1007/BF01536400},
doi = {10.1007/BF01536400},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Ferry95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaAP95,
author = {Enrico Giunchiglia and
Alessandro Armando and
Paolo Pecchiari},
title = {Structured Proof Procedures},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {1--18},
year = {1995},
url = {https://doi.org/10.1007/BF01535839},
doi = {10.1007/BF01535839},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GiunchigliaAP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KounalisR95,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {Reasoning with Conditional Axioms},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {125--149},
year = {1995},
url = {https://doi.org/10.1007/BF01534452},
doi = {10.1007/BF01534452},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KounalisR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Lehmann95,
author = {Daniel Lehmann},
title = {Another Perspective on Default Reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {61--82},
year = {1995},
url = {https://doi.org/10.1007/BF01535841},
doi = {10.1007/BF01535841},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Lehmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MaherS95,
author = {Michael J. Maher and
Peter J. Stuckey},
title = {On Inductive Inference of Cyclic Structures},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {167--208},
year = {1995},
url = {https://doi.org/10.1007/BF01534454},
doi = {10.1007/BF01534454},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MaherS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekRT95,
author = {V. Wiktor Marek and
Arcot Rajasekar and
Miroslaw Truszczynski},
title = {Complexity of Computing with Extended Propositional Logic Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {357--378},
year = {1995},
url = {https://doi.org/10.1007/BF01536401},
doi = {10.1007/BF01536401},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MoscowitzS95,
author = {Yael Moscowitz and
Ehud Shapiro},
title = {On the Structural Simplicity of Machines and Languages},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {379--405},
year = {1995},
url = {https://doi.org/10.1007/BF01536402},
doi = {10.1007/BF01536402},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MoscowitzS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MumickS95,
author = {Inderpal Singh Mumick and
Oded Shmueli},
title = {How Expressive is Statified Aggregation?},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {407--434},
year = {1995},
url = {https://doi.org/10.1007/BF01536403},
doi = {10.1007/BF01536403},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MumickS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Schlipf95,
author = {John S. Schlipf},
title = {Complexity and Undecidability Results for Logic Programming},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {257--288},
year = {1995},
url = {https://doi.org/10.1007/BF01536398},
doi = {10.1007/BF01536398},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Schlipf95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SmithG95,
author = {Carl H. Smith and
William I. Gasarch},
title = {Recursion Theoretic Models of Learning: Some Results and Intuitions},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {151--166},
year = {1995},
url = {https://doi.org/10.1007/BF01534453},
doi = {10.1007/BF01534453},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/SmithG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Thirunarayan95,
author = {Krishnaprasad Thirunarayan},
title = {On the Equivalence of Upward and Downward Inheritance Reasoners},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {239--256},
year = {1995},
url = {https://doi.org/10.1007/BF01534457},
doi = {10.1007/BF01534457},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Thirunarayan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Voronkov95,
author = {Andrei Voronkov},
title = {On Computability by Logic Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {437--456},
year = {1995},
url = {https://doi.org/10.1007/BF01536404},
doi = {10.1007/BF01536404},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Voronkov95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Webber95,
author = {Adam Brooks Webber},
title = {Proof of the Interval Satisfiability Conjecture},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {231--238},
year = {1995},
url = {https://doi.org/10.1007/BF01534456},
doi = {10.1007/BF01534456},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Webber95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZadroznyK95,
author = {Wlodek Zadrozny and
Michelle Y. Kim},
title = {Computational Mereology: {A} Study of Part-of Relations for Multimedia
Indexing},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {83--100},
year = {1995},
url = {https://doi.org/10.1007/BF01535842},
doi = {10.1007/BF01535842},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZadroznyK95.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-06-01 15:52 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:
