Cover Image

plingo: A system for probabilistic reasoning in clingo based on lpmln

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hahn, Susana, Janhunen, Tomi, Kaminski, Roland, Romero, Javier, Rühling, Nicolas, Schaub, Torsten
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence D.1.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)

Towards Industrial-scale Product Configuration
by: Baumeister, Joachim, et al.
Published: (2025)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
by: Semmelrock, Veronika, et al.
Published: (2026)

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
by: Glaze, Sean, et al.
Published: (2025)

Improving Hyperparameter Optimization with Checkpointed Model Weights
by: Mehta, Nikhil, et al.
Published: (2024)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Optimization under uncertainty: understanding orders and testing programs with specifications
by: Jansson, Patrik, et al.
Published: (2025)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
by: Bauer, Jakob Johannes, et al.
Published: (2025)

Utilising a Quantum Hybrid Solver for Bi-objective Quadratic Assignment Problems
by: Ayodele, Mayowa
Published: (2024)

New Insight of Variance reduce in Zero-Order Hard-Thresholding: Mitigating Gradient Error and Expansivity Contradictions
by: Yuan, Xinzhe, et al.
Published: (2026)

A Reinforcement Learning Method for Environments with Stochastic Variables: Post-Decision Proximal Policy Optimization with Dual Critic Networks
by: Felizardo, Leonardo Kanashiro, et al.
Published: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

Training Language Models to Use Prolog as a Tool
by: Mellgren, Niklas, et al.
Published: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
by: Fruehwirth, Thom
Published: (2025)

Mixed Integer Goal Programming for Personalized Meal Optimization with User-Defined Serving Granularity
by: Moreno, Francisco Aguilera
Published: (2026)

Interpretable classifiers for tabular data via discretization and feature selection
by: Jaakkola, Reijo, et al.
Published: (2024)

An Agent-based Model Simulation Approach to Demonstrate Effects of Aging Population and Social Service Policies on Pensions Fund and Its Long-term Socio-economic Consequences
by: Haji, Shayan Firouzian
Published: (2025)

Optimal bounds for numerical approximations of infinite horizon problems based on dynamic programming approach
by: de Frutos, Javier, et al.
Published: (2021)

Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions
by: Marwitz, Florian Andreas, et al.
Published: (2025)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

Contrastive and Multi-Task Learning on Noisy Brain Signals with Nonlinear Dynamical Signatures
by: Ghosh, Sucheta, et al.
Published: (2026)

Communication-Efficient, 2D Parallel Stochastic Gradient Descent for Distributed-Memory Optimization
by: Devarakonda, Aditya, et al.
Published: (2025)

Bed-Attached Vibration Sensor System: A Machine Learning Approach for Fall Detection in Nursing Homes
by: Bartz-Beielstein, Thomas, et al.
Published: (2024)

Simplifying Hyperparameter Tuning in Online Machine Learning -- The spotRiverGUI
by: Bartz-Beielstein, Thomas
Published: (2024)

Gradient descent provably escapes saddle points in the training of shallow ReLU networks
by: Cheridito, Patrick, et al.
Published: (2022)

Two-phase Optimization of Binary Sequences with Low Peak Sidelobe Level Value
by: Bošković, Borko, et al.
Published: (2021)

Adaptive Resampling with Bootstrap for Noisy Multi-Objective Optimization Problems
by: Budszuhn, Timo, et al.
Published: (2025)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Asynchronous Stochastic Gradient Descent with Decoupled Backpropagation and Layer-Wise Updates
by: Fokam, Cabrel Teguemne, et al.
Published: (2024)

Multi-market value-stacking: Battery control for combined imbalance participation and non-uniform FCR bidding
by: Hendrickx, Celle, et al.
Published: (2026)

Quantum-Inspired Weight-Constrained Neural Network: Reducing Variable Numbers by 100x Compared to Standard Neural Networks
by: Li, Shaozhi, et al.
Published: (2024)

A Review of Bilevel Optimization: Methods, Emerging Applications, and Recent Advancements
by: Pujara, Dhaval, et al.
Published: (2025)

Formalization of Optimality Conditions for Smooth Constrained Optimization Problems
by: Li, Chenyi, et al.
Published: (2025)

A Relaxation Method for Nonsmooth Nonlinear Optimization with Binary Constraints
by: Xiao, Lianghai, et al.
Published: (2026)