Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Concurrent_MetateM> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Concurrent_MetateM abstract "Concurrent MetateM is a multi-agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the behaviour it should exhibit. These specifications are executed directly to generate the behaviour of the agent. As a result, there is no risk of invalidating the logic as with systems where logical specification must first be translated to a lower-level implementation.The root of the MetateM concept is Gabbay's separation theorem; any arbitrary temporal logic formula can be rewritten in a logically equivalent past → future form. Execution proceeds by a process of continually matching rules against a history, and firing those rules when antecedents are satisfied. Any instantiated future-time consequents become commitments which must subsequently be satisfied, iteratively generating a model for the formula made up of the program rules.".
- Concurrent_MetateM wikiPageExternalLink download.
- Concurrent_MetateM wikiPageID "19835689".
- Concurrent_MetateM wikiPageLength "3287".
- Concurrent_MetateM wikiPageOutDegree "6".
- Concurrent_MetateM wikiPageRevisionID "586895552".
- Concurrent_MetateM wikiPageWikiLink Antecedent_(logic).
- Concurrent_MetateM wikiPageWikiLink Category:Artificial_intelligence.
- Concurrent_MetateM wikiPageWikiLink Gabbays_separation_theorem.
- Concurrent_MetateM wikiPageWikiLink Logical_equivalence.
- Concurrent_MetateM wikiPageWikiLink Multi-agent_system.
- Concurrent_MetateM wikiPageWikiLink Temporal_logic.
- Concurrent_MetateM wikiPageWikiLinkText "Concurrent MetateM".
- Concurrent_MetateM wikiPageUsesTemplate Template:.
- Concurrent_MetateM wikiPageUsesTemplate Template:Unreferenced.
- Concurrent_MetateM subject Category:Artificial_intelligence.
- Concurrent_MetateM hypernym Language.
- Concurrent_MetateM type Area.
- Concurrent_MetateM type Language.
- Concurrent_MetateM type Area.
- Concurrent_MetateM type Redirect.
- Concurrent_MetateM comment "Concurrent MetateM is a multi-agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the behaviour it should exhibit. These specifications are executed directly to generate the behaviour of the agent.".
- Concurrent_MetateM label "Concurrent MetateM".
- Concurrent_MetateM sameAs Q5159101.
- Concurrent_MetateM sameAs m.04q6tjz.
- Concurrent_MetateM sameAs Q5159101.
- Concurrent_MetateM wasDerivedFrom Concurrent_MetateM?oldid=586895552.
- Concurrent_MetateM isPrimaryTopicOf Concurrent_MetateM.