3440 search results - page 41 / 688 » Logics For Context-Free Languages |
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
AAAI
2012
13 years 7 days ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...
ICLP
1998
Springer
15 years 2 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
ENTCS
2006
14 years 10 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...