586 search results - page 10 / 118 » Automated Reasoning on Aspects Interactions |
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
IJCAI
2007
13 years 9 months ago
2007
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often ...
LACL
2005
Springer
14 years 1 months ago
2005
Springer
The Minimalist Grammars (MGs) proposed by Stabler(1997) have tree-shaped derivations (Harkema, 2001b; Michaelis, 2001a). As in categorial grammars, each lexical item is an associat...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...