432 search results - page 23 / 87 » Open answer set programming for the semantic web |
189
click to vote
AI
2011
Springer
15 years 28 days ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
151
click to vote
LPNMR
2009
Springer
16 years 13 days ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
237
click to vote
KI
2011
Springer
15 years 26 days ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
127
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
170
click to vote
IJCAI
2007
15 years 7 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...