Sciweavers

2253 search results - page 155 / 451
» The ComFoRT Reasoning Framework
Sort
View
KI
1990
Springer
15 years 8 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz
ATAL
2007
Springer
15 years 8 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
AIIDE
2006
15 years 5 months ago
Predicting User Physiological Response for Interactive Environments: An Inductive Approach
Affective reasoning holds great potential for interactive digital entertainment, education, and training. Incorporating affective reasoning into the decision-making capabilities o...
Scott W. McQuiggan, Sunyoung Lee, James C. Lester
ASC
2006
15 years 5 months ago
Supervised neuronal approaches for EEG signal classification: Experimental studies
Using artificial neural networks for Electroencephalogram (EEG) signal interpretation is a very challenging tasks for several reasons. The first class of reasons refers to the nat...
Frédéric Alexandre, Kerkeni Nizar, K...
DLOG
2003
15 years 5 months ago
Status Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Shinyoung Lim