1664 search results - page 1 / 333 » Towards Partial Reasoning |
FLAIRS
1998
13 years 6 months ago
1998
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
IPL
2008
13 years 4 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...
LOPSTR
2009
Springer
13 years 11 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...
TPLP
2010
13 years 3 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...