Sciweavers

2469 search results - page 197 / 494
» Representations of Metabolic Knowledge
Sort
View
APIN
2002
106views more  APIN 2002»
15 years 6 months ago
Querying Temporal Constraint Networks: A Unifying Approach
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
Manolis Koubarakis
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 6 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
ESWS
2007
Springer
16 years 27 days ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
ICIP
2003
IEEE
16 years 8 months ago
Adaptive rule-based recognition of events in video sequences
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
Vassilis Tzouvaras, Gabriel Tsechpenakis, Giorgos ...
ISDA
2009
IEEE
16 years 1 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia