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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(4 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: MOCHA / 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
links / mardi / namelinks / mardi / name
 

Revision as of 20:12, 25 June 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