Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hahn, Susana, Janhunen, Tomi, Kaminski, Roland, Romero, Javier, Rühling, Nicolas, Schaub, Torsten
Format:	Preprint
Publié:	2022
Sujets:	Artificial Intelligence D.1.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Smart Expansion Techniques for ASP-based Interactive Configuration
par: Balážová, Lucia, et autres
Publié: (2025)

Towards Industrial-scale Product Configuration
par: Baumeister, Joachim, et autres
Publié: (2025)

ASP-driven User-interaction with Clinguin
par: Beiser, Alexander, et autres
Publié: (2025)

Implementing the First-Order Logic of Here and There
par: Otten, Jens, et autres
Publié: (2026)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
par: Semmelrock, Veronika, et autres
Publié: (2026)

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
par: Glaze, Sean, et autres
Publié: (2025)

Improving Hyperparameter Optimization with Checkpointed Model Weights
par: Mehta, Nikhil, et autres
Publié: (2024)

Graph-Based Specification and Automated Construction of ILP Problems
par: Ehmes, Sebastian, et autres
Publié: (2022)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
par: Kratz, Maximilian, et autres
Publié: (2025)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
par: Kratz, Maximilian, et autres
Publié: (2025)

Optimization under uncertainty: understanding orders and testing programs with specifications
par: Jansson, Patrik, et autres
Publié: (2025)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
par: Bauer, Jakob Johannes, et autres
Publié: (2025)

Utilising a Quantum Hybrid Solver for Bi-objective Quadratic Assignment Problems
par: Ayodele, Mayowa
Publié: (2024)

New Insight of Variance reduce in Zero-Order Hard-Thresholding: Mitigating Gradient Error and Expansivity Contradictions
par: Yuan, Xinzhe, et autres
Publié: (2026)

A Reinforcement Learning Method for Environments with Stochastic Variables: Post-Decision Proximal Policy Optimization with Dual Critic Networks
par: Felizardo, Leonardo Kanashiro, et autres
Publié: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

Training Language Models to Use Prolog as a Tool
par: Mellgren, Niklas, et autres
Publié: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
par: Light, Jonathan, et autres
Publié: (2024)

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

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

Interpretable classifiers for tabular data via discretization and feature selection
par: Jaakkola, Reijo, et autres
Publié: (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
par: Haji, Shayan Firouzian
Publié: (2025)

Optimal bounds for numerical approximations of infinite horizon problems based on dynamic programming approach
par: de Frutos, Javier, et autres
Publié: (2021)

Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions
par: Marwitz, Florian Andreas, et autres
Publié: (2025)

Meta-Programming for Linear-time Temporal Answer Set Programming
par: Hahn, Susana, et autres
Publié: (2026)

Contrastive and Multi-Task Learning on Noisy Brain Signals with Nonlinear Dynamical Signatures
par: Ghosh, Sucheta, et autres
Publié: (2026)

Communication-Efficient, 2D Parallel Stochastic Gradient Descent for Distributed-Memory Optimization
par: Devarakonda, Aditya, et autres
Publié: (2025)

Bed-Attached Vibration Sensor System: A Machine Learning Approach for Fall Detection in Nursing Homes
par: Bartz-Beielstein, Thomas, et autres
Publié: (2024)

Simplifying Hyperparameter Tuning in Online Machine Learning -- The spotRiverGUI
par: Bartz-Beielstein, Thomas
Publié: (2024)

Gradient descent provably escapes saddle points in the training of shallow ReLU networks
par: Cheridito, Patrick, et autres
Publié: (2022)

Two-phase Optimization of Binary Sequences with Low Peak Sidelobe Level Value
par: Bošković, Borko, et autres
Publié: (2021)

Adaptive Resampling with Bootstrap for Noisy Multi-Objective Optimization Problems
par: Budszuhn, Timo, et autres
Publié: (2025)

Optimal matching for sharing and linearity analysis
par: Amato, Gianluca, et autres
Publié: (2024)

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

Asynchronous Stochastic Gradient Descent with Decoupled Backpropagation and Layer-Wise Updates
par: Fokam, Cabrel Teguemne, et autres
Publié: (2024)

Multi-market value-stacking: Battery control for combined imbalance participation and non-uniform FCR bidding
par: Hendrickx, Celle, et autres
Publié: (2026)

Quantum-Inspired Weight-Constrained Neural Network: Reducing Variable Numbers by 100x Compared to Standard Neural Networks
par: Li, Shaozhi, et autres
Publié: (2024)

A Review of Bilevel Optimization: Methods, Emerging Applications, and Recent Advancements
par: Pujara, Dhaval, et autres
Publié: (2025)

Formalization of Optimality Conditions for Smooth Constrained Optimization Problems
par: Li, Chenyi, et autres
Publié: (2025)

A Relaxation Method for Nonsmooth Nonlinear Optimization with Binary Constraints
par: Xiao, Lianghai, et autres
Publié: (2026)