Sciweavers

8201 search results - page 1352 / 1641
» Approaching Manual Intelligence
Sort
View
TPHOL
2003
IEEE
16 years 4 hour ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
ICAIL
2003
ACM
15 years 12 months ago
Towards a Computational Account of Persuasion in Law
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
ICAIL
2003
ACM
15 years 12 months ago
SHYSTER-MYCIN: A Hybrid Legal Expert System
SHYSTER-MYCIN combines a case-based legal expert system (SHYSTER) with a rule-based expert system (MYCIN) to form a hybrid legal expert system. MYCIN’s reporting has been improv...
Thomas A. O'Callaghan, James Popple, Eric McGreath
SAC
2003
ACM
15 years 12 months ago
Ontology-Focused Crawling of Web Documents
The Web, the largest unstructured database of the world, has greatly improved access to documents. However, documents on the Web are largely disorganized. Due to the distributed n...
Marc Ehrig, Alexander Maedche
SIGIR
2003
ACM
15 years 12 months ago
On an equivalence between PLSI and LDA
Latent Dirichlet Allocation (LDA) is a fully generative approach to language modelling which overcomes the inconsistent generative semantics of Probabilistic Latent Semantic Index...
Mark Girolami, Ata Kabán
« Prev « First page 1352 / 1641 Last » Next »