| 1 |
Communicating cognitive agents: modeling and formalization
|
|
|
|
In: https://hal-univ-tlse3.archives-ouvertes.fr/tel-03484173 ; Artificial Intelligence [cs.AI]. Université Toulouse 3 Paul Sabatier, 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Synchronizing Relations on Words
|
|
|
|
In: ISSN: 1432-4350 ; EISSN: 1433-0490 ; Theory of Computing Systems ; https://hal.archives-ouvertes.fr/hal-01778459 ; Theory of Computing Systems, Springer Verlag, 2015, 57 (2), pp.287 - 318. ⟨10.1007/s00224-014-9584-2⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE
|
|
|
|
In: ISSN: 2234-0068 ; International Journal of Knowledge Content Development & Technology ; https://hal.archives-ouvertes.fr/hal-01303853 ; International Journal of Knowledge Content Development & Technology, 2015, vol. 5 (n° 2), pp. 75-101. ⟨10.5865/IJKCT.2015.5.2.075⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01584832 ; Aug 2015, Barcelona, Spain. 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A plea for complex categories in ontologies
|
|
|
|
In: ISSN: 1570-5838 ; EISSN: 1875-8533 ; Applied Ontology ; https://hal.archives-ouvertes.fr/hal-01567016 ; Applied Ontology, IOS Press, 2015, vol. 10 (n° 3-4), pp. 285-296. ⟨10.3233/AO-150156⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311120 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87 ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
An exploration of the relatedness problem between arguments: combining the generative lexicon with inference
|
|
|
|
In: Proceedings of ECA Lisbon 2015. Studies in logic and argumentation ; 1st European Conference on Argumentation (ECA 2015) ; https://hal.archives-ouvertes.fr/hal-01327089 ; 1st European Conference on Argumentation (ECA 2015), Jun 2015, Lisbon, Portugal. pp. 1-19 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Distributional semantics for ontology verification
|
|
|
|
In: Proceedings of the 4th Joint Conference on Lexical and Computational Semantics ; 4th Joint Conference on Lexical and Computational Semantics (SEM 2015) ; https://hal.archives-ouvertes.fr/hal-01343043 ; 4th Joint Conference on Lexical and Computational Semantics (SEM 2015), Jun 2015, Denver, Colorado, United States. pp. 30-39 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Discovering Hypernymy Relations using Text Layout
|
|
|
|
In: Proceedings of the 4th Joint Conference on Lexical and Computational Semantics ; 4th Joint Conference on Lexical and Computational Semantics (SEM 2015) ; https://hal.archives-ouvertes.fr/hal-01379488 ; 4th Joint Conference on Lexical and Computational Semantics (SEM 2015), Jun 2015, Denver, Colorado, United States. pp. 249-258 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
LELIE - An Intelligent Assistant for Improving Requirement Authoring
|
|
|
|
In: International Journal on Requirement Engineering ; https://hal.archives-ouvertes.fr/hal-01327088 ; International Journal on Requirement Engineering, 2015, 2015-02, pp. 1-9 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Twist your logic with TouIST
|
|
|
|
In: Proceedings of the 4th International Conference on Tools for Teaching Logic ; 4th International Congress on Tools for Teaching Logic (TTL 2015) ; https://hal.archives-ouvertes.fr/hal-01671317 ; 4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8 ; http://ttl2015.irisa.fr/ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy.
|
|
|
|
In: ISSN: 0890-5401 ; EISSN: 1090-2651 ; Information and Computation ; https://hal.archives-ouvertes.fr/hal-01948302 ; Information and Computation, Elsevier, 2015, 241, pp.3-31 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
A Logic with Revocable and Refinable Strategies
|
|
|
|
In: ISSN: 0890-5401 ; EISSN: 1090-2651 ; Information and Computation ; https://hal.archives-ouvertes.fr/hal-00785659 ; Information and Computation, Elsevier, 2015, 242, pp.157-182. ⟨10.1016/j.ic.2015.03.015⟩ ; http://www.sciencedirect.com/science/article/pii/S0890540115000309 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A Generic Framework for Symbolic Execution: Theory and Applications ; Un cadre générique pour l'exécution symbolique : théorie et applications
|
|
|
|
In: https://hal.inria.fr/hal-00766220 ; [Research Report] RR-8189, Inria. 2015, pp.41 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Adding modular predicates to first-order fragments
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00934622 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Normalization by realizability also evaluates
|
|
|
|
In: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; https://hal.inria.fr/hal-01099138 ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France ; http://jfla.inria.fr/2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Hilbert-Post completeness for the state and the exception effects
|
|
|
|
In: Lecture Notes in Computer Sciences ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences ; https://hal.archives-ouvertes.fr/hal-01121924 ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Symbolic execution based on language transformation
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Bounding Linear Head Reduction and Visible Interaction Through Skeletons
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-01286473 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (2), pp.6. ⟨10.2168/LMCS-11(2:6)2015⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
|
|
