Sciweavers

3032 search results - page 356 / 607
» Description Logic Rules
Sort
View
195
Voted
FUIN
2007
130views more  FUIN 2007»
15 years 3 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
161
Voted
COORDINATION
2007
Springer
15 years 10 months ago
Fact Spaces: Coordination in the Face of Disconnection
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
Stijn Mostinckx, Christophe Scholliers, Eline Phil...
FUZZIEEE
2007
IEEE
15 years 7 months ago
Evolving Single- and Multi-Model Fuzzy Classifiers with FLEXFIS-Class
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
Edwin Lughofer, Plamen P. Angelov, Xiaowei Zhou
JLP
2006
81views more  JLP 2006»
15 years 3 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
EUSFLAT
2009
152views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
Fuzzy and PSO Based Algorithm for Driver's Behavior Modeling
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...
Sohrab Khanmohammadi, Mohammad Ali Tinati, Sehrane...