3319 search results - page 16 / 664 » Subshifts, Languages and Logic |
124
Voted
AIA
2006
15 years 1 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
124
click to vote
AAAI
2012
13 years 2 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
121
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
173
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
101
click to vote
CSL
2003
Springer
15 years 5 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...