We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...
We present an approach to anaphora resolution based on a focusing algorithm, and implemented within an existing MUC (Message Understanding Conference) Information Extraction syste...
Saliha Azzam, Kevin Humphreys, Robert J. Gaizauska...
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...
The paper investigates human agent interactions in virtual environments like Second Life. As interactions in such environments are inherently social, the agent should be able to p...
Christian Pallay, Matthias Rehm, Ekaterina Kurdyuk...