8228 search results - page 244 / 1646 » Structural Logical Relations |
136
Voted
CSL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
128
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
149
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
128
click to vote
ENTCS
2008
15 years 5 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
129
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...