The Modal Logic of Equilibrium Models (Q3172888): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: Publication / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-24364-6_10 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W113934892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional theories are strongly equivalent to logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal Logic Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contingency-Based Equilibrium Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Thirteen Definitions of a Stable Model / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly equivalent logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721207 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:39, 4 July 2024

scientific article
Language Label Description Also known as
English
The Modal Logic of Equilibrium Models
scientific article

    Statements

    The Modal Logic of Equilibrium Models (English)
    0 references
    0 references
    7 October 2011
    0 references
    equilibrium logic
    0 references
    here-and-there models
    0 references
    bimodal logic
    0 references
    answer-set programming
    0 references

    Identifiers