:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ahammed, Abu Shad, Obermaisser, Roman
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2408.03739
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Impact Analysis of Data Drift Towards The Development of Safety-Critical Automotive System
by: Hossain, Md Shahi Amran, et al.
Published: (2024)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
by: Hossain, Md Shahi Amran, et al.
Published: (2025)

Diagnosing Psychiatric Patients: Can Large Language and Machine Learning Models Perform Effectively in Emergency Cases?
by: Ahammed, Abu Shad, et al.
Published: (2025)

A Computer Vision Approach for Autonomous Cars to Drive Safe at Construction Zone
by: Ahammed, Abu Shad, et al.
Published: (2024)

Integration of Computer Vision with Adaptive Control for Autonomous Driving Using ADORE
by: Ahammed, Abu Shad, et al.
Published: (2025)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
by: Kalala, Kalonji, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
by: Fang, Liangda, et al.
Published: (2024)

KIRETT -- A wearable device to support rescue operations using artificial intelligence to improve first aid
by: Zenkert, Johannes, et al.
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
by: Allemang, Dean, et al.
Published: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
by: Hofmann, Till, et al.
Published: (2024)

Abstracting Situation Calculus Action Theories
by: Banihashemi, Bita, et al.
Published: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
by: Pradeep, Pavana, et al.
Published: (2026)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
by: Hozzová, Petra, et al.
Published: (2024)

Monitoring the Future of Smart Contracts
by: Capretto, Margarita, et al.
Published: (2024)

Tutorial: Designing Distributed Software in mCRL2
by: Groote, Jan Friso, et al.
Published: (2021)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Model Explanation via Support Graphs
by: Cabalar, Pedro, et al.
Published: (2023)

Promonads and String Diagrams for Effectful Categories
by: Román, Mario
Published: (2022)

Automated Software Verification of Hyperliveness
by: Beutner, Raven
Published: (2024)

Fusions of One-Variable First-Order Modal Logics
by: Kontchakov, Roman, et al.
Published: (2026)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

Computing Supported Models via Transformation to Stable Models
by: Li, Fang, et al.
Published: (2025)

Simulation by Rounds of Letter-to-Letter Transducers
by: Nassar, Antonio Abu, et al.
Published: (2021)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
by: Radi, Bader Abu, et al.
Published: (2025)

Decidability of Interpretability
by: Feller, Roman, et al.
Published: (2026)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
by: Džamonja, Mirna
Published: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
by: Artale, Alessandro, et al.
Published: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Smart Choices and the Selection Monad
by: Abadi, Martin, et al.
Published: (2020)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)