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...
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Ev...
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...
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 ...
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...
Paolo Marin, Massimo Narizzano, Luca Pulina, Arman...
We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the...
Emilio M. Sanfilippo, Claudio Masolo, Daniele Pore...