Work

IMP-Logics: a metamodel for analysis and transformations of Datalog programs

Year: 2024

Type: conference-paper

Abstract: Datalog is a logic-based query-language used for knowledge representation and reasoning. Through the years, the literature has defined highly valuable algorithms, desirable properties, and useful transformations for this language and its extensions (e.g. Datalog±).

Source: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

DOI: 10.1145/3652620.3687790

Authors: José Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente

Institution: Universitat Politècnica de Catalunya

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Generalitat de Catalunya, Agencia Estatal de Investigación

Awards: G2262748287, G3480869486, G425668148, G5957001361, G7921787498