899 search results - page 7 / 180 » A CTL-Based Logic for Program Abstractions |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
LPNMR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
EPIA
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
ENTCS
2002
13 years 7 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...