3470 search results - page 123 / 694 » Head-Elementary-Set-Free Logic Programs |
161
click to vote
KRDB
2003
15 years 6 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
145
click to vote
JELIA
2000
Springer
15 years 8 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
156
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
154
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...