113 search results - page 11 / 23 » A Logic Prover for Text Processing |
JSAI
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
DLOG
2009
13 years 5 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
JELIA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
TKDE
2008
13 years 7 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...