Results 31 to 40 of about 1,544,053 (248)

Towards Ethical Machines Via Logic Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves.
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi   +2 more
doaj   +1 more source

Nationwide Survey of Association Between Fever and Epileptic Seizure in CDKL5 Deficiency Disorder Revealed Therapeutic Implications

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective CDKL5 deficiency disorder (CDD) is a rare, severe developmental and epileptic encephalopathy. There is a pressing need to develop effective and sustainable therapeutic strategies. We aimed to investigate the causal association between febrile episodes and epileptic seizures for therapeutic implications in CDD patients.
Siyi Wang, Jialin Du, Jinghui Liu, Dongmei Hu, Hongxin Wang, Xiaoxiao Man, Lehong Gao, Shimin Hu, Xianghong Meng, Hongyang Zhao, Minjing Hu, Yingxue Yang, Zhiqi Xiong, Liankun Ren   +13 more
wiley   +1 more source

Explainability through argumentation in logic programming [PDF]

, 2021
The paper discusses how explainability can be provided through logic programming and argumentation. In particular, a real case study is considered – the CrossJustice project – together with a ready-to-use technology—namely Arg2P, which seamlessly ...
Roberta Calegari, Marco Billi, Giovanni Sartor, Giuseppe Pisano, Giuseppe Contissa, Galileo Sartor   +5 more
core   +1 more source

Extending Coinductive Logic Programming with Co-Facts [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona, Francesco Dagnino, Elena Zucca   +2 more
doaj   +1 more source

Mobile Learning Tools to Support in Teaching Programming Logic and Design: A Systematic Literature Review

Informatics in Education, 2023
Learning programming logic remains an obstacle for students from different academic fields. Considered one of the essential disciplines in the field of Science and Technology, it is vital to investigate the new tools or techniques used in the teaching ...
Regina Célia Coelho, Matheus F. P. Marques, Tiago de Oliveira   +2 more
doaj   +1 more source

Patients improve, patterns persist: longitudinal stability of RA joint involvement patterns

Arthritis Care &Research, Accepted Article.
Objective Rheumatoid arthritis is a heterogeneous disease. Data‐driven approaches, from synovial histology to joint involvement patterns (JIPs), have sought to define clinically meaningful subgroups. Whether these subgroups represent stable phenotypes or transient disease states remains unclear.
Tjardo Maarseveen, Yasuo Nagafuchi, Kristina Lend, Seyam Alemyar, Herman Kasper Glas, Gerdur Gröndal, Bjorn Gudbjornsson, Espen A. Haavardsholm, Kim Hørslev Petersen, Jon Lampa, Merete Lund Hetland, Dan Nordström, Mike Nurmohamed, Mikkel Østergaard, Anna Rudin, Marte Schrumpf Heiberg, Tuulikki Sokka‐Isler, Till Uhlig, Josien Veris‐van Dieren, Ronald van Vollenhoven, Tom Huizinga, Marcel JT Reinders, Sytske Anne Bergstra, Erik van den Akker, Rachel Knevel   +24 more
wiley   +1 more source

Proceedings 39th International Conference on Logic Programming

, 2023
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023.
Fabiano, Francesco, Mileo, Alessandra, Calegari, Roberta, Garcez, Artur D'Avila, Dodaro, Carmine, Pontelli, Enrico, Gaggl, Sarah, Russo, Alessandra, Costantini, Stefania, Toni, Francesca, Hatschka, Christian; orcid:, Toni F., Pontelli E., Garcez A., Kowalski, Robert, Fabiano, F., Costantini S., Bhatt, Mehul, Dodaro C., Gaggl S., Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni, Eiter, Thomas; orcid:, Suchan, Jakob,, Ciabattoni, Agata, Fabiano F., Mileo A., Suchan, Jakob, Bhatt, Mehul,, Davila, Jacinto, Varadarajan, Srikrishna, Calegari R., Varadarajan, Srikrishna,, Russo A.   +32 more
core   +1 more source

The content and reporting completeness of physical therapist‐led interventions for glenohumeral osteoarthritis: a systematic review

Arthritis Care &Research, Accepted Article.
Objectives This study synthesised the content and reporting completeness of published physical therapist‐led interventions for glenohumeral osteoarthritis (GHOA). Methods This systematic review undertook electronic database searches in PubMed, EMBASE, Cochrane, CINAHL and PEDro (until June 2025) for any peer‐reviewed articles/studies describing ...
Daha G Muhammad, Nadine E Foster, Mickylle Pelaez, Karina O'Leary, Ilana N Ackerman, Jonathan G Quicke   +5 more
wiley   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics [PDF]

, 2013
A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework.
Brandano, Sergio
core   +1 more source