Checking Termination of Logic Programs with Function Symbols through Linear Constraints / Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina. - 8620:(2014), pp. 97-111. (Intervento presentato al convegno RuleML tenutosi a Praha nel 18th August-20 August 2014) [10.1007/978-3-319-09870-8_7].

Checking Termination of Logic Programs with Function Symbols through Linear Constraints

Marco Calautti;
2014-01-01

2014
Rules on the Web. From Theory to Applications - 8th InternationalSymposium, RuleML 2014, Co-located with the 21st European Conferenceon Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014
Berlino
Springer
Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Checking Termination of Logic Programs with Function Symbols through Linear Constraints / Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina. - 8620:(2014), pp. 97-111. (Intervento presentato al convegno RuleML tenutosi a Praha nel 18th August-20 August 2014) [10.1007/978-3-319-09870-8_7].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/260215
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact