597 search results - page 5 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
POPL
2011
ACM
12 years 11 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
TACS
1994
Springer
14 years 19 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...