• Suche: "Logic in Computer Science"

Treffer 221 - 240 von 95.778

221

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
Barnoff, Aaron ; Bright, Curtis

Combinatorics Discrete Mathematics Logic in Computer Scienc...
Report
Zu den Favoriten
223

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
Keyi, Hu

Artificial Intelligence Logic in Computer Scienc...
Report
Zu den Favoriten
224

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Kurpiewski, Damian ; Michalczyk, Jędrzej ; Jamroga, Wojciech ; et al.

Logic in Computer Scienc... Multiagent Systems
Report
Zu den Favoriten
225

A programming language combining quantum and classical control
Dave, Kinnari ; Lemonnier, Louis ; Péchoux, Romain ; et al.

Logic in Computer Scienc... Programming Languages Quantum Physics
Report
Zu den Favoriten
226

Revisiting Interpolation in Relevant Logics
Fussner, Wesley ; Tedder, Andrew

Logic Logic in Computer Scienc... 03A05 (Primary), 03B47,...
Report
Zu den Favoriten
227

Space Explanations of Neural Network Classification
Labbaf, Faezeh ; Kolárik, Tomáš ; Blicha, Martin ; et al.
Computer Aided Verification, Lecture Notes in Computer Science, vol 15933, pp. 287-303, 2025

Machine Learning Logic in Computer Scienc...
Report
Zu den Favoriten
228

Muddy Waters
van Ditmarsch, Hans
EPTCS 437, 2025, pp. 433-447

Logic in Computer Scienc...
Report
Zu den Favoriten
229

Logic of (Common or Distributed) Knowledge
Shi, Chenwei
EPTCS 437, 2025, pp. 286-300

Logic in Computer Scienc...
Report
Zu den Favoriten
230

Are Large Random Graphs Always Safe to Hide?
Chakraborty, Sourav ; Ghosh, Sujata ; Samanta, Smiha
EPTCS 437, 2025, pp. 321-333

Logic in Computer Scienc... Computer Science and Gam...
Report
Zu den Favoriten
231

Comparing State-Representations for DEL Model Checking
Behnke, Gregor ; Gattinger, Malvin ; Ghosh, Avijeet ; et al.
EPTCS 437, 2025, pp. 233-250

Logic in Computer Scienc... Multiagent Systems F.4.1; I.2.4; I.2.11
Report
Zu den Favoriten
232

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Yang, Yuanzhe
EPTCS 437, 2025, pp. 399-416

Logic in Computer Scienc... Multiagent Systems
Report
Zu den Favoriten
233

Modal Logic for Simulation, Refinement, and Mutual Ignorance
van Ditmarsch, Hans ; French, Tim ; Galimullin, Rustam ; et al.
EPTCS 437, 2025, pp. 379-398

Logic in Computer Scienc...
Report
Zu den Favoriten
234

Who is Afraid of Minimal Revision?
Baccini, Edoardo ; Christoff, Zoé ; Gierasimczuk, Nina ; et al.
EPTCS 437, 2025, pp. 301-320

Artificial Intelligence Logic in Computer Scienc...
Report
Zu den Favoriten
235

Conditionals Based on Selection Functions, Modal Operators and Probabilities
Flaminio, Tommaso ; Godo, Lluis ; Rosella, Gluliano
EPTCS 437, 2025, pp. 128-139

Logic in Computer Scienc... Artificial Intelligence Discrete Mathematics
Report
Zu den Favoriten
236

Graded Distributed Belief
Lorini, Emiliano ; Rozplokhas, Dmitry
EPTCS 437, 2025, pp. 203-215

Logic in Computer Scienc... Artificial Intelligence
Report
Zu den Favoriten
237

Group Knowledge of Hypothetical Values
Baltag, Alexandru ; Smets, Sonja
EPTCS 437, 2025, pp. 140-159

Logic in Computer Scienc...
Report
Zu den Favoriten
238

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
Andrews, Uri ; Mauro, Luca San
EPTCS 437, 2025, pp. 112-127

Artificial Intelligence Logic in Computer Scienc...
Report
Zu den Favoriten
239

Distributed Knowing How
Liu, Bin ; Wang, Yanjing
EPTCS 437, 2025, pp. 80-97

Logic in Computer Scienc... Artificial Intelligence
Report
Zu den Favoriten
240

Common $p$-Belief with Plausibility Measures: Extended Abstract
Pacuit, Eric ; Yang, Leo
EPTCS 437, 2025, pp. 66-79

Computer Science and Gam... Logic in Computer Scienc... Multiagent Systems I.2.4
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter