DLV-EX swMATH ID: 4642 Software Authors: Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista Description: External sources of knowledge and value invention in logic programming 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. Homepage: https://www.mat.unical.it/ianni/wiki/dlvex Keywords: Artificial intelligence; Logic programming; Answer set semantics; Value invention Related Software: Clingcon; Clingo; OntoDLV; Potassco; Gringo; ezcsp; Datalog; GASP; Smodels; sCASP; WASP; Lparse; DLV; ASSAT; HiLog; DLV-Complex; LARS; Brain Connectivity Toolbox; Adam; Tweety Cited in: 16 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year External sources of knowledge and value invention in logic programming. Zbl 1125.68026Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista 2007 all top 5 Cited by 43 Authors 6 Ianni, Giovambattista 5 Eiter, Thomas 4 Krennwallner, Thomas 3 Calimeri, Francesco 3 Fink, Michael 3 Leone, Nicola 2 Cozza, Susanna 2 Gebser, Martin 2 Redl, Christoph 2 Schaub, Torsten H. 2 Terracina, Giorgio 1 Arias, Joaquin 1 Balduccini, Marcello 1 Brewka, Gerhard 1 Carro, Manuel 1 Cauteruccio, Francesco 1 Cinelli, Luca 1 Dao-Tran, Minh 1 Dell’Armi, Tina 1 Durand-Dubief, Françoise 1 Faber, Wolfgang 1 Fiorentini, Camillo 1 Gallucci, Lorenzo 1 Grasso, Giovanni 1 Gupta, Gopal K. 1 Kaminski, Roland 1 Kaminski, Tobias 1 Kaufmann, Benjamin 1 Lierler, Yuliya 1 Marple, Kyle 1 Martello, Alessandra 1 Marzullo, Aldo 1 Momigliano, Alberto 1 Ornaghi, Mario 1 Ostrowski, Max 1 Panetta, Claudio 1 Perri, Simona 1 Ricca, Francesco 1 Salazar, Elmer 1 Sappey-Marinier, Dominique 1 Schindlauer, Roman 1 Schüller, Peter 1 Stamile, Claudio Cited in 4 Serials 5 Theory and Practice of Logic Programming 2 Artificial Intelligence 2 Journal of Logic and Computation 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 16 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) Citations by Year