Results 111 to 120 of about 33,717 (206)

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem. [PDF]

J Med Syst
Marte C, Mochi M, Dodaro C, Galatà G, Maratea M.   +4 more
europepmc   +1 more source

Node and edge control strategy identification via trap spaces in Boolean networks. [PDF]

BMC Bioinformatics
Cifuentes-Fontanals L, Tonello E, Siebert H.   +2 more
europepmc   +1 more source

A case study using sewage metagenomic data for assessment of text-to-SQL capabilities in large language models. [PDF]

Sci Rep
Becsei Á, Stéger J, Visontai D, Munk P, Aarestrup FM, Csabai I, Papp K.   +6 more
europepmc   +1 more source

When you must forget: Beyond strong persistence when forgetting in answer set programming [PDF]

, 2017
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran   +3 more
openalex   +1 more source

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming

Li, Fang, Zuo, Fei, Gupta, Gopal
openalex   +1 more source

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches

, 2018
Jorge Fandinno, Cláudia Schulz
openalex   +1 more source

Temporal Answer Set Programming

, 2012
[Resumen] El razonamiento temporal del sentido común está lleno de situaciones que requieren suponer conclusiones por defecto, puesto que raramente contamos con toda la información disponible. Lamentablemente, la mayoría de lógicas modales temporales no permiten modelar este tipo de razonamiento por defecto debido a que, típicamente, se definen por ...
openaire   +3 more sources

Benchmarking large language models for genomic knowledge with GeneTuring. [PDF]

Brief Bioinform
Shang X, Liao X, Ji Z, Hou W.
europepmc   +1 more source

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming

Emma Crisci, Maxime Mahout, Sabine Pérès   +2 more
openalex   +2 more sources

Automatic Generation of Rule-Based Raven-Like Matrices in R: The matRiks Package. [PDF]

Appl Psychol Meas
Brancaccio A, Epifania OM, Anselmi P, de Chiusole D.   +3 more
europepmc   +1 more source