• Search: "Answer Set Programming"

Showing 221 - 240 of 3,452

221

A Direct ASP Encoding for Declare
Francesco Chiariello ; Valeria Fionda ; Antonio Ielo ; et al.
Lecture Notes in Computer Science ISBN: 9783031520372

Process Mining Answer Set Programming Declare
Book
Save to List
222

Comparing Planning Domain Models Using Answer Set Programming
Chrpa L. ; Dodaro C. ; Maratea M. ; et al.
Lecture Notes in Computer Science ISBN: 9783031436185

Domain Model Answer Set Programming Automated Planning
Book
Save to List
224

Fast Prototyping of a Solver for Reduct-based ELP Semantics
Costantini S. ; Formisano A.

Answer Set Programming ELP semantics Epistemic Logic Programs
Conference
Save to List
225

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)
Angilica D. ; Ianni G. ; Pacenza F. ; et al.
Lecture Notes in Computer Science ISBN: 9783031248405

Declarative logic, Answe...
Book
Save to List
226

Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria
Scanu M. ; Mochi M. ; Dodaro C. ; et al.

Answer Set Programming Scheduling Healthcare
Conference
Save to List
227

Inference in Probabilistic Answer Set Programming Under the Credal Semantics
Damiano Azzolini ; Fabrizio Riguzzi
Lecture Notes in Computer Science ISBN: 9783031475450

4. Education Second Level Algebraic M... Probabilistic Answer Set... Inference
Book
Save to List
228

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon A. ; Gavanelli M. ; Zanotti F.

Answer Set Programming Answer Set Visualization LaTeX Vector Graphics
Conference
Save to List
229

Declarative Sequential Pattern Mining in ASP
Guyet, Thomas ; Guyet, Thomas

[INFO.INFO-AI] Computer... Answer Set Programming Timed sequences Satisfiability modulo th...
Conference
Save to List
230

Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs
Azzolini D. ; Bellodi E. ; Riguzzi F.

Probabilistic Answer Set...
Conference
Save to List
231

Encoding Hard String Problems with Answer Set Programming
Köppl, Dominik ; Dominik Köppl

optimization problems ddc:004 NP-hard string problems answer set programming MAX-SAT encoding
Conference
Save to List
232

Advancements in xASP, an XAI System for Answer Set Programming
Alviano M. ; Trieu L. L. ; Son T. ; et al.

eXplainable Artificial I... Answer Set Programming Reasoning Knowledge Representation
Conference
Save to List
233

Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
Kaiser, Pascal ; Thevapalan, Andre ; Roidl, Moritz ; et al.

Optimization Answer Set Programming Dewey Decimal Classifica... Layout Planning Order Picking Warehousing …
Book
Save to List
234

Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
Katzouris, Nikos ; Paliouras, Georgios ; Nikos Katzouris and Georgios Paliouras

Answer Set Programming Event Pattern Learning ddc:004
Conference
Save to List
235

On the impact of sensors update in declarative AI for videogames
Angilica D. ; De Giorgio G. M. ; Ianni G.

Answer Set Programming Unity Game Design Declarative Methods Knowledge Representation...
Conference
Save to List
236

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
Bertagnon A. ; Gavanelli M.

Answer Set Programming CLP(FD) Euclidean Traveling Sale... Experimental Comparison...
Conference
Save to List
237

Introducing ASP recipes and ASP Chef
Alviano M. ; Cirimele D. ; Rodriguez Reiners L. A.

UX design knowledge visualization modular programming answer set programming
Conference
Save to List
238

Argumentative Reasoning in ASPIC+ under Incomplete Information
Odekerken, Daphne ; Lehtonen, Tuomo ; Borg, AnneMarie ; et al.

Argumentation answer set programming Logic programming Taverne
Book
Save to List
239

A New Approach to Clausification for Intuitionistic Propositional Logic
Fiorentini C. ; Ferrari M. ; A. Dovier, A. Formisano ; et al.

Answer Set Programming countermodels constructi... Intuitionistic Propositi...
Conference
Save to List
240

Mining Contrast Sequential Patterns with ASP
Lisi F. A. ; Sterlicchio G. ; Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini ; et al.

Declarative Pattern Mini... Contrast Sequential Patt... Answer Set Programming
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter