193 search results - page 30 / 39 » On the Epistemological foundations of Logic Programming and ... |
ASC
2006
15 years 1 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
LISA
2004
15 years 1 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
102
click to vote
CAEPIA
2009
Springer
15 years 25 days ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
120
click to vote
JLP
2007
14 years 11 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
80
Voted
SYNTHESE
2011
14 years 6 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...