899 search results - page 41 / 180 » A CTL-Based Logic for Program Abstractions |
136
click to vote
CCL
1994
Springer
15 years 6 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
112
click to vote
UAI
2003
15 years 3 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
139
Voted
RULEML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
134
click to vote
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
121
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...