414 search results - page 35 / 83 » Resolution for Intuitionistic Logic |
74
Voted
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
84
Voted
EMNLP
2008
14 years 11 months ago
2008
Machine learning approaches to coreference resolution are typically supervised, and require expensive labeled data. Some unsupervised approaches have been proposed (e.g., Haghighi...
74
Voted
FUIN
2006
14 years 9 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
85
Voted
DLOG
2007
15 years 18 hour ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
