7213 search results - page 991 / 1443 » Automated model grouping |
201
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
178
click to vote
CCIA
2005
Springer
16 years 11 days ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
197
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
172
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
183
click to vote
ERCIMDL
2005
Springer
16 years 11 days ago
2005
Springer
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...