2236 search results - page 281 / 448 » Language Independence and Language Tolerance in Logic Progra... |
130
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
138
Voted
JAPLL
2010
14 years 11 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
172
click to vote
IGPL
2011
14 years 8 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
136
Voted
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
136
Voted
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...