Results 121 to 130 of about 570,700 (231)
Graphs and colorings for answer set programming
, 2005 Kathrin Konczak +2 more
openalex +2 more sources
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
, 2005 Thomas Eiter +2 more
openalex +2 more sources
A Portfolio Solver for Answer Set Programming: Preliminary Report [PDF]
, 2011 Martin Gebser +5 more
openalex +1 more source
Open answer set programming for the semantic web
, 2006 Stijn Heymans +2 more
openalex +1 more source
Answer Set Programming for Stream Reasoning [PDF]
, 2011 Mai Văn Thắng, Seng W. Loke, Fei Liu
openalex +1 more source
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics
, 2006 Farid Nouioua, Pascal Nicolas
openalex +2 more sources
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
, 2007 Tran Cao Son +2 more
openalex +2 more sources
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There [PDF]
, 2011 Michael Fink
openalex +1 more source
Annotated answer set programming
, 2005 We present Annotated Answer Set Programming, that extends the expressive power of disjunctive logic programming with annotation terms, taken from the generalized annotated logic programming framework.
openaire +3 more sources