Works matching IS 14710684 AND DT 2024 AND VI 24 AND IP 4

Results: 20

Introduction to the 40<sup>th</sup> International Conference On Logic Programming Special Issue.

Published in:

2024

By:

CABALAR, PEDRO;
SWIFT, THERESA

Publication type:

Editorial

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 805, doi. 10.1017/S1471068424000425

By:

MURUGESAN, ANITHA;
WONG, ISAAC;
ARIAS, JOAQUÍN;
STROUD, ROBERT;
VARADARAJAN, SRIVATSAN;
SALAZAR, ELMER;
GUPTA, GOPAL;
BLOOMFIELD, ROBIN;
RUSHBY, JOHN

Publication type:

Article

Quantifying over Optimum Answer Sets.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 716, doi. 10.1017/S1471068424000395

By:

MAZZOTTA, GIUSEPPE;
RICCA, FRANCESCO;
TRUSZCZYNSKI, MIREK

Publication type:

Article

Reasoning About Study Regulations in Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 790, doi. 10.1017/S1471068424000383

By:

HAHN, SUSANA;
SCHAUB, TORSTEN;
MARTENS, CEDRIC;
NEMES, AMADE;
OTUNUYA, HENRY;
ROMERO, JAVIER;
SCHELLHORN, SEBASTIAN

Publication type:

Article

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 628, doi. 10.1017/S1471068424000371

By:

HILLERSTRÖM, FIEKE;
BURGHOUTS, GERTJAN

Publication type:

Article

On Lower Bounding Minimal Model Count.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 586, doi. 10.1017/S147106842400036X

By:

KABIR, MOHIMENUL;
MEEL, KULDEEP S

Publication type:

Article

Abstract Environment Trimming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 863, doi. 10.1017/S1471068424000358

By:

JURJO-RIVAS, DANIEL;
MORALES, JOSE F.;
LÓPEZ-GARCÍA, PEDRO;
HERMENEGILDO, MANUEL V.

Publication type:

Article

CON-FOLD Explainable Machine Learning with Confidence.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 663, doi. 10.1017/S1471068424000346

By:

MCGINNESS, LACHLAN;
BAUMGARTNER, PETER

Publication type:

Article

Symbolic Parameter Learning in Probabilistic Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 698, doi. 10.1017/S1471068424000334

By:

AZZOLINI, DAMIANO;
GENTILI, ELISABETTA;
RIGUZZI, FABRIZIO

Publication type:

Article

A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 644, doi. 10.1017/S1471068424000322

By:

PADALKAR, PARTH;
ŚLUSARZ, NATALIA;
KOMENDANTSKAYA, EKATERINA;
GUPTA, GOPAL

Publication type:

Article

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 921, doi. 10.1017/S1471068424000310

By:

ALFANO, GIANVINCENZO;
GRECO, SERGIO;
PARISI, FRANCESCO;
TRUBITSYNA, IRINA

Publication type:

Article

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 825, doi. 10.1017/S1471068424000309

By:

CARDELLINI, MATTEO;
DODARO, CARMINE;
MARATEA, MARCO;
VALLATI, MAURO

Publication type:

Article

Dominating Set Reconfiguration with Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 755, doi. 10.1017/S1471068424000292

By:

KATO, MASATO;
BANBARA, MUTSUNORI;
SCHAUB, TORSTEN;
SOH, TAKEHIDE;
TAMURA, NAOYUKI

Publication type:

Article

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 844, doi. 10.1017/S1471068424000280

By:

VAŠÍČEK, ONDŘEJ;
ARIAS, JOAQUIN;
FIEDOR, JAN;
GUPTA, GOPAL;
HALL, BRENDAL;
KŘENA, BOHUSLAV;
LARSON, BRIAN;
VARANASI, SARAT CHANDRA;
VOJNAR, TOMÁŠ

Publication type:

Article

Fast Inference for Probabilistic Answer Set Programs Via the Residual Program.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 682, doi. 10.1017/S1471068424000279

By:

AZZOLINI, DAMIANO;
RIGUZZI, FABRIZIO

Publication type:

Article

Winning Snake: Design Choices in Multi-Shot ASP.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 772, doi. 10.1017/S1471068424000267

By:

BÖHL, ELISA;
ELLMAUTHALER, STEFAN;
GAGGL, SARAH ALICE

Publication type:

Article

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 901, doi. 10.1017/S1471068424000255

By:

KINAHAN, RILEY;
KILLEN, SPENCER;
WAN, KEVIN;
YOU, JIA-HUAI

Publication type:

Article

The Semantics of Metaprogramming in Prolog.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 885, doi. 10.1017/S1471068424000243

By:

WARREN, DAVID SCOTT

Publication type:

Article

The Stable Model Semantics for Higher-Order Logic Programming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 737, doi. 10.1017/S1471068424000231

By:

BOGAERTS, BART;
CHARALAMBIDIS, ANGELOS;
CHATZIAGAPIS, GIANNOS;
KOSTOPOULOS, BABIS;
POLLACI, SAMUELE;
RONDOGIANNIS, PANOS

Publication type:

Article

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 606, doi. 10.1017/S147106842400022X

By:

ZENG, YANKAI;
RAJASEKHARAN, ABHIRAMON;
BASU, KINJAL;
WANG, HUADUO;
ARIAS, JOAQUÍN;
GUPTA, GOPAL

Publication type:

Article