1151 search results - page 40 / 231 » Collaborative Programming: Applications of Logic and Automat... |
72
Voted
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
96
Voted
ICLP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
102
click to vote
ALP
1994
Springer
15 years 3 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
103
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
108
click to vote
CADE
2010
Springer
15 years 23 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...