367 search results - page 49 / 74 » Prolog |
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
CIA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
ACL
2003
13 years 9 months ago
2003
This paper presents a new bottom-up chart parsing algorithm for Prolog along with a compilation procedure that reduces the amount of copying at run-time to a constant number (2) p...
AAAI
1998
13 years 9 months ago
1998
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...
ACL
1998
13 years 9 months ago
1998
An essential step in comparative reconstruction is to align corresponding phonological segments in the words being compared. To do this, one must search among huge numbers of pote...