2920 search results - page 6 / 584 » Finite information logic |
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
AAAI
2010
13 years 11 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
MFCS
2000
Springer
14 years 1 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
IGPL
2008
2008
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
13 years 9 months ago
JUCS
2006
13 years 9 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...