3535 search results - page 24 / 707 » Logic Program Specialisation |
108
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
138
Voted
IJAR
2008
15 years 2 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
120
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
124
click to vote
PLILP
1992
Springer
15 years 6 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
104
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...