Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Action_language> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Action_language abstract "In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning.The best known action language is PDDL.Action languages fall into two classes: action description languages and action query languages. Examples of the former include STRIPS, PDDL, Language A (a generalization of STRIPS; the propositional part of Pednault's ADL), Language B (an extension of A adding indirect effects, distinguishing static and dynamic laws) and Language C (which adds indirect effects also, and does not assume that every fluent is automatically "inertial"). There are also the Action Query Languages P, Q and R. Several different algorithms exist for converting action languages, and in particular, action language C, to answer set programs. Since modern answer-set solvers make use of boolean SAT algorithms to very rapidly ascertain satisfiability, this implies that action languages can also enjoy the progress being made in the domain of boolean SAT solving.".
- Action_language wikiPageID "31976793".
- Action_language wikiPageLength "2832".
- Action_language wikiPageOutDegree "21".
- Action_language wikiPageRevisionID "669445748".
- Action_language wikiPageWikiLink Action_description_language.
- Action_language wikiPageWikiLink Answer_set_program.
- Action_language wikiPageWikiLink Answer_set_programming.
- Action_language wikiPageWikiLink Artificial_intelligence.
- Action_language wikiPageWikiLink Automated_planning.
- Action_language wikiPageWikiLink Automated_planning_and_scheduling.
- Action_language wikiPageWikiLink Boolean_SAT.
- Action_language wikiPageWikiLink Boolean_satisfiability_problem.
- Action_language wikiPageWikiLink Category:Automated_planning_and_scheduling.
- Action_language wikiPageWikiLink Category:Programming_language_classification.
- Action_language wikiPageWikiLink Category:Robot_programming_languages.
- Action_language wikiPageWikiLink Computer_science.
- Action_language wikiPageWikiLink Fluent_(artificial_intelligence).
- Action_language wikiPageWikiLink Fluent_calculus.
- Action_language wikiPageWikiLink Formal_language.
- Action_language wikiPageWikiLink Formal_model.
- Action_language wikiPageWikiLink GOLOG.
- Action_language wikiPageWikiLink Linear_temporal_logic.
- Action_language wikiPageWikiLink PDDL.
- Action_language wikiPageWikiLink Planning_Domain_Definition_Language.
- Action_language wikiPageWikiLink Robotics.
- Action_language wikiPageWikiLink STRIPS.
- Action_language wikiPageWikiLink Satisfiability.
- Action_language wikiPageWikiLink Situation_calculus.
- Action_language wikiPageWikiLink State_transition_system.
- Action_language wikiPageWikiLink Transition_system.
- Action_language wikiPageWikiLinkText "Action language".
- Action_language wikiPageWikiLinkText "Action".
- Action_language wikiPageWikiLinkText "action description language".
- Action_language wikiPageWikiLinkText "action language".
- Action_language wikiPageWikiLinkText "action-oriented".
- Action_language wikiPageWikiLinkText "actions".
- Action_language hasPhotoCollection Action_language.
- Action_language wikiPageUsesTemplate Template:Comp-sci-stub.
- Action_language wikiPageUsesTemplate Template:Programming_paradigms.
- Action_language wikiPageUsesTemplate Template:Reflist.
- Action_language subject Category:Automated_planning_and_scheduling.
- Action_language subject Category:Programming_language_classification.
- Action_language subject Category:Robot_programming_languages.
- Action_language hypernym Language.
- Action_language type Language.
- Action_language comment "In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world.".
- Action_language label "Action language".
- Action_language sameAs Język_akcji.
- Action_language sameAs m.0gvq_b_.
- Action_language sameAs Язык_действий.
- Action_language sameAs Q4677219.
- Action_language sameAs Q4677219.
- Action_language wasDerivedFrom Action_language?oldid=669445748.
- Action_language isPrimaryTopicOf Action_language.