2540 search results - page 178 / 508 » Abstract Logics as Dialgebras |
234
click to vote
DALT
2005
Springer
16 years 23 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
203
click to vote
ICLP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
232
click to vote
PKDD
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
179
click to vote
PPDP
2005
Springer
16 years 21 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
186
click to vote
ARCS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...