Work

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

Year: 1997

Type: conference-paper

Source: International Conference on Logic Programming

Authors: Ilkka Niemelä, Patrik Simons

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1520957705

FWCI: 7.495

Cites:

Cited by: 259

Related to: 10