Imagen de Portada

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bertagnon, Alessandro, Dalpasso, Marcello, Favalli, Michele, Gavanelli, Marco
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Counting Answer Sets of Disjunctive Answer Set Programs
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Streamliners for Answer Set Programming
por: Voboril, Florentina, et al.
Publicado: (2026)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
por: Cardellini, Matteo, et al.
Publicado: (2024)

Long-term Power Grid Planning via Answer Set Programming
por: Ielo, Antonio, et al.
Publicado: (2026)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Towards Constraint Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Defeasible Conditionals using Answer Set Programming
por: Dennison, Racquel, et al.
Publicado: (2026)

Answer Set Programming for Flexible Payroll Management
por: Callewaert, Benjamin, et al.
Publicado: (2024)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
por: Bankosegger, Rafael, et al.
Publicado: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
por: Azzolini, Damiano, et al.
Publicado: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
por: Takemura, Akihiro, et al.
Publicado: (2026)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
por: Fandinno, Jorge, et al.
Publicado: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
por: Fandinno, Jorge, et al.
Publicado: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
por: Rizwan, Momina, et al.
Publicado: (2020)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
por: Gupta, Gopal, et al.
Publicado: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
por: Hecher, Markus, et al.
Publicado: (2024)

Human Conditional Reasoning in Answer Set Programming
por: Sakama, Chiaki
Publicado: (2023)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
por: Kaminski, Roland, et al.
Publicado: (2024)

Question Answering with LLMs and Learning from Answer Sets
por: Borroto, Manuel, et al.
Publicado: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
por: Patil, Jaikrishna Manojkumar, et al.
Publicado: (2025)

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

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

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

Integrating Belief Domains into Probabilistic Logic Programs
por: Azzolini, Damiano, et al.
Publicado: (2025)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
por: Hansen, Zachary, et al.
Publicado: (2025)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
por: Averkov, Daniil, et al.
Publicado: (2024)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
por: Amendola, Giovanni, et al.
Publicado: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
por: Gianola, Alessandro, et al.
Publicado: (2023)

Static Analysis of Logic Programs via Boolean Networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
por: Buda, Alessandro G., et al.
Publicado: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
por: Li, Jinzhao, et al.
Publicado: (2025)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
por: Derkinderen, Vincent
Publicado: (2024)

Computational methods for Dynamic Answer Set Programming
por: Hahn, Susana
Publicado: (2025)

LLASP: Fine-tuning Large Language Models for Answer Set Programming
por: Coppolillo, Erica, et al.
Publicado: (2024)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
por: Bertini, Flavio, et al.
Publicado: (2025)