Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ai/ai172.bht:"
@article{DBLP:journals/ai/AllenSGH08, author = {Tim Van Allen and Ajit Singh and Russell Greiner and Peter Hooper}, title = {Quantifying the uncertainty of a belief net response: Bayesian error-bars for belief net inference}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {483--513}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.004}, doi = {10.1016/J.ARTINT.2007.09.004}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/AllenSGH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/AndersonGGP08, author = {Michael L. Anderson and Walid E. Gomaa and John Grant and Donald Perlis}, title = {Active logic semantics for a single agent in a static world}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1045--1063}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.005}, doi = {10.1016/J.ARTINT.2007.11.005}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/AndersonGGP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/AngiulliBP08, author = {Fabrizio Angiulli and Rachel Ben{-}Eliyahu{-}Zohary and Luigi Palopoli}, title = {Outlier detection using default reasoning}, journal = {Artif. Intell.}, volume = {172}, number = {16-17}, pages = {1837--1872}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.07.004}, doi = {10.1016/J.ARTINT.2008.07.004}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/AngiulliBP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaralEBN08, author = {Chitta Baral and Thomas Eiter and Marcus Bj{\"{a}}reland and Mutsumi Nakamura}, title = {Maintenance goals of agents in a dynamic environment: Formulation and policy construction}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1429--1469}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.03.005}, doi = {10.1016/J.ARTINT.2008.03.005}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BaralEBN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BarishK08, author = {Greg Barish and Craig A. Knoblock}, title = {Speculative plan execution for information gathering}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {413--453}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.08.002}, doi = {10.1016/J.ARTINT.2007.08.002}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BarishK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BarretoA08, author = {Andr{\'{e}} da Motta Salles Barreto and Charles W. Anderson}, title = {Restricted gradient-descent algorithm for value-function approximation in reinforcement learning}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {454--482}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.08.001}, doi = {10.1016/J.ARTINT.2007.08.001}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BarretoA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaumgartnerT08, author = {Peter Baumgartner and Cesare Tinelli}, title = {The model evolution calculus as a first-order {DPLL} method}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {591--632}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.005}, doi = {10.1016/J.ARTINT.2007.09.005}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BaumgartnerT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BessiereD08, author = {Christian Bessiere and Romuald Debruyne}, title = {Theoretical analysis of singleton arc consistency and its extensions}, journal = {Artif. Intell.}, volume = {172}, number = {1}, pages = {29--41}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.001}, doi = {10.1016/J.ARTINT.2007.09.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BessiereD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BessiereSW08, author = {Christian Bessiere and Kostas Stergiou and Toby Walsh}, title = {Domain filtering consistencies for non-binary constraints}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {800--822}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.10.016}, doi = {10.1016/J.ARTINT.2007.10.016}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BessiereSW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BiGB08, author = {Yaxin Bi and Jiwen Guan and David A. Bell}, title = {The combination of multiple classifiers using an evidential reasoning approach}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1731--1751}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.06.002}, doi = {10.1016/J.ARTINT.2008.06.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BiGB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Boden08, author = {Margaret A. Boden}, title = {Odd man out: Reply to reviewers}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {1944--1964}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.07.003}, doi = {10.1016/J.ARTINT.2008.07.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Boden08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Bonatti08, author = {Piero A. Bonatti}, title = {Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 {(1)} {(2004)} 75-111]}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1833--1835}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.07.002}, doi = {10.1016/J.ARTINT.2008.07.002}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Bonatti08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BonetG08, author = {Blai Bonet and Hector Geffner}, title = {Heuristics for planning with penalties and rewards formulated in logic and computed through circuits}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1579--1604}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.03.004}, doi = {10.1016/J.ARTINT.2008.03.004}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BonetG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BrafmanD08, author = {Ronen I. Brafman and Carmel Domshlak}, title = {Graphically structured value-function compilation}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {325--349}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.07.002}, doi = {10.1016/J.ARTINT.2007.07.002}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BrafmanD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BryceKS08, author = {Daniel Bryce and Subbarao Kambhampati and David E. Smith}, title = {Sequential Monte Carlo in reachability heuristics for probabilistic planning}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {685--715}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.10.018}, doi = {10.1016/J.ARTINT.2007.10.018}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BryceKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ChaviraD08, author = {Mark Chavira and Adnan Darwiche}, title = {On probabilistic inference by weighted model counting}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {772--799}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.002}, doi = {10.1016/J.ARTINT.2007.11.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ChaviraD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ChoiJK08, author = {Sung{-}Soon Choi and Kyomin Jung and Jeong Han Kim}, title = {Phase transition in a random {NK} landscape model}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {179--203}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.06.002}, doi = {10.1016/J.ARTINT.2007.06.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ChoiJK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/CoomanH08, author = {Gert de Cooman and Filip Hermans}, title = {Imprecise probability trees: Bridging two theories of imprecise probability}, journal = {Artif. Intell.}, volume = {172}, number = {11}, pages = {1400--1427}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.03.001}, doi = {10.1016/J.ARTINT.2008.03.001}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/CoomanH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DashD08, author = {Denver Dash and Marek J. Druzdzel}, title = {A note on the correctness of the causal ordering algorithm}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1800--1808}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.06.005}, doi = {10.1016/J.ARTINT.2008.06.005}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/DashD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Davis08, author = {Ernest Davis}, title = {Pouring liquids: {A} study in commonsense physical reasoning}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1540--1578}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.04.003}, doi = {10.1016/J.ARTINT.2008.04.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Davis08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DeemterKPKSB08, author = {Kees van Deemter and Brigitte Krenn and Paul Piwek and Martin Klesen and Marc Schr{\"{o}}der and Stefan Baumann}, title = {Fully generated scripted dialogue for embodied agents}, journal = {Artif. Intell.}, volume = {172}, number = {10}, pages = {1219--1244}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.02.002}, doi = {10.1016/J.ARTINT.2008.02.002}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/DeemterKPKSB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Denoeux08, author = {Thierry Denoeux}, title = {Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {234--264}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.05.008}, doi = {10.1016/J.ARTINT.2007.05.008}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Denoeux08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/EiterILST08, author = {Thomas Eiter and Giovambattista Ianni and Thomas Lukasiewicz and Roman Schindlauer and Hans Tompits}, title = {Combining answer set programming with description logics for the Semantic Web}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1495--1539}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.04.002}, doi = {10.1016/J.ARTINT.2008.04.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/EiterILST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/EiterW08, author = {Thomas Eiter and Kewen Wang}, title = {Semantic forgetting in answer set programming}, journal = {Artif. Intell.}, volume = {172}, number = {14}, pages = {1644--1672}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.05.002}, doi = {10.1016/J.ARTINT.2008.05.002}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/EiterW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/FatimaWJ08, author = {S. Shaheen Fatima and Michael J. Wooldridge and Nicholas R. Jennings}, title = {A linear approximation method for the Shapley value}, journal = {Artif. Intell.}, volume = {172}, number = {14}, pages = {1673--1699}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.05.003}, doi = {10.1016/J.ARTINT.2008.05.003}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/FatimaWJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Freund08, author = {Michael Freund}, title = {On the notion of concept {I}}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {570--590}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.003}, doi = {10.1016/J.ARTINT.2007.09.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Freund08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GarciaS08, author = {Laurent Garcia and R{\'{e}}gis Sabbadin}, title = {Complexity results and algorithms for possibilistic influence diagrams}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1018--1044}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.008}, doi = {10.1016/J.ARTINT.2007.11.008}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GarciaS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GattiGM08, author = {Nicola Gatti and Francesco Di Giunta and Stefano Marino}, title = {Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1119--1157}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.007}, doi = {10.1016/J.ARTINT.2007.11.007}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GattiGM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GentMN08, author = {Ian P. Gent and Ian Miguel and Peter Nightingale}, title = {Generalised arc consistency for the AllDifferent constraint: An empirical survey}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {1973--2000}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.10.006}, doi = {10.1016/J.ARTINT.2008.10.006}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GentMN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GentNRS08, author = {Ian P. Gent and Peter Nightingale and Andrew G. D. Rowley and Kostas Stergiou}, title = {Solving quantified constraint satisfaction problems}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {738--771}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.003}, doi = {10.1016/J.ARTINT.2007.11.003}, timestamp = {Tue, 08 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/GentNRS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GerberN08, author = {Ralf Gerber and Hans{-}Hellmut Nagel}, title = {Representation of occurrences for road vehicle traffic}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {351--391}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.07.001}, doi = {10.1016/J.ARTINT.2007.07.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GerberN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GereviniSS08, author = {Alfonso Gerevini and Alessandro Saetti and Ivan Serina}, title = {An approach to efficient planning with numerical fluents and multi-criteria plan quality}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {899--944}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.01.002}, doi = {10.1016/J.ARTINT.2008.01.002}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GereviniSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GrantH08, author = {John Grant and Anthony Hunter}, title = {Analysing inconsistent first-order knowledgebases}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1064--1093}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.006}, doi = {10.1016/J.ARTINT.2007.11.006}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/GrantH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GreenC08, author = {Martin James Green and David A. Cohen}, title = {Domain permutation reduction for constraint satisfaction problems}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1094--1118}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.12.001}, doi = {10.1016/J.ARTINT.2007.12.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GreenC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/HildS08, author = {Matthias Hild and Wolfgang Spohn}, title = {The measurement of ranks and the laws of iterated contraction}, journal = {Artif. Intell.}, volume = {172}, number = {10}, pages = {1195--1218}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.03.002}, doi = {10.1016/J.ARTINT.2008.03.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/HildS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/HullermeierFCB08, author = {Eyke H{\"{u}}llermeier and Johannes F{\"{u}}rnkranz and Weiwei Cheng and Klaus Brinker}, title = {Label ranking by learning pairwise preferences}, journal = {Artif. Intell.}, volume = {172}, number = {16-17}, pages = {1897--1916}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.08.002}, doi = {10.1016/J.ARTINT.2008.08.002}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/HullermeierFCB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/JensenVB08, author = {Rune M{\o}ller Jensen and Manuela M. Veloso and Randal E. Bryant}, title = {State-set branching: Leveraging BDDs for heuristic search}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {103--139}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.05.009}, doi = {10.1016/J.ARTINT.2007.05.009}, timestamp = {Thu, 06 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/JensenVB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/KnottV08, author = {Alistair Knott and Peter Vlugter}, title = {Multi-agent human-machine dialogue: issues in dialogue management and referring expression semantics}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {69--102}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.06.001}, doi = {10.1016/J.ARTINT.2007.06.001}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/KnottV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/KohlasW08, author = {J{\"{u}}rg Kohlas and Nic Wilson}, title = {Semiring induced valuation algebras: Exact and approximate local computation algorithms}, journal = {Artif. Intell.}, volume = {172}, number = {11}, pages = {1360--1399}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.03.003}, doi = {10.1016/J.ARTINT.2008.03.003}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/KohlasW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/KrausHWAP08, author = {Sarit Kraus and Penina Hoz{-}Weiss and Jonathan Wilkenfeld and David R. Andersen and Amy Pate}, title = {Resolving crises through automated bilateral negotiations}, journal = {Artif. Intell.}, volume = {172}, number = {1}, pages = {1--18}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.05.007}, doi = {10.1016/J.ARTINT.2007.05.007}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/KrausHWAP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LangM08, author = {J{\'{e}}r{\^{o}}me Lang and Pierre Marquis}, title = {On propositional definability}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {991--1017}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.12.003}, doi = {10.1016/J.ARTINT.2007.12.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LangM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LarrosaHG08, author = {Javier Larrosa and Federico Heras and Simon de Givry}, title = {A logical approach to efficient Max-SAT solving}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {204--233}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.05.006}, doi = {10.1016/J.ARTINT.2007.05.006}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LarrosaHG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Laskey08, author = {Kathryn B. Laskey}, title = {{MEBN:} {A} language for first-order Bayesian knowledge bases}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {140--178}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.006}, doi = {10.1016/J.ARTINT.2007.09.006}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Laskey08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Liberatore08, author = {Paolo Liberatore}, title = {Redundancy in logic {II:} 2CNF and Horn propositional formulae}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {265--299}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.06.003}, doi = {10.1016/J.ARTINT.2007.06.003}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Liberatore08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Liberatore08a, author = {Paolo Liberatore}, title = {Redundancy in logic {III:} Non-monotonic reasoning}, journal = {Artif. Intell.}, volume = {172}, number = {11}, pages = {1317--1359}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.02.003}, doi = {10.1016/J.ARTINT.2008.02.003}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Liberatore08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LikhachevFGST08, author = {Maxim Likhachev and Dave Ferguson and Geoffrey J. Gordon and Anthony Stentz and Sebastian Thrun}, title = {Anytime search in dynamic graphs}, journal = {Artif. Intell.}, volume = {172}, number = {14}, pages = {1613--1643}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.009}, doi = {10.1016/J.ARTINT.2007.11.009}, timestamp = {Mon, 23 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LikhachevFGST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LinKWB08, author = {Raz Lin and Sarit Kraus and Jonathan Wilkenfeld and James Barry}, title = {Negotiating with bounded rational agents in environments with incomplete information using an automated agent}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {823--851}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.007}, doi = {10.1016/J.ARTINT.2007.09.007}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LinKWB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Lukasiewicz08, author = {Thomas Lukasiewicz}, title = {Expressive probabilistic description logics}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {852--883}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.10.017}, doi = {10.1016/J.ARTINT.2007.10.017}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Lukasiewicz08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/McCarthy08, author = {John McCarthy}, title = {The well-designed child}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {2003--2014}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.10.001}, doi = {10.1016/J.ARTINT.2008.10.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/McCarthy08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/MelisMS08, author = {Erica Melis and Andreas Meier and J{\"{o}}rg H. Siekmann}, title = {Proof planning with multiple strategies}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {656--684}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.11.004}, doi = {10.1016/J.ARTINT.2007.11.004}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/MelisMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/MellishP08, author = {Chris Mellish and Jeff Z. Pan}, title = {Natural language directed inference from ontologies}, journal = {Artif. Intell.}, volume = {172}, number = {10}, pages = {1285--1315}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.01.003}, doi = {10.1016/J.ARTINT.2008.01.003}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/MellishP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Mengshoel08, author = {Ole J. Mengshoel}, title = {Understanding the role of noise in stochastic local search: Analysis and experiments}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {955--990}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.010}, doi = {10.1016/J.ARTINT.2007.09.010}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Mengshoel08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/MorissetG08, author = {Benoit Morisset and Malik Ghallab}, title = {Learning how to combine sensory-motor functions into a robust behavior}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {392--412}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.07.003}, doi = {10.1016/J.ARTINT.2007.07.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/MorissetG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/NordhZ08, author = {Gustav Nordh and Bruno Zanuttini}, title = {What makes propositional abduction tractable}, journal = {Artif. Intell.}, volume = {172}, number = {10}, pages = {1245--1284}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.02.001}, doi = {10.1016/J.ARTINT.2008.02.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/NordhZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/OlsenSS08, author = {Megan M. Olsen and N. Siegelmann{-}Danieli and Hava T. Siegelmann}, title = {Robust artificial life via artificial programmed death}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {884--898}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.10.015}, doi = {10.1016/J.ARTINT.2007.10.015}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/OlsenSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/PerlisW08, author = {Don Perlis and Mary{-}Anne Williams}, title = {Editorial}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {1943}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.10.004}, doi = {10.1016/J.ARTINT.2008.10.004}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/PerlisW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/PhamTS08, author = {Duc Nghia Pham and John Thornton and Abdul Sattar}, title = {Modelling and solving temporal reasoning as propositional satisfiability}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1752--1782}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.06.003}, doi = {10.1016/J.ARTINT.2008.06.003}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/PhamTS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/PorterRST08, author = {Ryan Porter and Amir Ronen and Yoav Shoham and Moshe Tennenholtz}, title = {Fault tolerant mechanism design}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1783--1799}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.06.004}, doi = {10.1016/J.ARTINT.2008.06.004}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/PorterRST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/RenooijG08, author = {Silja Renooij and Linda C. van der Gaag}, title = {Enhanced qualitative probabilistic networks for resolving trade-offs}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1470--1494}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.04.001}, doi = {10.1016/J.ARTINT.2008.04.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/RenooijG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/RosenfeldKKS08, author = {Avi Rosenfeld and Gal A. Kaminka and Sarit Kraus and Onn Shehory}, title = {A study of mechanisms for improving robotic group performance}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {633--655}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.008}, doi = {10.1016/J.ARTINT.2007.09.008}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/RosenfeldKKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/RuckertR08, author = {Ulrich R{\"{u}}ckert and Luc De Raedt}, title = {An experimental evaluation of simplicity in rule learning}, journal = {Artif. Intell.}, volume = {172}, number = {1}, pages = {19--28}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.06.004}, doi = {10.1016/J.ARTINT.2007.06.004}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/RuckertR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Sandewall08, author = {Erik Sandewall}, title = {A review of the Handbook of Knowledge Representation}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {1965--1966}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.10.002}, doi = {10.1016/J.ARTINT.2008.10.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Sandewall08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SarneK08, author = {David Sarne and Sarit Kraus}, title = {Managing parallel inquiries in agents' two-sided search}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {541--569}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.002}, doi = {10.1016/J.ARTINT.2007.09.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SarneK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SchockaertC08, author = {Steven Schockaert and Martine De Cock}, title = {Temporal reasoning about fuzzy intervals}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {1158--1193}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.01.001}, doi = {10.1016/J.ARTINT.2008.01.001}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SchockaertC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Sloman08, author = {Aaron Sloman}, title = {The well-designed young mathematician}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {2015--2034}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.09.004}, doi = {10.1016/J.ARTINT.2008.09.004}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Sloman08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SmithA08, author = {Jim Q. Smith and Paul E. Anderson}, title = {Conditional independence and chain event graphs}, journal = {Artif. Intell.}, volume = {172}, number = {1}, pages = {42--68}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.05.004}, doi = {10.1016/J.ARTINT.2007.05.004}, timestamp = {Wed, 26 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SmithA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SrihariCSSSB08, author = {Sargur N. Srihari and Jim Collins and Rohini K. Srihari and Harish Srinivasan and Shravya Shetty and Janina Brutt{-}Griffler}, title = {Automatic scoring of short handwritten essays in reading comprehension tests}, journal = {Artif. Intell.}, volume = {172}, number = {2-3}, pages = {300--324}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.06.005}, doi = {10.1016/J.ARTINT.2007.06.005}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SrihariCSSSB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/StantonW08, author = {Christopher J. Stanton and Mary{-}Anne Williams}, title = {, Robotics: State of the Art and Future Challenges , Imperial College Press {(2008)}}, journal = {Artif. Intell.}, volume = {172}, number = {18}, pages = {1967--1972}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.10.003}, doi = {10.1016/J.ARTINT.2008.10.003}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/StantonW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ThomazB08, author = {Andrea Lockerd Thomaz and Cynthia Breazeal}, title = {Teachable robots: Understanding human teaching behavior to build more effective robot learners}, journal = {Artif. Intell.}, volume = {172}, number = {6-7}, pages = {716--737}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.09.009}, doi = {10.1016/J.ARTINT.2007.09.009}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ThomazB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/VytelingumCJ08, author = {Perukrishnen Vytelingum and Dave Cliff and Nicholas R. Jennings}, title = {Strategic bidding in continuous double auctions}, journal = {Artif. Intell.}, volume = {172}, number = {14}, pages = {1700--1729}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.06.001}, doi = {10.1016/J.ARTINT.2008.06.001}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/VytelingumCJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/WuK08, author = {Di Wu and Xenofon D. Koutsoukos}, title = {Reachability analysis of uncertain systems using bounded-parameter Markov decision processes}, journal = {Artif. Intell.}, volume = {172}, number = {8-9}, pages = {945--954}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.12.002}, doi = {10.1016/J.ARTINT.2007.12.002}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/WuK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/YuZ08, author = {Yang Yu and Zhi{-}Hua Zhou}, title = {A new approach to estimating the expected first hitting time of evolutionary algorithms}, journal = {Artif. Intell.}, volume = {172}, number = {15}, pages = {1809--1832}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.07.001}, doi = {10.1016/J.ARTINT.2008.07.001}, timestamp = {Thu, 07 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/YuZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ZahaviFHS08, author = {Uzi Zahavi and Ariel Felner and Robert C. Holte and Jonathan Schaeffer}, title = {Duality in permutation state spaces and the dual search algorithm}, journal = {Artif. Intell.}, volume = {172}, number = {4-5}, pages = {514--540}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2007.10.019}, doi = {10.1016/J.ARTINT.2007.10.019}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ZahaviFHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Zhang08, author = {Jiji Zhang}, title = {On the completeness of orientation rules for causal discovery in the presence of latent confounders and selection bias}, journal = {Artif. Intell.}, volume = {172}, number = {16-17}, pages = {1873--1896}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.08.001}, doi = {10.1016/J.ARTINT.2008.08.001}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Zhang08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ZhangF08, author = {Yuanlin Zhang and Eugene C. Freuder}, title = {Properties of tree convex constraints}, journal = {Artif. Intell.}, volume = {172}, number = {12-13}, pages = {1605--1612}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.05.001}, doi = {10.1016/J.ARTINT.2008.05.001}, timestamp = {Tue, 26 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/ZhangF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ZoharR08, author = {Aviv Zohar and Jeffrey S. Rosenschein}, title = {Mechanisms for information elicitation}, journal = {Artif. Intell.}, volume = {172}, number = {16-17}, pages = {1917--1939}, year = {2008}, url = {https://doi.org/10.1016/j.artint.2008.08.005}, doi = {10.1016/J.ARTINT.2008.08.005}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ZoharR08.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.