3440 search results - page 49 / 688 » Logics For Context-Free Languages |
106
click to vote
TIME
2003
IEEE
15 years 3 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
200
click to vote
ICLP
2011
Springer
14 years 1 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
ISMVL
1991
IEEE
15 years 1 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
104
click to vote
AAAI
2012
13 years 8 days ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...