3005 search results - page 42 / 601 » Logical Information Systems: from Taxonomies to Logics |
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
VLSID
2007
IEEE
16 years 6 days ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
AI
2000
Springer
14 years 11 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
125
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
112
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Context awareness is a vital element in pervasive and ubiquitous systems. While most existing research has focused on designing context-aware systems to integrate into th...