E-LIB Suche - Ergebnisse für: van Berkel, Kees

1

A Logical Analysis of Instrumentality Judgments: Means-End ..:

van Berkel, Kees ; Lyon, Tim S. ; Pascucci, Matteo
Journal of Philosophical Logic. 52 (2023) 5 - p. 1475-1516 , 2023

Link: https://doi.org/10.1007/..

2

Practical Reasoning and Practical Argumentation: A Stakehol..:

van Berkel, Kees ; Wagemans, Jean H. M.
Topoi. 42 (2023) 2 - p. 509-525 , 2023

Link: https://doi.org/10.1007/..

3

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again:

van Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa..
Journal of Logic, Language and Information. 32 (2022) 1 - p. 19-62 , 2022

Link: https://doi.org/10.1007/..

4

Implementing Adaptive Survey Design with an Application to ..:

van Berkel, Kees ; van der Doef, Suzanne ; Schouten, Barry
Journal of Official Statistics. 36 (2020) 3 - p. 609-629 , 2020

Link: https://doi.org/10.2478/..

5

A Decidable Multi-agent Logic for Reasoning About Actions, ..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,

van Berkel, Kees ; Lyon, Tim ; Olivieri, Francesco - p. 219-241 , 2020

Link: https://doi.org/10.1007/..

6

Evaluating Networks of Arguments: A Case Study in Mīmāṃsā D..:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,

van Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa. - p. 355-369 , 2019

Link: https://doi.org/10.1007/..

7

Cut-Free Calculi and Relational Semantics for Temporal STIT..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

van Berkel, Kees ; Lyon, Tim - p. 803-819 , 2019

Link: https://doi.org/10.1007/..

8

Automating Agential Reasoning: Proof-Calculi and Syntactic ..:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,

Lyon, Tim ; van Berkel, Kees - p. 202-218 , 2019

Link: https://doi.org/10.1007/..

9

A Neutral Temporal Deontic STIT Logic:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,

van Berkel, Kees ; Lyon, Tim - p. 340-354 , 2019

Link: https://doi.org/10.1007/..

10

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/..

11

Notions of Instrumentality in Agency Logic:

, In: Lecture Notes in Computer Science; PRIMA 2018: Principles and Practice of Multi-Agent Systems,

van Berkel, Kees ; Pascucci, Matteo - p. 403-419 , 2018

Link: https://doi.org/10.1007/..

12

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://dl.acm.org/doi/1..

13

Response modeling runtime schedulers for timing analysis of..:

Lele, Alok ; Moreira, Orlando ; Cuijpers, Pieter J.L..
Journal of Systems Architecture. 65 (2016) - p. 15-29 , 2016

Link: https://doi.org/10.1016/..

14

Modeling & analysis of an LTE-Advanced receiver using mode-..:

Salunkhe, Hrishikesh ; Moreira, Orlando ; van Berkel, Kees
Microprocessors and Microsystems. 47 (2016) - p. 216-230 , 2016

Link: https://doi.org/10.1016/..

15

Buffer allocation for real-time streaming applications runn..:

Salunkhe, Hrishikesh ; Lele, Alok ; Moreira, Orlando.
Journal of Systems Architecture. 62 (2016) - p. 24-37 , 2016

Link: https://doi.org/10.1016/..