Showing 101 - 120 of 3,452

101

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
Heyninck, Jesse ; Arieli, Ofer ; Bogaerts, Bart
In Artificial Intelligence June 2024 331

Academic journal
Save to List
102

aspmc: New frontiers of algebraic answer set counting
Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael
In Artificial Intelligence May 2024 330

Academic journal
Save to List
103

Commonsense reasoning and automatic generation of IoT contextual knowledge: An Answer Set Programming approach
Rubio, Ana ; Cantarero, Rubén ; Margara, Alessandro ; et al.
In Internet of Things April 2024 25

Academic journal
Save to List
104

ASP for Construction and Validation of Regulatory Biological Networks
Rocca, Alexandre ; Mobilia, Nicolas ; Fanchon, Eric ; et al.
Logical Modeling of Biological Systems. :167-206

temporal logics temporal logic (LTL) regulatory biological ne... genetic regulatory netwo... computational tree logic... Boolean network
Book
Save to List
105

SOSAc-Reasoner: An ASP inference engine for automatic IoT context knowledge generation
Ana Rubio ; Rubén Cantarero ; David Villa ; et al.
SoftwareX, Vol 27, Iss, Pp 101766-(2024)

QA76.75-76.765 Answer Set Programming Internet of Things Smart environments Computer software Commonsense reasoning
Academic journal
Save to List
106

Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach
Mustafa F. Abdelwahed ; Mustafa M. Kamal ; Samir G. Sayed
IEEE Access, Vol 11, Pp 84772-84784 (2023)

logic programming Cybersecurity malware behaviour detect... emulation Electrical engineering.... artificial intelligence
Academic journal
Save to List
107

SocACL: An ASP-Based Access Control Language for Online Social Networks
Caprin, Edward ; Zhang, Yan ; Western Sydney University ; et al.
14th International Conference on Communications and Multimedia Security (CMS). :207-210

Magdeburg, Germany Answer Set Programming Online Social Networks privacy access control Attribute-Based Access C...
Conference
Save to List
108

Combining equilibrium logic and dynamic logic
Fariñas del Cerro, Luis ; Herzig, Andreas ; Su, Ezgi Iraz ; et al.
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013). :304-316

Corunna, Spain Answer-set programming Here-and-there logic Equilibrium logic Propositional dynamic lo... Dynamic logic of proposi...
Conference
Save to List
109

Towards a qualitative theory of the interruption of eating behavior change
Dague, Philippe ; Muller, Laurent ; Paulevé, Loïc ; et al.
In Journal of Theoretical Biology 21 March 2024 581

Academic journal
Save to List
110

DValidator: An approach for validating dependencies in build configurations
Macho, Christian ; Oraze, Fabian ; Pinzger, Martin
In The Journal of Systems & Software March 2024 209

Academic journal
Save to List
111

An answer set programming-based implementation of epistemic probabilistic event calculus
D'Asaro, Fabio Aurelio ; Bikakis, Antonis ; Dickens, Luke ; et al.
In International Journal of Approximate Reasoning February 2024 165

Academic journal
Save to List
112

Syntactic ASP forgetting with forks
Aguado, Felicidad ; Cabalar, Pedro ; Fandinno, Jorge ; et al.
In Artificial Intelligence January 2024 326

Academic journal
Save to List
113

An abstract view on optimizations in propositional frameworks
Lierler, Yuliya
Annals of Mathematics and Artificial Intelligence. :1-37

Academic journal
Save to List
114

Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
Khaled, Tarek ; Benhamou, Belaid ; Trinh, Van-Giang
Annals of Mathematics and Artificial Intelligence. 91(5):713-750

Academic journal
Save to List
115

Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
Videla, Santiago ; Guziolowski, Carito ; Eduati, Federica ; et al.
CMSB - 10th Computational Methods in Systems Biology 2012. :342-361

London, United Kingdom Logic modeling; answer s... [INFO.INFO-BI]Computer S... Bioinformatics [q-bio.QM... [SDV.BIBS]Life Sciences... Quantitative Methods [q-...
Conference
Save to List
116

Concretizing the Process Hitting into Biological Regulatory Networks
Folschette, Maxime ; Paulevé, Loïc ; Inoue, Katsumi ; et al.
Computational Methods in Systems Biology. :166-186

London, United Kingdom qualitative modelling model abstraction interaction graph René Thomas' parameters answer set programming
Conference
Save to List
117

ASP-Based Declarative Process Mining
Chiariello, Francesco ; Maggi, Fabrizio Maria ; Patrizi, Fabio
Proceedings of the AAAI Conference on Artificial Intelligence. 36:5539-5547

Answer set programming process mining business process managem... 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
118

LACE: A Logical Approach to Collective Entity Resolution
Bienvenu M. ; Cima Gianluca ; Gutierrez-Basulto V.
41st ACM SIGMOD/PODS International Conference on Management of Data 2022

0202 electrical engineer... answer set programming collective entity resolu... complexity analysis declarative framework logical constraints
Academic journal
Save to List
119

Learning the Parameters of Probabilistic Answer Set Programs
Azzolini D. ; Bellodi E. ; Riguzzi F.
Lecture Notes in Computer Science ISBN: 9783031556296

Parameter Learning Probabilistic Answer Set... Statistical Relational A...
Book
Save to List
120

Solver fast prototyping for reduct-based ELP semantics
Costantini S. ; Formisano A.

Answer Set Programming Solvers Prototyping
Conference
Save to List

Filter