Work

Extending Decidable Cases for Rules with Existential Variables

Year: 2009

Type: conference-paper

Source: HAL

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

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

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1589124617

FWCI: 7.01

Cites: 14

Cited by: 93

Related to: 10