3440 search results - page 56 / 688 » Logics For Context-Free Languages |
211
click to vote
CL
1999
Springer
15 years 5 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
151
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
155
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
156
click to vote
ICLP
1991
Springer
15 years 9 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
166
click to vote
JFPLC
1998
15 years 7 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...