2962 search results - page 317 / 593 » Reasoning on Association Rules |
223
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
171
click to vote
MATES
2007
Springer
16 years 26 days ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
205
click to vote
EEE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
208
click to vote
ASP
2005
Springer
16 years 8 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
156
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...