24 search results - page 1 / 5 » Fixpoint semantics for logic programming a survey |
TCS
2002
13 years 6 months ago
2002
LPNMR
2001
Springer
13 years 10 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
FUIN
2007
13 years 6 months ago
2007
AAAI
1998
13 years 7 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
POPL
2006
ACM
14 years 6 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...