3773 search results - page 576 / 755 » Logical Reasoning |
141
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
136
click to vote
FSKD
2007
Springer
15 years 11 months ago
2007
Springer
Web users are always distracted by a large number of results returned from search engines. Clustering can efficiently facilitate users’ browsing pages of certain topic. However...
123
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
143
Voted
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
142
click to vote
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...