2386 search results - page 239 / 478 » Representing and Reasoning with Preferences |
170
click to vote
AIMSA
2008
Springer
16 years 1 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...
169
click to vote
BIBE
2007
IEEE
16 years 1 months 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...
192
click to vote
IAT
2007
IEEE
16 years 29 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...
172
click to vote
ETFA
2006
IEEE
16 years 21 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...
185
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...