891 search results - page 113 / 179 » Towards Reasoning Pragmatics |
127
click to vote
ECAI
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
ICIP
1994
IEEE
16 years 1 months ago
1994
IEEE
When dealing with ill-posed inverse problems in data analysis, the Bayesian approach allows one to use prior information to guide the result toward reasonable solutions. In this w...
EDBT
2004
ACM
16 years 1 hour ago
2004
ACM
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...