Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ai/ai95.bht:"
@article{DBLP:journals/ai/Ammon97, author = {Kurt Ammon}, title = {An Automatic Proof of G{\"{o}}del's Incompleteness Theorem}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {203--207}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00544-4}, doi = {10.1016/S0004-3702(97)00544-4}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Ammon97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BerleantK97, author = {Daniel Berleant and Benjamin Kuipers}, title = {Qualitative and Quantitative Simulation: Bridging the Gap}, journal = {Artif. Intell.}, volume = {95}, number = {2}, pages = {215--255}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00050-7}, doi = {10.1016/S0004-3702(97)00050-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BerleantK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ClementiniFH97, author = {Eliseo Clementini and Paolino Di Felice and Daniel Hern{\'{a}}ndez}, title = {Qualitative Representation of Positional Information}, journal = {Artif. Intell.}, volume = {95}, number = {2}, pages = {317--356}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00046-5}, doi = {10.1016/S0004-3702(97)00046-5}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/ClementiniFH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/FriedmanH97, author = {Nir Friedman and Joseph Y. Halpern}, title = {Modeling Belief in Dynamic Systems, Part {I:} Foundations}, journal = {Artif. Intell.}, volume = {95}, number = {2}, pages = {257--316}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00040-4}, doi = {10.1016/S0004-3702(97)00040-4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/FriedmanH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GiunchigliaKL97, author = {Enrico Giunchiglia and G. Neelakantan Kartha and Vladimir Lifschitz}, title = {Representing Action: Indeterminacy and Ramifications}, journal = {Artif. Intell.}, volume = {95}, number = {2}, pages = {409--438}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00037-4}, doi = {10.1016/S0004-3702(97)00037-4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GiunchigliaKL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GunterNS97, author = {Carl A. Gunter and Teow{-}Hin Ngair and Devika Subramanian}, title = {The Common Order-Theoretic Structure of Version Spaces and ATMSs}, journal = {Artif. Intell.}, volume = {95}, number = {2}, pages = {357--407}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00033-7}, doi = {10.1016/S0004-3702(97)00033-7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GunterNS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/KabanzaBS97, author = {Froduald Kabanza and Michel Barbeau and Richard St{-}Denis}, title = {Planning Control Rules for Reactive Agents}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {67--11}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00031-3}, doi = {10.1016/S0004-3702(97)00031-3}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/KabanzaBS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/McCluskeyP97, author = {Thomas Leo McCluskey and J. M. Porteous}, title = {Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {1--65}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00034-9}, doi = {10.1016/S0004-3702(97)00034-9}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/McCluskeyP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/OnnT97, author = {Shmuel Onn and Moshe Tennenholtz}, title = {Determination of Social Laws for Multi-Agent Mobilization}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {155--167}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00045-3}, doi = {10.1016/S0004-3702(97)00045-3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/OnnT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Przymusinski97, author = {Teodor C. Przymusinski}, title = {Autoepistemic Logic of Knowledge and Beliefs}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {115--154}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00032-5}, doi = {10.1016/S0004-3702(97)00032-5}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Przymusinski97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Raedt97, author = {Luc De Raedt}, title = {Logical Settings for Concept-Learning}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {187--201}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00041-6}, doi = {10.1016/S0004-3702(97)00041-6}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/Raedt97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/XiaIB97, author = {Yan Xia and S. Sitharama Iyengar and Nathan E. Brener}, title = {An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment}, journal = {Artif. Intell.}, volume = {95}, number = {1}, pages = {169--186}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00035-0}, doi = {10.1016/S0004-3702(97)00035-0}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/XiaIB97.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.