• Search: "Answer Set Programming"

Showing 201 - 220 of 3,452

201

Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
Damiano Azzolini ; Elena Bellodi ; Fabrizio Riguzzi
Lecture Notes in Computer Science ISBN: 9783031271809

Probabilistic Answer Set... Credal Semantics Statistical Statements Approximate Inference
Book
Save to List
202

Generative Datalog and Answer Set Programming – Extended Abstract
Alviano M.
Lecture Notes in Computer Science ISBN: 9783031436185

stable model semantics Datalog non-measurable sets Answer Set Programming probabilistic reasoning
Book
Save to List
203

ASP-based Axiom Pinpointing for Description Logics
Huitzil I. ; Mazzotta G. ; Penaloza R. ; et al.

Axiom-Pinpointing, Non-s... ASP axiom-pinpointing consequence-based method... Horn DLs non-standard reasoning
Conference
Save to List
205

Short Boolean Formulas as Explanations in Practice
Reijo Jaakkola ; Tomi Janhunen ; Antti Kuusisto ; et al.
Lecture Notes in Computer Science ISBN: 9783031436185

FOS: Computer and inform... Computer Science - Logic... Computer Science - Machi... Computer and information... I.2.4 Answer Set Programming …
Book
Save to List
206

MAP Inference in Probabilistic Answer Set Programs
Damiano Azzolini ; Elena Bellodi ; Fabrizio Riguzzi
Lecture Notes in Computer Science ISBN: 9783031271809

Probabilistic Answer Set...
Book
Save to List
207

Inductive Logic Programming for Transparent Alignment with Multiple Moral Values
Celeste Veronese ; Daniele Meli ; Filippo Bistaffa ; et al.

Ethical Decision Making Explainable AI Answer set programming Inductive logic programm...
Conference
Save to List
208

Summary of Statistical Statements in Probabilistic Logic Programming
Azzolini D. ; Bellodi E. ; Riguzzi F.

Probabilistic Answer Set...
Conference
Save to List
209

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
Piazza C. ; Romanello R. ; Wille R.

Answer Set Programming Clifford+T Synthesis CNOT Minimization Quantum Circuit Synthesi...
Conference
Save to List
210

Learning Logic Specifications for Soft Policy Guidance in POMCP
Giulio Mazzi ; Daniele Meli ; Alberto Castellini ; et al.

FOS: Computer and inform... Computer Science - Machi... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... Partially Observable Mar... …
Academic journal
Save to List
211

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
Calimeri F. ; Ianni G. ; Pacenza F. ; et al.
Lecture Notes in Computer Science ISBN: 9783031520372

Answer Set Programming Overgrounding Stream Reasoning Knowledge Representation...
Book
Save to List
212

Towards explainable data-to-text generation
Palu A. D. ; Dovier A. ; Formisano A.

Answer Set Programming Data-to-text Explainable AI
Conference
Save to List
213

Binary Discovery of Declarative Business Processes with ASP Preferences
Federico Chesani ; Chiara Di Francescomarino ; Chiara Ghidini ; et al.

Binary Discovery, Declar...
Conference
Save to List
214

Scheduling Periodic Treatments via Answer Set Programming
Caruso S. ; Dodaro C. ; Galata G. ; et al.

Answer Set Programming Scheduling Digital Health
Conference
Save to List
215

A simple proof-theoretic characterization of Stable Models
Giunchiglia Enrico ; Maratea M. ; Mochi M.

answer set programming difference logic Logic programming stable models
Conference
Save to List
216

A Declarative Approach to Contrast Pattern Mining
Francesca Alessandra Lisi ; Gioacchino Sterlicchio ; Dovier A., Montanari A., Orlandini A. ; et al.
Lecture Notes in Computer Science ISBN: 9783031271809

Digital Forensics Contrast Pattern Mining Answer Set Programming
Book
Save to List
217

Domain-agnostic procedural content generation can be done declaratively
Angilica D. ; Germano S. ; Ianni G.

Game Content Generation Procedural Content Gener... Answer Set Programming Computational Intelligen... Artificial Intelligence... Declarative Content Spec...
Conference
Save to List
218

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP
Piazza C. ; Romanello R.

Answer Set Programming Clifford+T Synthesis CNOT Minimization Quantum Circuit Synthesi... Topological Constraint
Conference
Save to List
219

Towards ILP-Based LTLf Passive Learning
Ielo, Antonio ; Law, Mark ; Fionda, Valeria ; et al.

Linear temporal logic ov... Answer Set Programming Learning from answer set...
Conference
Save to List
220

A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs
Azzolini D.
Lecture Notes in Computer Science ISBN: 9783031492983

Constrained Optimization Parameter Learning Probabilistic Answer Set...
Book
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter