| Title: |
Slider: An Efficient Incremental Reasoner |
| Article URLs: |
|
| Alternative Article URLs: |
https://hal.archives-ouvertes.fr/hal-01163676 |
| Authors: |
Jules Chevalier |
-
Université de Lyon, F-42023, Saint-Etienne, France
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, CNRS
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, UMR5516
-
Université de Saint-Etienne, Jean Monnet, F-42000, Saint-Etienne, France
|
| Julien Subercaze |
-
Université de Lyon, F-42023, Saint-Etienne, France
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, CNRS
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, UMR5516
-
Université de Saint-Etienne, Jean Monnet, F-42000, Saint-Etienne, France
|
| Christophe Gravier |
-
Université de Lyon, F-42023, Saint-Etienne, France
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, CNRS
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, UMR5516
-
Université de Saint-Etienne, Jean Monnet, F-42000, Saint-Etienne, France
|
| Frédérique Laforest |
-
Université de Lyon, F-42023, Saint-Etienne, France
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, CNRS
-
Laboratoire Hubert Curien, F-42000, Saint-Etienne, France, UMR5516
-
Université de Saint-Etienne, Jean Monnet, F-42000, Saint-Etienne, France
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/sigmod/ChevalierSGL15
|
| Author Comments: |
|