• Search: "Answer set programming"

Showing 81 - 100 of 3,452

81

Scheduling pre-operative assessment clinic with answer set programming
Caruso, Simone ; Galatà, Giuseppe ; Maratea, Marco ; et al.
Journal of Logic and Computation. 34:465-493

pre-operative assessment... Answer set programming digital health 4. Education Healthcare Pre-operative assessment... …
Academic journal
Save to List
82

Application Placement with Constraint Relaxation
AZZOLINI, DAMIANO ; DUCA, MARCO ; GALLO, FRANCESCO ; et al.

answer set programming application management cloud-edge computing distributed computing logic programming applic...
Academic journal
Save to List
83

A Logic Programming Approach to Repairing SHACL Constraint Violations
Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; et al.

SHACL Shapes Constraint Langua... Database Repairs Knowledge Graphs Semantic Web Answer Set Programming
Academic journal
Save to List
84

ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
Solda D. ; Fabiano F. ; Dovier A.
Journal of Logic and Computation

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... Answer Set Planning Answer Set Programming Hierarchical Planning …
Academic journal
Save to List
85

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
Baget, Jean-François ; Garcia, Laurent ; Garreau, Fabien ; et al.
Annals of Mathematics and Artificial Intelligence. 82(1-3):3-41

Decidability Ontologies Existential rules Answer set programming [INFO.INFO-AI]Computer S... Artificial Intelligence...
Journal
Save to List
86

Cadre déclaratif modulaire d'évaluation d'actions selon différents principes éthiques
Berreby, Fiona ; Bourgne, Gauvain ; Ganascia, Jean-Gabriel ; et al.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle. 32(4):479-518

event calculus reasoning about actions... answer set programming computational ethics raisonnement sur l'actio... calcul d'événements …
Journal
Save to List
87

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Calabar, Pedro ; Fandinno, Jorge ; Fariñas del Cerro, Luis ; et al.
Theory and Practice of Logic Programming. :390-405

Aggregates Partial funsctions Equilibrium logic Answer set programming [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Journal
Save to List
88

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming
Ben Abdallah, Emna ; Folschette, Maxime ; Roux, Olivier ; et al.
IEEE International Conference on Bioinformatics and Biomedicine (BIBM). :281-285

Washington, D.C., United... Answer Set Programming A... Biological Regulatory Ne... Network Analysis stable states fixed points …
Conference
Save to List
89

Epistemic Equilibrium Logic (IJCAI 2015)
Fariñas del Cerro, Luis ; Herzig, Andreas ; Su, Ezgi Iraz ; et al.
24th International Joint Conference on Artificial Intelligence (IJCAI 2015). :2964-2970

Buenos Aires, Argentina Modal logic Answer-set programming (... Equilibrium logic Epistemic specifications [INFO.INFO-AI]Computer S... …
Conference
Save to List
90

Epistemic Logic Programs: A Study of Some Properties
Costantini S. ; Formisano A.
Lecture Notes in Computer Science ISBN: 9783031157066

FOS: Computer and inform... Artificial Intelligence... Computer Science - Artif... answer set programming epistemic logic programs epistemic splitting …
Book
Save to List
91

EzASP – Making Learning Answer Set Programming Easier: Thesis Report
Henriques, Ramiro Miguel Ribeiro ; Knorr, Matthias ; Gonçalves, Ricardo ; et al.

Answer Set Programming Methodology Structure Learnability Domínio/Área Científica:...
Save to List
92

Advanced tools and methods for treewidth-based problem solving
Hecher, Markus ; Hecher, Markus
Frontiers in Artificial Intelligence and Applications ISBN: 9781643683447

ddc:004 ddc:510 Lower Bounds ddc:600 Computational Complexity Dynamic Programming …
Academic journal
Save to List
93

Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance
Marco Wilhelm ; Lars-Phillip Spiegel ; Gabriele Kern-Isberner
Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 37 (2024)

preferred answer set pro... Technology tolerance conditional reasoning Electronic computers. Co... preferential reasoning …
Academic journal
Save to List
94

Efficient compliance checking of RDF data
Livio Robaldo ; Francesco Pacenza ; Jessica Zangari ; et al.
Journal of Logic and Computation. 33:1753-1776

compliance checking logi... 0202 electrical engineer... compliance checking, rdf... 06 humanities and the ar... 02 engineering and techn... 16. Peace & justice …
Academic journal
Save to List
95

Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
Francesco Cauteruccio ; Giorgio Terracina
Theory and Practice of Logic Programming. 24:313-343

FOS: Computer and inform... Artificial Intelligence... high-utility pattern min... answer set programming facets advanced utility functio... …
Academic journal
Save to List
96

Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
MATTEO CARDELLINI ; PAOLO DE NARDI ; CARMINE DODARO ; et al.
Theory and Practice of Logic Programming. 24:344-367

FOS: Computer and inform... Computer Science - Logic... answer set programming rehabilitation schedulin... healthcare 0202 electrical engineer... …
Academic journal
Save to List
97

On Establishing Robust Consistency in Answer Set Programs
ANDRE THEVAPALAN ; GABRIELE KERN-ISBERNER
Theory and Practice of Logic Programming. 23:1094-1127

FOS: Computer and inform... Computer Science - Artif... Conflicts Contradictions Interactions 0102 computer and inform... …
Academic journal
Save to List
98

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Calimeri F. ; Ianni G. ; Pacenza F. ; et al.
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-9

FOS: Computer and inform... I.2.4 Answer Set Programming Logic Programming Computer Science - Artif... 68T30 …
Academic journal
Save to List
99

Declarative AI design in Unity using Answer Set Programming
Angilica, Denise ; Ianni, Giovambattista ; Pacenza, Francesco
2022 IEEE Conference on Games (CoG). :417-424

Answer Set Programming,... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
100

Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
Fabio Aurelio D'Asaro ; Paolo Baldi ; Giuseppe Primiero
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. :661-665

Logic programming, answe... 0202 electrical engineer... KR and autonomous agents... Logic programming, answe... Uncertainty, vagueness,... 0102 computer and inform... …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter