AIIA
2015
Springer
8 years 6 days ago
2015
Springer
Abstract. We describe DysToPic, a theorem prover for the preferential Description Logic ALC + Tmin.This is a nonmonotonic extension of standard ALC based on a typicality operator T...
AIIA
2015
Springer
8 years 6 days ago
2015
Springer
The rising interest around tractable Probabilistic Graphical Models is due to the guarantees on inference feasibility they provide. Among them, Cutset Networks (CNets) have recentl...
AIIA
2015
Springer
8 years 6 days ago
2015
Springer
Abstract. L’annotazione ontologica della conoscenza contenuta nelle opere latine disponibili nella biblioteca digitale digilibLT permette di aprire prospettive di ricerca del tut...
AIIA
2015
Springer
8 years 6 days 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 6 days 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 6 days 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 6 days 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 6 days 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 6 days 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 6 days 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...