1 |
Hearing aid use in the elderly as measured by datalogging and self-report
|
|
|
|
BASE
|
|
Show details
|
|
2 |
An Introduction to Ontology-Based Query Answering with Existential Rules
|
|
|
|
In: 10th Reasoning Web Summer School ; RW: Reasoning Web ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990 ; RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩ ; http://rw2014.di.uoa.gr/ (2014)
|
|
BASE
|
|
Show details
|
|
7 |
Existential Rules: A Graph-Based View
|
|
|
|
In: Datalog 2.0 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474 ; Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩ ; http://www.dbai.tuwien.ac.at/datalog2.0/ (2012)
|
|
BASE
|
|
Show details
|
|
8 |
DOI:10.1007/978-3-642-23211-4 A Datalog recognizer for almost-affine λ-CFGs
|
|
|
|
In: http://hal.inria.fr/docs/00/74/07/01/PDF/parseAffine.pdf (2012)
|
|
BASE
|
|
Show details
|
|
9 |
A Datalog recognizer for almost affine lambda-CFGs
|
|
|
|
In: Mathematics of Language ; https://hal.archives-ouvertes.fr/hal-00740701 ; Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩ (2011)
|
|
BASE
|
|
Show details
|
|
10 |
Soutei, a Logic-Based Trust-Management System System Description
|
|
|
|
In: http://okmij.org/ftp/papers/Soutei.pdf
|
|
BASE
|
|
Show details
|
|
|
|