4513 search results - page 73 / 903 » Logic programming with satisfiability |
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
103
click to vote
ENTCS
2010
15 years 1 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
89
Voted
WILF
2005
Springer
15 years 7 months ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
AAAI
2000
15 years 2 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
135
click to vote
LOGCOM
2008
15 years 1 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...