5550 search results - page 304 / 1110 » Different Approaches to Proof Systems |
185
click to vote
IJCAI
1989
15 years 7 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
160
click to vote
ACL
2004
15 years 8 months ago
2004
This paper presents a Chinese word segmentation system which can adapt to different domains and standards. We first present a statistical framework where domain-specific words are...
175
click to vote
ENTCS
2002
15 years 6 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
167
click to vote
TREC
2001
15 years 8 months ago
2001
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...
149
click to vote
JMLR
2002
15 years 6 months ago
2002
We present a unified technique to solve different shallow parsing tasks as a tagging problem using a Hidden Markov Model-based approach (HMM). This technique consists of the incor...