Result 1 to 20 of 253 total
Magic sets for disjunctive Datalog programs. (English)
Artif. Intell. 187-188, 156-192 (2012).
1
Datalog development tools. (Extended abstract). (English)
Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 81-85 (2012).
2
Magic-sets for Datalog with existential quantifiers. (English)
Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 31-43 (2012).
3
Distributed ontology based data access via logic programming. (English)
Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 205-208 (2012).
4
The $H{\it ı} LεX$ system for semantic information extraction. (English)
Hameurlain, Abdelkader (ed.) et al., Transactions on Large-Scale Data- and Knowledge-Centered Systems V. Berlin: Springer (ISBN 978-3-642-28147-1/pbk). Lecture Notes in Computer Science 7100. Journal Subline, 91-125 (2012).
5
The intelligent grounder of DLV. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 247-264 (2012).
6
The disjunctive datalog system DLV. (English)
de Moor, Oege (ed.) et al., Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16‒19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24205-2/pbk). Lecture Notes in Computer Science 6702, 282-301 (2011).
7
Look-back techniques for ASP programs with aggregates. (English)
Fundam. Inform. 107, No. 4, 379-413 (2011).
8
Finitely recursive programs: decidability and bottom-up computation. (English)
AI Commun. 24, No. 4, 311-334 (2011).
9
Unfounded sets and well-founded semantics of answer set programs with aggregates. (English)
J. Artif. Intell. Res. (JAIR) 42, 487-527 (2011).
10
Answer set planning under action costs. (English)
Comput. Res. Repos. 2011, Article No. 1106.5257 (2011).
11
Semantics and complexity of recursive aggregates in answer set programming. (English)
Artif. Intell. 175, No. 1, 278-298 (2011).
12
io-port 05900023 Calimeri, Francesco;
Ianni, Giovambattista;
Ricca, Francesco;
Alviano, Mario;
Bria, Annamaria;
Catalano, Gelsomina;
Cozza, Susanna;
Faber, Wolfgang;
Febbraro, Onofrio;
Leone, Nicola;
Manna, Marco;
Martello, Alessandra;
Panetta, Claudio;
Perri, Simona;
Reale, Kristian;
Santoro, Maria Carmela;
Sirianni, Marco;
Terracina, Giorgio;
Veltri, Pierfrancesco
The third answer set programming competition: Preliminary report of the system competition track. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 388-403 (2011).
13
Dynamic magic sets for programs with monotone recursive aggregates. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 148-160 (2011).
14
ASP at work: SPIN-off and applications of the DLV system. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 432-451 (2011).
15
Team-building with answer set programming in the gioia-tauro seaport. (English)
Comput. Res. Repos. 2011, Article No. 1101.4554 (2011).
16
A long tour from theory to practice. (English)
Intell. Artif. 5, No. 1, 133-138 (2011).
17
On the complexity of regular-grammars with integer attributes. (English)
J. Comput. Syst. Sci. 77, No. 2, 393-421 (2011).
18
io-port 70652973 Calimeri, Francesco;
Ianni, Giovambattista;
Ricca, Francesco;
Alviano, Mario;
Bria, Annamaria;
Catalano, Gelsomina;
Cozza, Susanna;
Faber, Wolfgang;
Febbraro, Onofrio;
Leone, Nicola;
Manna, Marco;
Martello, Alessandra;
Panetta, Claudio;
Perri, Simona;
Reale, Kristian;
Santoro, Maria Carmela;
Sirianni, Marco;
Terracina, Giorgio;
Veltri, Pierfrancesco
The third answer set programming competition: preliminary report of the system competition track (English)
LPNMR, 388-403 (2011).
19
Dynamic magic sets for programs with monotone recursive aggregates (English)
LPNMR, 148-160 (2011).
20
Result 1 to 20 of 253 total
Start
Contact
Print
General Help
