Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Alternating-time_Temporal_Logic> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples 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 wikiPageLength "1033".
- Alternating-time_Temporal_Logic wikiPageOutDegree "9".
- Alternating-time_Temporal_Logic wikiPageRevisionID "514332967".
- Alternating-time_Temporal_Logic wikiPageWikiLink Alternating-time_formulas.
- Alternating-time_Temporal_Logic wikiPageWikiLink Category:Logic_in_computer_science.
- Alternating-time_Temporal_Logic wikiPageWikiLink Category:Modal_logic.
- Alternating-time_Temporal_Logic wikiPageWikiLink Computation_tree_logic.
- Alternating-time_Temporal_Logic wikiPageWikiLink Computer_science.
- Alternating-time_Temporal_Logic wikiPageWikiLink Linear_temporal_logic.
- Alternating-time_Temporal_Logic wikiPageWikiLink Multi-agent_system.
- Alternating-time_Temporal_Logic wikiPageWikiLink Multiplayer_game.
- Alternating-time_Temporal_Logic wikiPageWikiLink Temporal_logic.
- Alternating-time_Temporal_Logic wikiPageWikiLinkText "Alternating-time Temporal Logic".
- Alternating-time_Temporal_Logic wikiPageUsesTemplate Template:Reflist.
- Alternating-time_Temporal_Logic subject Category:Logic_in_computer_science.
- Alternating-time_Temporal_Logic subject Category:Modal_logic.
- Alternating-time_Temporal_Logic hypernym 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 Q4736405.
- Alternating-time_Temporal_Logic sameAs m.05mrs3h.
- 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.