11397 search results - page 146 / 2280 » A Relational Abstraction for Functions |
193
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
163
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Relational databases are valuable sources for ontology learning. Methods and tools have been proposed to generate ontologies from such structured input. However, a major ...
189
click to vote
LREC
2008
15 years 8 months ago
2008
We describe methods for extracting interesting factual relations from scientific texts in computational linguistics and language technology taken from the ACL Anthology. We use a ...
189
click to vote
FUIN
2008
15 years 7 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
148
Voted
JUCS
2006
15 years 7 months ago
2006
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...