caa a22 4500 463187067 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070801xx s 000 0 eng 10.1007/s10472-007-9076-z doi (NATIONALLICENCE)springer-10.1007/s10472-007-9076-z External sources of knowledge and value invention in logic programming [Elektronische Daten] [Francesco Calimeri, Susanna Cozza, Giovambattista Ianni] The issue of value invention in logic programming embraces many scenarios, such as logic programming with function symbols, object oriented logic languages, inter-operability with external sources of knowledge, or set unification. This work introduces a framework embedding value invention in a general context. The class of programs having a suitable (but, in general, not decidable) ‘finite grounding property' is identified, and the class of ‘value invention restricted' programs is introduced. Value invention restricted programs have the finite grounding property and can be decided in polynomial time. They are a very large polynomially decidable class having this property, when no assumption can be made about the nature of invented values (while this latter is the case in the specific literature about logic programming with function symbols). Relationships with existing formalisms are eventually discussed, and the implementation of a system supporting the class of such programs is described. Springer Science+Business Media B.V., 2007 Artificial intelligence nationallicence Logic programming nationallicence Answer set semantics nationallicence Value invention nationallicence Calimeri Francesco Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut Cozza Susanna Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut Ianni Giovambattista Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/3-4(2007-08-01), 333-361 1012-2443 50:3-4<333 2007 50 10472 https://doi.org/10.1007/s10472-007-9076-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9076-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Calimeri Francesco Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut NATIONALLICENCE 700 1- Cozza Susanna Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut NATIONALLICENCE 700 1- Ianni Giovambattista Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/3-4(2007-08-01), 333-361 1012-2443 50:3-4<333 2007 50 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer