3440 search results - page 51 / 688 » Logics For Context-Free Languages |
153
click to vote
LPNMR
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
168
click to vote
DALT
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
156
click to vote
FMOODS
2007
15 years 7 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
154
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
176
click to vote
IJAC
2010
15 years 3 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr