6740 search results - page 507 / 1348 » Using Classification as a Programming Language |
135
click to vote
CLEIEJ
2010
15 years 2 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
154
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
250
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
143
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
148
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...