Sciweavers

AIIA
2015
Springer
9 years 12 months ago
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques
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...
AIIA
2015
Springer
9 years 12 months ago
Large-scale Information Extraction for Assisted Curation of the Biomedical Literature
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...
Fabio Rinaldi, Lenz Furrer, Simon Clematide
99
Voted
AIIA
2015
Springer
9 years 12 months ago
Social Continual Planning in Open Multiagent Systems
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 ...
Matteo Baldoni, Cristina Baroglio, Roberto Micaliz...
AIIA
2015
Springer
9 years 12 months ago
An Empirical Perspective on Ten Years of QBF Solving
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...
101
Voted
AIIA
2015
Springer
9 years 12 months ago
Design Knowledge Representation: An Ontological Perspective
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...