October 2006
Logic Journal of the IGPL;Oct2006, Vol. 14 Issue 5, p631
Academic Journal
The article discusses various reports published within the issue, including one by Hilary Putnam on computability theory, one by Jerzy Mycka and colleagues on connections between a non-standard model of computations and the classical theory of computability, and one by Eli Shamir on satisfiability decay along conjunctions of pseudo-random clauses.


Related Articles

  • Practically coordinating. Durfee, Edmund H. // AI Magazine;Spring99, Vol. 20 Issue 1, p99 

    Categorizes techniques for keeping intelligent agents suitably ignorant so that they can practically coordinate and gives a selective survey of examples of these techniques for illustration. Recursive modeling method; Keeping coordination practical; Limited use of nested models; Use of...

  • EDITORIAL: COMPUTATIONAL INTELLIGENCE FOR BUSINESS COLLABORATION. JUNG, Jason J. // Computing & Informatics;2014, Vol. 33 Issue 3, p477 

    An introduction to the special section of the journal dedicated to the topic of computational intelligence is presented.

  • Guest Editorial (Vol. 11, No. 2, October 2014). Salgaonkar, Ambuja; Joshi, Manish // International Journal of Computer Science & Applications;Oct2014, Vol. 11 Issue 2, pIII 

    The article presents an introduction to this issue of the journal that comprises a select group of nine research articles out of 51 submissions to the International Conference on Computational Intelligence 2014 on computational intelligence.

  • New! Special Technical Track – Computational Sustainability and Artificial Intelligence.  // AI Magazine;Winter2010, Vol. 31 Issue 4, p3 

    The article announces the submission of research papers related to computational sustainability for the Computational Sustainability and Artificial Intelligence special technical track of the 25th Association for the Advancement of Artificial Intelligence (AAAI) Conference on Artificial...

  • 2011 Spring Symposium Series.  // AI Magazine;Spring2010, Vol. 31 Issue 1, p6 

    The article announces that Association for the Advancement of Artificial Intelligence (AAAI) is accepting proposals on broad range of topics within and around artificial intelligence (AI) for its 2011 Spring Symposium Series to be conducted at Stanford University, California on March 21-23, 2010.

  • Preface to the special issue.  // Control & Cybernetics;2011, Vol. 40 Issue 2, p195 

    A preface to the periodical "Control and Cybernetics" is presented.

  • Calendar of Events.  // International Journal of Computational Intelligence & Applicatio;Dec2015, Vol. 14 Issue 4, p-1 

    A calendar of international conferences from October 2015 to December 2016 is presented which includes conferences titled 7th International Joint Conference on Computational Intelligence, IEEE World Congress on Computational Intelligence (WCCI), and European Conference on Artificial Intelligence.

  • Describing and deriving certain answers over partial databases. Minock, Michael Jason // Journal of Intelligent Information Systems;Oct2010, Vol. 35 Issue 2, p245 

    lthough there has been much work in recent years on answering queries using views, there has been less work on deriving answers from partial databases. That is given a partial database state D, materialized via the view V, what queries can be asked over D that can be answered with certainty...

  • Simple and fast surrogate constraint heuristics for the maximum independent set problem. Alidaee, Bahram; Kochenberger, Gary; Wang, Haibo // Journal of Heuristics;Nov2008, Vol. 14 Issue 6, p571 

    In a recent paper Glover (J. Heuristics 9:175�227, ) discussed a variety of surrogate constraint-based heuristics for solving optimization problems in graphs. The key ideas put forth in the paper were illustrated by giving specializations designed for certain covering and coloring problems....


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics