Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lellmann, Björn
57  Ergebnisse:
Personensuche X
?
1

BRISE-plandok: a German legal corpus of building regulation:

Recski, Gábor ; Iklódi, Eszter ; Lellmann, Björn..
Language Resources and Evaluation.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Grants4Companies: Applying Declarative Methods for Recommen..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Lellmann, Björn ; Marek, Philipp ; Triska, Markus - p. 151-164 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Calculi, countermodel generation and theorem prover for str..:

Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola..
Journal of Logic and Computation.  32 (2022)  2 - p. 233-280 , 2022
Link: https://doi.org/10.1093/..
 
?
4

From Input/Output Logics to Conditional Logics via Sequents..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Lellmann, Björn - p. 147-164 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Interpolation for intermediate logics via injective nested ..:

Kuznets, Roman ; Lellmann, Björn
Journal of Logic and Computation.  31 (2021)  3 - p. 797-831 , 2021
Link: https://doi.org/10.1093/..
 
?
6

Hypersequent calculi for non-normal modal and deontic logic..:

Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola.
Journal of Logic and Computation.  31 (2020)  1 - p. 67-111 , 2020
Link: https://doi.org/10.1093/..
 
?
7

Mīmāṃsā deontic reasoning using specificity: a proof theore..:

Lellmann, Björn ; Gulisano, Francesca ; Ciabattoni, Agata
Artificial Intelligence and Law.  29 (2020)  3 - p. 351-394 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Syntactic Cut-Elimination and Backward Proof-Search for Ten..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Goré, Rajeev ; Lellmann, Björn - p. 185-202 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Sequentialising Nested Systems:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn - p. 147-165 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Modularisation of Sequent Calculi for Normal and Non-normal..:

Lellmann, Björn ; Pimentel, Elaine
ACM Transactions on Computational Logic (TOCL).  20 (2019)  2 - p. 1-46 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Countermodel Construction via Optimal Hypersequent Calculi ..:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola. - p. 27-46 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Combining Monotone and Normal Modal Logic in Nested Sequent..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Lellmann, Björn - p. 203-220 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Nested Sequents for the Logic of Conditional Belief:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola - p. 709-725 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Modularisation of Sequent Calculi for Normal and Non-normal..:

Lellmann, Björn ; Pimentel, Elaine
ACM Transactions on Computational Logic.  20 (2019)  2 - p. 1-46 , 2019
Link: https://doi.org/10.1145/..
 
?
15

Deontic reasoning: from ancient texts to artificial intelli..:

Ciabattoni, Agata ; Lellmann, Björn ; van Berkel, Kees
ACM SIGLOG News.  5 (2018)  4 - p. 48-51 , 2018
Link: https://doi.org/10.1145/..
 
1-15