Open AccessAnswer Set Programming Modulo Theories
Author(s) -
Yisong Wang,
Mingyi Zhang
Publication year - 2011
Publication title -
communications in computer and information science
Language(s) - Uncategorized
Resource type - Book series
SCImago Journal Rank - 0.16
H-Index - 51
eISSN - 1865-0937
pISSN - 1865-0929
DOI - 10.1007/978-3-642-23223-7_85
Subject(s) - modulo , answer set programming , formalism (music) , stable model semantics , computer science , well founded semantics , programming language , logic programming , semantics (computer science) , theoretical computer science , discrete mathematics , mathematics , algebra over a field , operational semantics , pure mathematics , denotational semantics , art , musical , visual arts
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom