683 search results - page 48 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
146
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
113
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
169
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
134
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
144
click to vote
AEI
1999
15 years 4 months ago
1999
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...