1264 search results - page 68 / 253 » Towards Theory Translation |
IJCAI
1993
13 years 10 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
AMAI
2008
Springer
13 years 9 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
RECOMB
2003
Springer
14 years 9 months ago
2003
Springer
We study a design and optimization problem that occurs, for example, when single nucleotide polymorphisms (SNPs) are to be genotyped using a universal DNA tag array. The problem o...
CSMR
2008
IEEE
14 years 3 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...