Matches in SemOpenAlex for { <https://semopenalex.org/work/W2236684210> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2236684210 endingPage "922" @default.
- W2236684210 startingPage "899" @default.
- W2236684210 abstract "Abstract Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high-level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates and abstract constraint atoms. We propose a new action language called BC +, which closes the gap between action languages and the modern ASP language. The main idea is to define the semantics of BC + in terms of general stable model semantics for propositional formulas, under which many modern ASP language constructs can be identified with shorthands for propositional formulas. Language BC + turns out to be sufficiently expressive to encompass the best features of other action languages, such as languages B , C , C + and BC . Computational methods available in ASP solvers are readily applicable to compute BC +, which led to an implementation of the language by extending system cplus2asp ." @default.
- W2236684210 created "2016-06-24" @default.
- W2236684210 creator A5017332670 @default.
- W2236684210 creator A5071364181 @default.
- W2236684210 date "2015-09-05" @default.
- W2236684210 modified "2023-09-29" @default.
- W2236684210 title "Action language ℬ𝒞+" @default.
- W2236684210 cites W1985274317 @default.
- W2236684210 cites W1993512664 @default.
- W2236684210 cites W2069156007 @default.
- W2236684210 cites W2072046078 @default.
- W2236684210 cites W2134039900 @default.
- W2236684210 cites W3123180526 @default.
- W2236684210 doi "https://doi.org/10.1093/logcom/exv062" @default.
- W2236684210 hasPublicationYear "2015" @default.
- W2236684210 type Work @default.
- W2236684210 sameAs 2236684210 @default.
- W2236684210 citedByCount "11" @default.
- W2236684210 countsByYear W22366842102017 @default.
- W2236684210 countsByYear W22366842102018 @default.
- W2236684210 countsByYear W22366842102019 @default.
- W2236684210 countsByYear W22366842102023 @default.
- W2236684210 crossrefType "journal-article" @default.
- W2236684210 hasAuthorship W2236684210A5017332670 @default.
- W2236684210 hasAuthorship W2236684210A5071364181 @default.
- W2236684210 hasConcept C121332964 @default.
- W2236684210 hasConcept C127001435 @default.
- W2236684210 hasConcept C138885662 @default.
- W2236684210 hasConcept C150607116 @default.
- W2236684210 hasConcept C154945302 @default.
- W2236684210 hasConcept C156325763 @default.
- W2236684210 hasConcept C161301231 @default.
- W2236684210 hasConcept C177264268 @default.
- W2236684210 hasConcept C182620335 @default.
- W2236684210 hasConcept C184337299 @default.
- W2236684210 hasConcept C199360897 @default.
- W2236684210 hasConcept C207648694 @default.
- W2236684210 hasConcept C2780791683 @default.
- W2236684210 hasConcept C41008148 @default.
- W2236684210 hasConcept C41895202 @default.
- W2236684210 hasConcept C45357846 @default.
- W2236684210 hasConcept C62520636 @default.
- W2236684210 hasConceptScore W2236684210C121332964 @default.
- W2236684210 hasConceptScore W2236684210C127001435 @default.
- W2236684210 hasConceptScore W2236684210C138885662 @default.
- W2236684210 hasConceptScore W2236684210C150607116 @default.
- W2236684210 hasConceptScore W2236684210C154945302 @default.
- W2236684210 hasConceptScore W2236684210C156325763 @default.
- W2236684210 hasConceptScore W2236684210C161301231 @default.
- W2236684210 hasConceptScore W2236684210C177264268 @default.
- W2236684210 hasConceptScore W2236684210C182620335 @default.
- W2236684210 hasConceptScore W2236684210C184337299 @default.
- W2236684210 hasConceptScore W2236684210C199360897 @default.
- W2236684210 hasConceptScore W2236684210C207648694 @default.
- W2236684210 hasConceptScore W2236684210C2780791683 @default.
- W2236684210 hasConceptScore W2236684210C41008148 @default.
- W2236684210 hasConceptScore W2236684210C41895202 @default.
- W2236684210 hasConceptScore W2236684210C45357846 @default.
- W2236684210 hasConceptScore W2236684210C62520636 @default.
- W2236684210 hasFunder F4320306076 @default.
- W2236684210 hasIssue "4" @default.
- W2236684210 hasLocation W22366842101 @default.
- W2236684210 hasOpenAccess W2236684210 @default.
- W2236684210 hasPrimaryLocation W22366842101 @default.
- W2236684210 hasRelatedWork W1422032522 @default.
- W2236684210 hasRelatedWork W1626176828 @default.
- W2236684210 hasRelatedWork W1680480890 @default.
- W2236684210 hasRelatedWork W2113913457 @default.
- W2236684210 hasRelatedWork W2125406856 @default.
- W2236684210 hasRelatedWork W2576462083 @default.
- W2236684210 hasRelatedWork W2753815840 @default.
- W2236684210 hasRelatedWork W3021003119 @default.
- W2236684210 hasRelatedWork W31976332 @default.
- W2236684210 hasRelatedWork W783270985 @default.
- W2236684210 hasVolume "30" @default.
- W2236684210 isParatext "false" @default.
- W2236684210 isRetracted "false" @default.
- W2236684210 magId "2236684210" @default.
- W2236684210 workType "article" @default.