You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (68)

Journals (0)

1-10 of 68 results for stable model semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Approximating the Stable Model Semantics is Hard

Free access

Research article

First published 1996-11

Approximating the Stable Model Semantics is Hard

Georg Gottlob, Mirosław Truszczyński

Fundamenta Informaticae

Select article: Processing Deductive Databases under the Disjunctive Stable Model Semantics

Retricted access

Research article

First published 1999-10

Processing Deductive Databases under the Disjunctive Stable Model Semantics

C.A. Johnson

Fundamenta Informaticae

Select article: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

Retricted access

Research article

First published 1999-2

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

Keijo Heljanko

Fundamenta Informaticae

Select article: Abducible Semantics and Argumentation

Retricted access

Research article

First published 2017

Abducible Semantics and Argumentation

Mauricio Osorio, José Luis Carballido, Claudia Zepeda

Fundamenta Informaticae

Select article: A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97),J. Dix,U. Furbach and A. Nerode,eds,LNCS 1265,Springer,1997.

Retricted access

Research article

First published 1998-2

A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97),J. Dix,U. Furbach and A. Nerode,eds,LNCS 1265,Springer,1997.

Thomas Eiter, James Lu, V.S. Subrahmanian

The European Journal on Artificial Intelligence

Select article: Compactness Properties for Stable Semantics of Logic Programs

Retricted access

Research article

First published 2007-11

Compactness Properties for Stable Semantics of Logic Programs

Victor W. Marek, Jeffrey B. Remmel

Fundamenta Informaticae

Select article: Well-Founded Semantics Coincides with Three-Valued Stable Semantics 1

Retricted access

Research article

First published 1990

Well-Founded Semantics Coincides with Three-Valued Stable Semantics 1

Teodor Przymusinski

Fundamenta Informaticae

Select article: Representing Argumentation Frameworks in Answer Set Programming

Retricted access

Research article

First published 2017

Representing Argumentation Frameworks in Answer Set Programming

Chiaki Sakama, Tjitze Rienstra

Fundamenta Informaticae

Select article: A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

Retricted access

Research article

First published 2011-1

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda

Fundamenta Informaticae

Select article: SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Retricted access

Research article

First published 1994-6

SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Jack Minker, Carolina Ruiz

Fundamenta Informaticae

1
2
3
•••
7
10 / page

Article type

Publication date

Subjects

Access