3572 search results - page 12 / 715 » Nominal Logic Programming |
178
Voted
WWW
2003
ACM
16 years 8 months ago
2003
ACM
207
Voted
STACS
2010
Springer
16 years 2 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
197
click to vote
ICLP
2003
Springer
16 years 19 days ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
191
click to vote
LPNMR
2005
Springer
16 years 28 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...
188
click to vote
VMCAI
2012
Springer
14 years 3 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...