:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Bowen, Jonathan P.
Natura:	Preprint
Pubblicazione:	2015
Soggetti:	Digital Libraries Logic in Computer Science D.2.4; D.2.8; F.4.1; I.2.4; J.4; K.2
Accesso online:	https://arxiv.org/abs/1509.02908
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Converting BPMN Diagrams to Privacy Calculus
di: Pitsiladis, Georgios V., et al.
Pubblicazione: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
di: Huang, Xuanxiang, et al.
Pubblicazione: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
di: Kadaboina, Ravi Kiran
Pubblicazione: (2026)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

Locality in Residuated-Lattice Structures
di: Carr, James
Pubblicazione: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
di: Catta, Davide, et al.
Pubblicazione: (2026)

Ground Stratification for a Logic of Definitions with Induction
di: Guermond, Nathan, et al.
Pubblicazione: (2025)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
di: Waldinger, Richard
Pubblicazione: (2025)

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

Towards Weak Stratification for Logics of Definitions
di: Guermond, Nathan
Pubblicazione: (2026)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
di: David, Robert, et al.
Pubblicazione: (2025)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
di: Jilissen, Kevin H. J., et al.
Pubblicazione: (2024)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2026)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
di: Lucas, Tom, et al.
Pubblicazione: (2026)

ConfigSpec: Profiling-Based Configuration Selection for Distributed Edge--Cloud Speculative LLM Serving
di: Li, Xiangchen, et al.
Pubblicazione: (2026)

WISP: Waste- and Interference-Suppressed Distributed Speculative LLM Serving at the Edge via Dynamic Drafting and SLO-Aware Batching
di: Li, Xiangchen, et al.
Pubblicazione: (2026)

Recommended Practices for Spreadsheet Testing
di: Panko, Raymond R.
Pubblicazione: (2007)

Strong Equivalence in Answer Set Programming with Constraints
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Compiling Metric Temporal Answer Set Programming
di: Becker, Arvid, et al.
Pubblicazione: (2025)

Implementing Metric Temporal Answer Set Programming
di: Becker, Arvid, et al.
Pubblicazione: (2026)

Comparing State-Representations for DEL Model Checking
di: Behnke, Gregor, et al.
Pubblicazione: (2025)

Logic interpretations of ANN partition cells
di: Schmitt, Ingo
Pubblicazione: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
di: Cate, Balder ten, et al.
Pubblicazione: (2024)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)

Space-time process algebra with asynchronous communication
di: Bergstra, J. A., et al.
Pubblicazione: (2024)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
di: Demichelis, Remy
Pubblicazione: (2026)

Issues in Strategic Decision Modelling
di: Jennings, Paula
Pubblicazione: (2008)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
di: Phawade, Ramchandra, et al.
Pubblicazione: (2026)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
di: Tsamoura, Efthymia, et al.
Pubblicazione: (2024)