7868 search results - page 152 / 1574 » Learning by Answer Sets |
111
click to vote
SEMWEB
2005
Springer
15 years 10 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...
135
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
140
click to vote
NAACL
2007
15 years 6 months ago
2007
In the past, NLP has always been based on the explicit or implicit use of linguistic knowledge. In classical computer linguistic applications explicit rule based approaches prevai...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
131
click to vote
IJET
2008
15 years 4 months ago
2008
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...