571 search results - page 14 / 115 » Domain Theory in Logical Form |
125
Voted
ACL
2007
15 years 1 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
99
Voted
KI
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
202
Voted
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
88
Voted
IMECS
2007
15 years 1 months ago
2007
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
APAL
2004
14 years 11 months ago
2004
Modus ponens provides the central theme. There are laws, of the form A C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provid...