Matching Items (402)
Filtering by
- All Subjects: Choruses
Description
Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language of CCalc in terms of answer set programming (ASP), based on the translation of nonmonotonic causal logic to formulas under the stable model semantics. I designed a standard library which describes the constructs of the input language of CCalc in terms of ASP, allowing a simple modular method to represent CCalc input programs in the language of ASP. Using the combination of system F2LP and answer set solvers, this method achieves functionality close to that of CCalc while taking advantage of answer set solvers to yield efficient computation that is orders of magnitude faster than CCalc for many benchmark examples. In support of this, I created an automated translation system Cplus2ASP that implements the translation and encoding method and automatically invokes the necessary software to solve the translated input programs.
ContributorsCasolary, Michael (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Created2011
ContributorsSchildkret, David (Conductor) / Chamber Singers (Performer) / ASU Library. Music Library (Publisher)
Created2018-02-10
ContributorsGlenn, Erica (Conductor) / Evans, Bartlett R. (Conductor) / Oh, Eun-Mi (Conductor) / Thompson, Jason D. (Conductor) / Schildkret, David (Conductor) / Concert Choir (Performer) / Arizona Statesmen (Performer) / Women's Chorus (Performer) / Gospel Choir (Performer) / Barrett Choir (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / ASU Library. Music Library (Publisher)
Created2017-11-30
ContributorsUniversity Choirs (Performer) / ASU Library. Music Library (Publisher)
Created2000-11-16
ContributorsSchildkret, David (Conductor) / White, Jamilyn (Performer) / Krison, Danielle (Performer) / Barefield, Robert (Performer) / FitzPatrick, Carole (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / Symphonic Chorale (Performer) / University Symphony Orchestra (Performer) / ASU Library. Music Library (Publisher)
Created2007-04-26
ContributorsLyne, Gregory K. (Performer) / Stutzman, Gina (Performer) / Woodgate, Lyn (Performer) / Cornner, Charles B. (Performer) / Rozukalns, Andris L. (Performer) / Women's Choir (Performer) / University Choir (Performer) / ASU Library. Music Library (Publisher)
Created1996-11-24
ContributorsCherland, Carl (Performer) / Fuller, Charles L. (Performer) / O'Brien, Robert (Performer) / Hooper, Wm. John (Performer) / Graduate Chorale (Performer) / Recital Chorale (Performer) / ASU Library. Music Library (Publisher)
Created1987-10-01
ContributorsRoueche, Michelle (Performer) / Partin, Darrell (Performer) / Wiest-Parthun, Karen (Performer) / Harvison, Emery (Performer) / Hernandez, Rene (Performer) / Foley, Laura (Performer) / Women's Choir (Performer) / ASU Library. Music Library (Publisher)
Created1994-04-21
ContributorsParthun, Karen (Conductor) / Hickman, Miriam, 1955- (Performer) / University Choir (Performer) / Vocal Jazz Ensemble (Performer) / ASU Library. Music Library (Publisher)
Created2000-11-19
ContributorsPeterson, Craig C. (Director) / Butler, Robb (Director) / Forkner, Christina (Contributor) / Leman, Christi (Performer) / Miller, Kenny (Musician) (Performer) / Howard, Johnothon (Performer) / Gibson, Ted (Performer) / Herberger Singers (Performer) / University Choir (Performer) / ASU Library. Music Library (Publisher)
Created2003-10-12