Skip to main content

Annals of Mathematics and Artificial Intelligence

Ausgabe 1-3/2018

Ontologies and Logic Programming for Query Answering

Inhalt (7 Artikel)

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin

Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan

How does incoherence affect inconsistency-tolerant semantics for Datalog±?

Cristhian A. D. Deagustini, M. Vanina Martinez, Marcelo A. Falappa, Guillermo R. Simari

Upward refinement operators for conceptual blending in the description logic

Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza

Tableau reasoning for description logics and its extension to probabilities

Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma

Quasi-classical reasoning in paraconsistent databases

Badrinath Jayakumar, Rajshekhar Sunderraman

Parsing as semantically guided constraint solving: the role of ontologies

Veronica Dahl, Sergio Tessaris, Mariano De Sousa Bispo