Sciweavers

3679 search results - page 44 / 736
» Answer set based design of knowledge systems
Sort
View
ICTAI
2007
IEEE
15 years 8 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
DEXAW
1998
IEEE
96views Database» more  DEXAW 1998»
15 years 6 months ago
Verification of Multiple Agent Knowledge-Based Systems
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
Daniel E. O'Leary
GPCE
2009
Springer
15 years 5 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
IEAAIE
2003
Springer
15 years 7 months ago
SumTime-Turbine: A Knowledge-Based System to Communicate Gas Turbine Time-Series Data
Abstract: SumTime-Turbine produces textual summaries of archived timeseries data from gas turbines. These summaries should help experts understand large data sets that cannot be vi...
Jin Yu, Ehud Reiter, Jim Hunter, Somayajulu Sripad...
ESAW
2006
Springer
15 years 5 months ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff