920 search results - page 66 / 184 » Generating Satisfiable Problem Instances |
109
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
142
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
87
Voted
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...
133
click to vote
AAAI
2010
15 years 2 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
149
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...