Sciweavers

3119 search results - page 31 / 624
» General Default Logic
Sort
View
APIN
1999
110views more  APIN 1999»
15 years 5 months ago
The Connectionist Inductive Learning and Logic Programming System
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
Artur S. d'Avila Garcez, Gerson Zaverucha
WILF
2005
Springer
91views Fuzzy Logic» more  WILF 2005»
15 years 11 months ago
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
GPCE
2009
Springer
15 years 8 months ago
Mapping problem-space to solution-space features: a feature interaction approach
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
Frans Sanen, Eddy Truyen, Wouter Joosen
CADE
2007
Springer
16 years 5 months ago
Improvements in Formula Generalization
Markus Aderhold
AAAI
1990
15 years 6 months ago
The Generalized Theory of Model Preference
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
Piotr Rychlik