• Search: "Answer Set Programming"

Showing 21 - 40 of 3,452

21

Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events
Luca Laboccetta ; Elena Mastria ; Francesco Calimeri ; et al.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. :1-12

Answer Set Programming Stream Reasoning Knowledge Representation...
Academic journal
Save to List
22

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
Azzolini D. ; Riguzzi F.
Theory and Practice of Logic Programming. 25:1-32

algebraic model counting credal semantics exact and approximate in... hybrid probabilistic ans... statistical relational a... FOS: Computer and inform... …
Academic journal
Save to List
23

Panorama de Constraint Answer Set Programming
Garreau, Bryan ; Diéguez, Martín ; Monfroy, Eric ; et al.

Saint-Etienne, France Constraint Answer Set Pr... Answer Set Programming Constraint Programming Knowlege Representation NonMonotonic Reasoning …
Conference
Save to List
24

Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming
Ben Abdallah, Emna ; Folschette, Maxime ; Magnin, Morgan ; et al.
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022

Answer Set Programming (... logic programming attractors stable states dynamical analysis [INFO.INFO-MO]Computer S... …
Book
Save to List
25

EduBAI: An Educational Platform for Logic-Based Reasoning
Arampatzis, Dimitrios ; Doulgeraki, Maria ; Giannoulis, Michail ; et al.
15th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI). :464-472

Hersonissos, Greece Answer set programming Event Calculus Logic-based reasoning [INFO]Computer Science [...
Conference
Save to List
26

Epistemic Answer Set Programming
Su, Ezgi Iraz ; Istinye University ; Logique, Interaction, Langue et Calcul (IRIT-LILaC) ; et al.
European Conference on Logics in Artificial Intelligence (JELIA 2019). :608-626

Rende, Italy Autoepistemic equilibriu... World views Answer sets Stable models Modal logic S5 …
Conference
Save to List
27

Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements
Laborde, Romain ; Bulusu, Sravani Teja ; Wazan, Ahmad Samer ; et al.
34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019). :1610-1619

Limassol, Cyprus Answer set programming Network security require... Security zoning Integrity model [INFO.INFO-CR]Computer S... …
Conference
Save to List
28

Predicting weighted unobserved nodes in a regulatory network using Answer Set Programming
Le Bars, Sophie ; Bolteau, Mathieu ; Bourdon, Jérémie ; et al.

Regulatory network Answe... Regulatory network Answer Set Programming OMIC data integration Regulatory and Metabolic... [INFO.INFO-AI]Computer S... …
Electronic Resource
Save to List
29

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Mario Alviano ; Laura Giordano ; Daniele Theseider Dupré ; et al.
Journal of Logic and Computation. 34:1469-1499

FOS: Computer and inform... typicality I.2.4 Computer Science - Artif... many-valued logic 0102 computer and inform... …
Academic journal
Save to List
30

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics
Alviano M. ; Giordano L. ; Dupre D. T. ; et al.
Intelligenza Artificiale. 18:153-174

Preferential semantics 0202 electrical engineer... description logic many-valued logic gradual argumentation 0102 computer and inform... …
Academic journal
Save to List
31

Operating room scheduling via answer set programming: Improved encoding and test on real data
Dodaro, C ; Galatà, G ; Gebser, M ; et al.
Journal of Logic and Computation. 34:1556-1579

Answer Set Programming 0211 other engineering a... 0202 electrical engineer... healthcare scheduling 02 engineering and techn... …
Academic journal
Save to List
32

Symbolic Parameter Learning in Probabilistic Answer Set Programming
Azzolini D ; Gentili E ; Riguzzi F
Theory and Practice of Logic Programming. 24:698-715

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... probabilistic answer set... Logic in Computer Scienc...
Academic journal
Save to List
33

Fast Inference for Probabilistic Answer Set Programs Via the Residual Program
Azzolini D. ; Riguzzi F.
Theory and Practice of Logic Programming. 24:682-697

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... probabilistic answer set... Computer Science - Artif... 4. Education …
Academic journal
Save to List
34

Inferring Boolean Networks from Single-Cell Human Embryo Datasets
Bolteau, Mathieu ; Bourdon, Jérémie ; David, Laurent ; et al.

Boolean networks Answer Set Programming Human preimplantation de... scRNAseq modeling [INFO.INFO-BI]Computer S... Bioinformatics [q-bio.QM...
Electronic Resource
Save to List
35

Integrated Use of System Z for Preferred Answer Set Programming
Marco Wilhelm ; Andre Thevapalan ; Gabriele Kern-Isberner
Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 38, Iss 1 (2025)

preferred answer set pro... Technology conditional reasoning Electronic computers. Co... System Z QA75.5-76.95
Academic journal
Save to List
36

Inductive learning of robot task knowledge from raw data and online expert feedback
Meli, Daniele ; Fiorini, Paolo
Machine Learning. 114(4)

Academic journal
Save to List
37

LACE: A Logical Approach to Collective Entity Resolution
Bienvenu, Meghyn ; Cima, Gianluca ; Gutiérrez-Basulto, Víctor ; et al.
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2022, Philadelphia, United States

Philadelphia, United Sta... Collective Entity Resolu... Declarative Framework Logical Constraints Complexity Analysis Answer Set Programming …
Conference
Save to List
38

A SHACL-based Data Consistency Solution for Contract Compliance Verification
David, Robert ; Ahmeti, Albin ; Bushati, Geni ; et al.

Knowledge graphs Answer set programming Privacy protection GDPR Contract compliance veri... Data consistency …
Conference
Save to List
39

Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals
Dodaro Carmine ; Maratea Marco ; Ramacciati Nicola

Logic Programming, Healt...
Conference
Save to List
40

Elements for Weighted Answer-Set Programming
Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; et al.

ddc:004 Stable Models Probabilistic Logic Prog... Answer-Set Programming
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter