On the existence and unicity of stable models in normal residuated logic programs (Q2887039): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Manuel Ojeda Aciego / rank
Normal rank
 
Property / author
 
Property / author: Manuel Ojeda Aciego / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1080/00207160.2011.580842 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2092117499 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalization of some properties of relations in the context of functional temporal×modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the existence of stable models of non-stratified logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Termination of logic programs with imperfect information: applications and query procedure / rank
 
Normal rank
Property / cites work
 
Property / cites work: The family of stable models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic foundation of stable model semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implementing a relational theorem prover for modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4848738 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 05:58, 5 July 2024

scientific article
Language Label Description Also known as
English
On the existence and unicity of stable models in normal residuated logic programs
scientific article

    Statements

    On the existence and unicity of stable models in normal residuated logic programs (English)
    0 references
    0 references
    0 references
    15 May 2012
    0 references
    0 references
    stable models
    0 references
    residuated logic programming
    0 references
    fuzzy logic programming
    0 references
    existence of models
    0 references
    uniqueness of models
    0 references
    0 references