AIIA
2015
Springer
8 years 7 months ago
2015
Springer
This paper addresses the question of whether AI will ever support Design Thinking, with a focus on Architecture and Urban Planning, by analyzing the current trends of research in A...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. The timeline-based approach to planning represents an effective alternative to classical planning in complex domains where different types of reasoning are required in pa...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
In the design process, architects tend to choose and arrange together primitive geometrical elements according to their own cognitive environment (as reflected by culture and educa...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
The adoption of Description Logics for modeling real world domains within the Semantic Web is exponentially increased in the last years, also due to the availability of a large num...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
PubMed, the main literature repository for the life sciences, contains more than 23 million publication references. In average nearly two publications per minute are added. There i...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
We describe a Multiagent Planning approach, named Social Continual Planning, that tackles open scenarios, where agents can join and leave the system dynamically. The planning task ...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
Twelve years have elapsed since the first QBF evaluation was held as an event linked to SAT conferences. During this period, researchers have strived to propose new algorithms and...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. We describe encodings in Answer Set Programming for abductive reasoning in First Order Logic in acyclic Horn theories in the presence of value invention and in the absenc...
AIIA
2015
Springer
8 years 7 months ago
2015
Springer
The advent of humanoid robots has posed new challenges and opportunities to control complex movements; their bodies have an high number of degrees of freedom, and methods used up t...