| 1 |
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
|
|
|
|
In: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.inria.fr/hal-02947251 ; KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.141-151, ⟨10.24963/kr.2020/15⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Lexical selection, coercion, and record types
|
|
|
|
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Combining spatial data layers using fuzzy inference systems: application to an agronomic case study
|
|
|
|
In: 6th International Conference on Geographical Information Systems Theory, Applications and Management ; https://hal.inrae.fr/hal-02942751 ; 6th International Conference on Geographical Information Systems Theory, Applications and Management, May 2020, Prague, Czech Republic. pp.62-71, ⟨10.5220/0009356000620071⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Pluralities, Collectives, and Composites
|
|
|
|
In: Formal Ontology in Information Systems, Proceedings of the 11th International Conference (FOIS 2020) ; https://hal.archives-ouvertes.fr/hal-03082789 ; Boyan Brodaric; Fabian Neuhaus. Formal Ontology in Information Systems, Proceedings of the 11th International Conference (FOIS 2020), 330, IOS Press, pp.186-200, 2020, Frontiers in Artificial Intelligence and Applications, 0922-6389. ⟨10.3233/FAIA200671⟩ ; http://www.loa.istc.cnr.it/wp-content/uploads/2020/12/FAIA-330-FAIA200671.pdf (2020)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
The sequent calculus of skew monoidal categories (extended version)
|
|
|
|
In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03031139 ; C. Casadio; P. J. Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer, In press, Outstanding Contributions to Logic (2020)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03094373 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG050⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Interoperability between proof systems using the logical framework Dedukti ; Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03224039 ; Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
|
|
