4516 search results - page 371 / 904 » Semantic Web and Education |
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
209
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
178
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
151
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Generating semantic lexicons semiautomatically could be a great time saver, relative to creating them by hand. In this paper, we present an algorithm for extracting potential entr...
187
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition t...