4617 search results - page 641 / 924 » Automation of Diagrammatic Reasoning |
235
click to vote
LPAR
2007
Springer
16 years 1 months 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...
195
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
196
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
146
Voted
TARK
2007
Springer
16 years 1 months ago
2007
Springer
This paper studies games with uncertainty where players have different awareness regarding a chance player’s moves (contingencies). An announcer, who is fully aware of the cont...
167
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...