4617 search results - page 745 / 924 » Automation of Diagrammatic Reasoning |
206
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
199
click to vote
SWAP
2008
15 years 8 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
166
click to vote
EHCI
2004
15 years 8 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
190
click to vote
ICAI
2004
15 years 8 months ago
2004
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...
171
click to vote
NAACL
2003
15 years 8 months ago
2003
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows...