17054 search results - page 341 / 3411 » Logics of Dynamical Systems |
212
click to vote
WLP
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
309
click to vote
PLPV
2011
ACM
14 years 10 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
200
click to vote
LPNMR
2005
Springer
16 years 29 days ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
203
Voted
DLT
2010
15 years 9 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
147
click to vote
AIPS
1998
15 years 8 months ago
1998
Wepresentan approachto designingreal-time systems based on dynamically sequencing condition-specific task-execution schedules. Asystem that dynamically alters its real-time execut...