AITopics | seq bin

Collaborating Authors

seq bin

Information about AI from the News, Publications, and Conferences

Automatic Classification – Tagging and Summarization – Customizable Filtering and Analysis

If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."

However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints

Petit, Thierry (Ecole des Mines de Nantes / LINA) | Beldiceanu, Nicolas (Ecole des Mines de Nantes / LINA) | Lorca, Xavier (Ecole des Mines de Nantes / LINA)

AAAI ConferencesJul-19-2011

This paper introduces the Seqbin meta-constraint with a polytime algorithm achieving generalized arc-consistency. Seqbin can be used for encoding counting constraints such as Change, Smooth, or InncreasingNValue. For all of them the time and space complexity is linear in the sum of domain sizes, which improves or equals the best known results of the literature.

c-stretch, constraint, seq bin, (13 more...)

AAAI Conferences

Twenty-Second International Joint Conference on Artificial Intelligence

Country: Europe > France > Pays de la Loire > Loire-Atlantique > Nantes (0.04)

Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)

Add feedback