247 search results - page 36 / 50 » Stable models and an alternative logic programming paradigm |
KI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
121
click to vote
ARTS
1997
Springer
15 years 3 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...
102
click to vote
ENTCS
2008
14 years 11 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
PODS
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
102
click to vote
POLICY
2007
Springer
15 years 5 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...