Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Alternating-time_Temporal_Logic> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Alternating-time_Temporal_Logic abstract "In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent system and multiplayer games. It offers selective quantification over program-paths that are possible outcomes of games. ATL uses alternating-time formulas to construct model-checkers in order to address problems such as receptiveness, realizability, and controllability.".
- Alternating-time_Temporal_Logic wikiPageID "21675865".
- Alternating-time_Temporal_Logic wikiPageRevisionID "514332967".
- Alternating-time_Temporal_Logic hasPhotoCollection Alternating-time_Temporal_Logic.
- Alternating-time_Temporal_Logic subject Category:Logic_in_computer_science.
- Alternating-time_Temporal_Logic subject Category:Modal_logic.
- Alternating-time_Temporal_Logic comment "In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent system and multiplayer games. It offers selective quantification over program-paths that are possible outcomes of games. ATL uses alternating-time formulas to construct model-checkers in order to address problems such as receptiveness, realizability, and controllability.".
- Alternating-time_Temporal_Logic label "Alternating-time Temporal Logic".
- Alternating-time_Temporal_Logic sameAs m.05mrs3h.
- Alternating-time_Temporal_Logic sameAs Q4736405.
- Alternating-time_Temporal_Logic sameAs Q4736405.
- Alternating-time_Temporal_Logic wasDerivedFrom Alternating-time_Temporal_Logic?oldid=514332967.
- Alternating-time_Temporal_Logic isPrimaryTopicOf Alternating-time_Temporal_Logic.