5506 search results - page 58 / 1102 » Minimal Logic Programs |
102
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
AGP
2003
IEEE
2003
IEEE
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
15 years 6 months ago
83
Voted
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
101
click to vote
ENTCS
2010
15 years 24 days 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, ...