17054 search results - page 236 / 3411 » Logics of Dynamical Systems |
217
click to vote
IJCAI
2001
15 years 8 months ago
2001
Neural Logic Network or Neulonet is a hybrid of neural network expert systems. Its strength lies in its ability to learn and to represent human logic in decision making using comp...
194
click to vote
IANDC
2007
15 years 7 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
171
click to vote
TCS
2002
15 years 6 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
232
click to vote
PVLDB
2011
15 years 2 months ago
2011
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...
226
click to vote
CLIMA
2006
15 years 8 months ago
2006
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...