Work

Walking the Decidability Line for Rules with Existential Variables

Year: 2009

Type: report

Source: HAL

Authors: Baget, Jean-François, Leclère, Michel, Mugnier, Marie-Laure

Institutions: Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Centre National de la Recherche Scientifique

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1797057780

Cites: 19

Cited by: 51

Related to: 10