344 search results - page 3 / 69 » Mathematical Programming Embeddings of Logic |
123
Voted
IJCAI
2007
15 years 4 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
87
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
106
Voted
MPC
2000
Springer
15 years 6 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
125
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
102
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...