Sciweavers

2012 search results - page 38 / 403
» CORAL - Control, Relations and Logic
Sort
View
LPNMR
2005
Springer
15 years 10 months ago
Inference of Gene Relations from Microarray Data by Abduction
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
Irene Papatheodorou, Antonis C. Kakas, Marek J. Se...
ECAI
2008
Springer
15 years 6 months ago
Addressing Temporal Aspects of Privacy-Related Norms
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
Guillaume Piolle, Yves Demazeau
KI
2006
Springer
15 years 4 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
EUSFLAT
2009
138views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
On 'Family Resemblances' with Fuzzy Sets
This paper takes into account the Wittgenstein's idea on family resemblances as a particular crisp relation between some fuzzy sets, that is, between some predicates represent...
Enric Trillas, Claudio Moraga, Alejandro Sobrino
FUIN
2010
106views more  FUIN 2010»
15 years 2 months ago
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Linh Anh Nguyen