8228 search results - page 106 / 1646 » Structural Logical Relations |
117
click to vote
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
137
Voted
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
117
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
113
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
218
Voted
ALPIT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a Unified Dynamic Relation Tree (DRT) span for tree kernel-based semantic relation extraction between entity names. The basic idea is to apply a variety of lin...