2585 search results - page 171 / 517 » Automating Coherent Logic |
143
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
162
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 ...
169
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
196
click to vote
PLILP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
181
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...