1
2
Published 2013
Table of Contents: '; ... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...
Get full text
Electronic
3
Published 2013
Table of Contents: '; ... -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming...
View fulltext via EzAccess
Electronic
4
Published 2013
Table of Contents: '; ... -- Introductions to description logics -- Answer set programming -- Ontology-based data access with databases.-�A...
Get full text
Electronic
5
6
7
8
9
10
Published 2010
Table of Contents: '; ... Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set...
View fulltext via EzAccess
Electronic
11
Published 2013
Table of Contents: '; ... for XML authorisations based on answer set programming and temporal interval logic constraints / Sean...
View fulltext via EzAccess
Electronic
12
Published 2013
Table of Contents: '; ... About Pattern-Based XML Queries -- Answer Set Programming: Language, Applications and Development Tools...
Get full text
Electronic
13
Published 2013
Table of Contents: '; ... -- Modeling Stable Matching Problems with Answer Set Programming -- A Fuzzy, Utility-based Approach...
Get full text
Electronic
14
Published 2013
Table of Contents: '; ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Get full text
Electronic
15
Published 2013
Table of Contents: '; ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View fulltext via EzAccess
Electronic