2308 search results - page 246 / 462 » Representing Symbolic Reasoning |
146
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
170
click to vote
AIMSA
2008
Springer
16 years 27 days 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...
166
click to vote
BIBE
2007
IEEE
16 years 27 days ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
185
click to vote
IAT
2007
IEEE
16 years 26 days ago
2007
IEEE
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
168
click to vote
ETFA
2006
IEEE
16 years 18 days 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...