![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/ai/ai14.bht:"
@article{DBLP:journals/ai/Berliner80, author = {Hans J. Berliner}, title = {Backgammon Computer Program Beats World Champion}, journal = {Artif. Intell.}, volume = {14}, number = {2}, pages = {205--220}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90041-7}, doi = {10.1016/0004-3702(80)90041-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Berliner80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Bibel80, author = {Wolfgang Bibel}, title = {Syntax-Directed, Semantics-Supported Program Synthesis}, journal = {Artif. Intell.}, volume = {14}, number = {3}, pages = {243--261}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90050-8}, doi = {10.1016/0004-3702(80)90050-8}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Bibel80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Brady80, author = {Michael Brady}, title = {Stuart C. Shapiro, Techniques of Artificial lntelligence}, journal = {Artif. Intell.}, volume = {14}, number = {1}, pages = {109--110}, year = {1980}, timestamp = {Tue, 26 Apr 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Brady80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Brown80, author = {Frank M. Brown}, title = {An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning}, journal = {Artif. Intell.}, volume = {14}, number = {3}, pages = {221--242}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90049-1}, doi = {10.1016/0004-3702(80)90049-1}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Brown80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/HaralickE80, author = {Robert M. Haralick and Gordon L. Elliott}, title = {Increasing Tree Search Efficiency for Constraint Satisfaction Problems}, journal = {Artif. Intell.}, volume = {14}, number = {3}, pages = {263--313}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90051-X}, doi = {10.1016/0004-3702(80)90051-X}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/HaralickE80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Korf80, author = {Richard E. Korf}, title = {Toward a Model of Representation Changes}, journal = {Artif. Intell.}, volume = {14}, number = {1}, pages = {41--78}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90033-8}, doi = {10.1016/0004-3702(80)90033-8}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Korf80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Pearl80, author = {Judea Pearl}, title = {Asymptotic Properties of Minimax Trees and Game-Searching Procedures}, journal = {Artif. Intell.}, volume = {14}, number = {2}, pages = {113--138}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90037-5}, doi = {10.1016/0004-3702(80)90037-5}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/Pearl80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/PopplestoneAB80, author = {Robin J. Popplestone and A. Patricia Ambler and I. M. Bellos}, title = {An Interpreter for a Language for Describing Assemblies}, journal = {Artif. Intell.}, volume = {14}, number = {1}, pages = {79--107}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90034-X}, doi = {10.1016/0004-3702(80)90034-X}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/PopplestoneAB80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Prazdny80, author = {K. Prazdny}, title = {J. Green (editor), Cognitive Psychology. An Open University course units Prepared by a Collective of Authors and Editet by J. Creen}, journal = {Artif. Intell.}, volume = {14}, number = {1}, pages = {110--112}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90036-3}, doi = {10.1016/0004-3702(80)90036-3}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Prazdny80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SussmanS80, author = {Gerald J. Sussman and Guy L. Steele Jr.}, title = {{CONSTRAINTS} - {A} Language for Expressing Almost-Hierarchical Descriptions}, journal = {Artif. Intell.}, volume = {14}, number = {1}, pages = {1--39}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90032-6}, doi = {10.1016/0004-3702(80)90032-6}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SussmanS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Vere80, author = {Steven A. Vere}, title = {Multilevel Counterfactuals for Generalizations of Relational Concepts and Productions}, journal = {Artif. Intell.}, volume = {14}, number = {2}, pages = {139--164}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90038-7}, doi = {10.1016/0004-3702(80)90038-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Vere80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Wilkins80, author = {David Wilkins}, title = {Using Patterns and Plans in Chess}, journal = {Artif. Intell.}, volume = {14}, number = {2}, pages = {165--203}, year = {1980}, url = {https://doi.org/10.1016/0004-3702(80)90039-9}, doi = {10.1016/0004-3702(80)90039-9}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Wilkins80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.