4573 search results - page 620 / 915 » Automated Reasoning |
160
Voted
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
190
click to vote
LPAR
2007
Springer
15 years 10 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...
141
click to vote
RR
2007
Springer
15 years 10 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...
139
click to vote
RR
2007
Springer
15 years 10 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...
102
click to vote
TARK
2007
Springer
15 years 10 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...