Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11229-006-9072-6 / 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.1007/s11229-006-9072-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2021774774 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating-time temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Choosing social laws for multi-agent systems: Minimality and simplicity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4298260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Modal Logic for Coalitional Power in Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the emergence of social conventions: modeling, analysis, and simulations / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11229-006-9072-6 / rank
 
Normal rank

Latest revision as of 07:08, 10 December 2024

scientific article
Language Label Description Also known as
English
Social laws in alternating time: effectiveness, feasibility, and synthesis
scientific article

    Statements

    Social laws in alternating time: effectiveness, feasibility, and synthesis (English)
    0 references
    0 references
    0 references
    14 June 2007
    0 references
    Multi-Agent Systems
    0 references
    Social Laws
    0 references
    Coordination
    0 references
    Alternating-time Temporal Logic
    0 references
    Model checking
    0 references

    Identifiers