1814 search results - page 7 / 363 » Extended First-Order Logic |
95
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
111
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
124
Voted
ACL
1990
15 years 1 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
105
Voted
TIME
2009
IEEE
15 years 7 months ago
2009
IEEE
103
click to vote
AAAI
2010
15 years 2 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...