Sciweavers

663 search results - page 72 / 133
» Semantic Analysis of Association Rules
Sort
View
IJCAI
2007
13 years 11 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
TKDE
2008
198views more  TKDE 2008»
13 years 10 months ago
Web People Search via Connection Analysis
Nowadays, searches for the web pages of a person with a given name constitute a notable fraction of queries to Web search engines. Such a query would normally return web pages rela...
Dmitri V. Kalashnikov, Zhaoqi Chen, Sharad Mehrotr...
COMMA
2010
13 years 5 months ago
A formal analysis of the AIF in terms of the ASPIC framework
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
Floris Bex, Henry Prakken, Chris Reed
SAC
2005
ACM
14 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
RE
2006
Springer
13 years 10 months ago
On Goal-based Variability Acquisition and Analysis
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Er...