498 search results - page 13 / 100 » Constraint Answer Set Programming Systems |
KSEM
2010
Springer
13 years 6 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
ASP
2001
Springer
14 years 1 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
AAAI
2010
13 years 10 months ago
2010
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...