769 search results - page 80 / 154 » Is Logic all in our Heads |
106
Voted
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
106
click to vote
LATA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
95
Voted
DALT
2005
Springer
15 years 6 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
84
Voted
ITC
2000
IEEE
15 years 5 months ago
2000
IEEE
Concurrent error detection (CED) techniques (based on hardware duplication, parity codes, etc.) are widely used to enhance system dependability. All CED techniques introduce some ...
114
click to vote
RIDE
1999
IEEE
15 years 5 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...