Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen

Type: Article

Publication Date: 2002-06-01

Citations: 856

DOI: https://doi.org/10.1016/s0004-3702(02)00187-x

View Publication

Download PDF

Locations

Artificial Intelligence - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Extending the Stable Model Semantics with More Expressive Rules	1999	Patrik Simons
+ PDF Chat	First-order stable model semantics with intensional functions	2019	Michael Bartholomew Joohyung Lee
+	A Characterization of Stable Models using a Non-Monotonic Operator	1993	Luís Moniz Pereira Anil Nerode
+ PDF Chat	Stable Models and an Alternative Logic Programming Paradigm	1999	Victor W. Marek Mirosław Truszczyński
+	Conservative Stable Standards of Behavior and φ-Stable Sets	2006	Xiao Luo
+	MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017	2018
+	Properties of Stable Model Semantics Extensions	2014	Mário António Rodrigues Grande Abrantes Luı́s Moniz Pereira
+ PDF Chat	SLHAplus: A library for implementing extensions of the standard model	2010	G. Bélanger Neil D. Christensen A. Pukhov A. Semenov
+	MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017	2018
+	Model-checking process equivalences	2014	Martin Lange Étienne Lozes Manuel Vargas
+	Stability and omitting types	1991	Ehud Hrushovski Saharon Shelah
+ PDF Chat	Model checking strategy-controlled systems in rewriting logic	2021	Rubén Rubio Narciso Martı́-Oliet Isabel Pita Alberto Verdejo
+	Table 4, Model State Transitions and Descriptions	2015	Khai Tran Kathryn Coyle Mohammed F. Jabr Doug Coyle Michel Boucher Lisa Mielniczuk John R. Swiston Danielle Rabb Karen Cimon Julie Blouin
+	Constructing and Checking the Model	1993	David Birkes Yadolah Dodge
+ PDF Chat	System Model-Based Definition of Modeling Language Semantics	2009	Hans Grönniger Jan Oliver Ringert Bernhard Rumpe⋆
+ PDF Chat	On the extending of models (I)	1955	J. Łoś
+	Special Termination of Minimal Model Program	2024	Zhiyi Huang
+	Testing and reopening in an SEIR model	2020	David Berger Kyle Herkenhoff Chengdai Huang Simon Mongey
+	Extending the Domain of the MK System	2003	Janet Rountree
+	State space formulas for a model matching problem	1989	André C. M. Ran

Works That Cite This (188)

Action	Title	Year	Authors
+	Reformulation of global constraints in answer set programming	2010	Christian Drescher Toby Walsh
+ PDF Chat	Backdoors to tractable answer set programming	2014	Johannes K. Fichte Stefan Szeider
+	Fixed point semantics for stream reasoning	2020	Christian Antić
+ PDF Chat	Query answering in resource-based answer set semantics	2016	Stefania Costantini Andrea Formisano
+ PDF Chat	Parallel instantiation of ASP programs: techniques and experiments	2012	Simona Perri Francesco Ricca M. Sirianni
+ PDF Chat	Reasoning support for risk prediction and prevention in independent living	2011	Alessandra Mileo Davide Merico Roberto Bisiani
+ PDF Chat	Scaling-up reasoning and advanced analytics on BigData	2018	Tyson Condie Ariyam Das Matteo Interlandi Alexander Shkapsky Mohan Yang Carlo Zaniolo
+ PDF Chat	Domain-dependent knowledge in answer set planning	2006	Tran Cao Son Chitta Baral Nam Tran Sheila A. McIlraith
+ PDF Chat	Partial Compilation of ASP Programs	2019	Bernardo Cuteri Carmine Dodaro Francesco Ricca Peter Schüller
+ PDF Chat	Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks	2017	Thomas Guyet Yves Moinard René Quiniou Torsten Schaub

Works Cited by This (4)

Action	Title	Year	Authors
+ PDF Chat	Extending the Stable Model Semantics with More Expressive Rules	1999	Patrik Simons
+ PDF Chat	Stable Models and an Alternative Logic Programming Paradigm	1999	Victor W. Marek Mirosław Truszczyński
+	DES: a Challenge Problem for Nonmonotonic Reasoning Systems	2000	Maarit Hietalahti Fabio Massacci Ilkka Niemelä
+	DATALOG with Constraints - An Answer-Set Programming System	2000	Deborah East Mirosław Truszczyński