1664 search results - page 1 / 333 » Towards Partial Reasoning |
73
Voted
FLAIRS
1998
15 years 10 days ago
1998
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
102
click to vote
IPL
2008
14 years 11 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
75
Voted
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
80
Voted
TPLP
2010
14 years 9 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...