Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
2004-01-01 T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres
Computational Properties of Meta-querying problems
2003-01-01 Angiulli, Fabrizio; BEN ELIYAHU, R.; Ianni, Giovambattista; Palopoli, Luigi
Detecting decidable classes of finitely ground logic programs with function symbols
2017-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Fast query answering over existential rules
2019-01-01 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
On the Complexity of Probabilistic Abstract Argumentation Frameworks
2015-01-01 Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
Outlier detection by logic programming
2007-01-01 Angiulli, Fabrizio; Greco, Gianluigi; Palopoli, L.
Outlier Detection by Logic Programming (TOCL)
2007-01-01 Angiulli, F.; Greco, G.; Palopoli, Luigi
Super-solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic
2014-01-01 Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs
The DLV System for Knowledge Representation and Reasoning
2006-01-01 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
2013-01-01 Shakarian, Paulo; Broecheler, Matthias; Subrahamanian, Vs; Molinaro, Cristian
Well-Founded Semantics for Description Logic Programs in the Semantic Web
2011-01-01 Eiter, T; Ianni, Giovambattista; Lukasiewicz, T; Schindlauer, R.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity | 1-gen-2004 | T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres | |
Computational Properties of Meta-querying problems | 1-gen-2003 | Angiulli, Fabrizio; BEN ELIYAHU, R.; Ianni, Giovambattista; Palopoli, Luigi | |
Detecting decidable classes of finitely ground logic programs with function symbols | 1-gen-2017 | Calautti, Marco; Greco, Sergio; Trubitsyna, Irina | |
Fast query answering over existential rules | 1-gen-2019 | Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco | |
On the Complexity of Probabilistic Abstract Argumentation Frameworks | 1-gen-2015 | Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco | |
Outlier detection by logic programming | 1-gen-2007 | Angiulli, Fabrizio; Greco, Gianluigi; Palopoli, L. | |
Outlier Detection by Logic Programming (TOCL) | 1-gen-2007 | Angiulli, F.; Greco, G.; Palopoli, Luigi | |
Super-solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic | 1-gen-2014 | Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs | |
The DLV System for Knowledge Representation and Reasoning | 1-gen-2006 | Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco | |
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems | 1-gen-2013 | Shakarian, Paulo; Broecheler, Matthias; Subrahamanian, Vs; Molinaro, Cristian | |
Well-Founded Semantics for Description Logic Programs in the Semantic Web | 1-gen-2011 | Eiter, T; Ianni, Giovambattista; Lukasiewicz, T; Schindlauer, R. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile