Semantics and complexity of recursive aggregates in answer set programming von Faber, Wolfgang, Pfeifer, Gerald, Leone, Nicola

Volltext

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL von QURESHI, HAYA MAJID, FABER, WOLFGANG

Volltext

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings von Faber, Wolfgang, Friedrich, Gerhard, Gebser, Martin, Morak, Michael

Volltext

The DLV system for knowledge representation and reasoning von Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Eiter, Thomas, Gottlob, Georg, Perri, Simona, Scarcello, Francesco

Volltext

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings von Eiter, Thomas, Faber, Wolfgang, Truszczyński, Miros law

Volltext

Probabilistic Description Logics under the distribution semantics von Riguzzi, Fabrizio, Bellodi, Elena, Lamma, Evelina, Zese, Riccardo

Volltext

ASP-Core-2 Input Language Format von CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN

Volltext

Reasoning Web: Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures von Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen

Volltext

Sound, complete and minimal UCQ-rewriting for existential rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

Volltext

Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Volltext

Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings von Faber, Wolfgang, Lembo, Domenico

Volltext

Thirty years of Epistemic Specifications von FANDINNO, JORGE, FABER, WOLFGANG, GELFOND, MICHAEL

Volltext

An Efficient Solver for ASP(Q) von FABER, WOLFGANG, MAZZOTTA, GIUSEPPE, RICCA, FRANCESCO

Volltext

Recommender Systems and Linked Open Data von Di Noia, Tommaso, Ostuni, Vito Claudio

Volltext

Paracoherent answer set computation von Amendola, Giovanni, Dodaro, Carmine, Faber, Wolfgang, Ricca, Francesco

Volltext

An Introduction to Answer Set Programming and Some of Its Extensions von Faber, Wolfgang

Volltext

Ontology-Mediated Query Answering with Data-Tractable Description Logics von Bienvenu, Meghyn, Ortiz, Magdalena

Volltext

Experience with valuation methods for the creation of real options enabling diversity of nuclear fuel supply von Seidl, Marcus, Wensauer, Andreas, Faber, Wolfgang

Volltext

Coupling conceptual modeling and rules for the annotation of dramatic media von Lombardo, Vincenzo, Battaglino, Cristina, Pizzo, Antonio, Damiano, Rossana, Lieto, Antonio

Volltext

Aggregate Semantics for Propositional Answer Set Programs von ALVIANO, MARIO, FABER, WOLFGANG, GEBSER, MARTIN

Volltext