Sciweavers

4126 search results - page 258 / 826
» Set based logic programming
Sort
View
CEC
2011
IEEE
14 years 6 months ago
Inferring transcriptional regulators for sets of co-expressed genes by multi-objective evolutionary optimization
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
Adrian Schröder, Clemens Wrzodek, Johannes Wo...
ESWS
2009
Springer
16 years 28 days ago
A Rule System for Querying Persistent RDFS Data
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
Giovambattista Ianni, Thomas Krennwallner, Alessan...
CLIMA
2010
15 years 7 months ago
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
Robert A. Kowalski, Fariba Sadri
IDT
2010
124views more  IDT 2010»
15 years 4 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
KRMED
2008
15 years 7 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn