3973 search results - page 305 / 795 » Records for Logic Programming |
155
click to vote
LANMR
2007
15 years 6 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
164
Voted
FUIN
2008
15 years 5 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
146
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
137
Voted
MSR
2006
ACM
15 years 11 months ago
2006
ACM
This report describes some characteristics of the development team of PostgreSQL that were uncovered by analyzing the history of its software artifacts as recorded by the project...
128
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorit...