460 search results - page 58 / 92 » Revised Stable Models - A Semantics for Logic Programs |
130
click to vote
ARTS
1997
Springer
15 years 4 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...
203
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
111
Voted
JAIR
2008
15 years 13 days ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
115
click to vote
APAL
2008
15 years 17 days ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...