• Suche: "Logic programming"

Treffer 181 - 200 von 19.251

181

Building supply-chain resilience: an artificial intelligence-based technique and decision-making framework.
Belhadi, Amine ; Kamble, Sachin ; Fosso Wamba, Samuel ; et al.
International Journal of Production Research. Jul2022, Vol. 60 Issue 14, p4487-4507. 21p. 1 Diagram, 9 Charts, 2 Graphs.

ARTIFICIAL intelligence DECISION making LOGIC programming FUZZY algorithms FUZZY systems
Fachzeitschrift
Zu den Favoriten
182

Conversion of the Spanish WordNet databases into a Prolog-readable format
Julián-Iranzo, Pascual ; Rigau, Germán ; Sáenz-Pérez, Fernando ; et al.
Language Resources and Evaluation. :1-27

Fachzeitschrift
Zu den Favoriten
183

Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach
Bueff, Andreas ; Belle, Vaishak
Machine Learning. 113(7):4579-4614

Fachzeitschrift
Zu den Favoriten
184

Teaching and learning logic programming in virtual worlds using interactive microworld representations.
Vosinakis, Spyros ; Anastassakis, George ; Koutsabasis, Panayiotis
British Journal of Educational Technology. Jan2018, Vol. 49 Issue 1, p30-44. 15p. 2 Color Photographs, 3 Diagrams, 3 Charts, 5 Graphs.

Computer programming edu... Teaching aids Academic motivation Problem solving Logic programming Three-dimensional displa...
Fachzeitschrift
Zu den Favoriten
185

A Semantic Characterization for ASP Base Revision
Garcia, Laurent ; Lefèvre, Claire ; Stéphan, Igor ; et al.
Journal of Artificial Intelligence Research. 66:989-1029

ACM: I.: Computing Metho... I.2: ARTIFICIAL INTELLIG... I.2.3: Deduction and The... I.2.3.3: Logic programmi... I.2.3.6: Nonmonotonic re... [INFO.INFO-AI]Computer S... …
Zeitschrift
Zu den Favoriten
186

Formalized meta-theory of sequent calculi for linear logics
Chaudhuri, Kaustuv ; Lima, Leonardo ; Reis, Giselle ; et al.
Theoretical Computer Science. 781:24-38

Linear logic sequent calculus mechanized meta-theory logic programming proof theory [INFO.INFO-LO]Computer S... …
Zeitschrift
Zu den Favoriten
187

A logic-based relational learning approach to relation extraction: The OntoILPER system
Lima, Rinaldo ; Espinasse, Bernard ; Freitas, Fred ; et al.
Engineering Applications of Artificial Intelligence. 78:142-157

Relation Extraction Rule Induction Information Extraction Inductive Logic Programm... Relational Learning [INFO.INFO-TT]Computer S... …
Zeitschrift
Zu den Favoriten
188

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
Gebser, Martin ; Giunchiglia, Enrico ; Maratea, Marco ; et al.
In Artificial Intelligence March 2025 340

Fachzeitschrift
Zu den Favoriten
189

Hybrid satisfiability methods for the inference of boolean regulations controlling metabolic networks
Méthodes de satisfiabilité hybrides pour l'inférence de régulations booléennes contrôlant des réseaux métaboliques
Thuillier, Kerian ; Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss) ; Centre Inria de l'Université de Rennes ; et al.
Bioinformatics [q-bio.QM]. Université de Rennes, 2024. English. ⟨NNT : 2024URENS032⟩

Combinatorial and linear... Logic programming Regulated metabolic netw... Model synthesis Hybrid dynamic system Systems biology …
Dissertation
Zu den Favoriten
190

Multi-granular legal information fusion with adversarial compensation: A hierarchical and logic-aware framework for robust case retrieval.
Meng, Chunyun ; Tang, Cheng ; Todo, Yuki ; et al.
Knowledge-Based Systems. Sep2025, Vol. 325, pN.PAG-N.PAG. 1p.

LOGIC programming JURISPRUDENCE CONTEXTUALISM (Philosoph... SOFTWARE frameworks
Fachzeitschrift
Zu den Favoriten
191

CNL2ASP: Converting Controlled Natural Language Sentences into ASP
CARUSO, SIMONE ; DODARO, CARMINE ; MARATEA, MARCO ; et al.
Theory and Practice of Logic Programming. 24:196-226

FOS: Computer and inform... logic programming Computer Science - Logic... Computer Science - Compu... Artificial Intelligence... Computer Science - Artif... …
Fachzeitschrift
Zu den Favoriten
192

Modeling PU learning using probabilistic logic programming
Verreet, Victor ; De Raedt, Luc ; Bekker, Jessa
Machine Learning. 113:1351-1372

Technology Science & Technology 1702 Cognitive Sciences Modeling Verilearn Weak supervision …
Fachzeitschrift
Zu den Favoriten
193

A Generalization of Beall’s Off-Topic Interpretation
Yang Song ; Hitoshi Omori ; Jonas R. Becker Arenhart ; et al.
Studia Logica. 112:893-932

Interpretation (philosop... Nonmonotonic Reasoning Abstract Interpretation Generalization Linguistics Epistemology …
Fachzeitschrift
Zu den Favoriten
194

Inferring non-failure conditions for declarative programs
Hanus, Michael
In Science of Computer Programming May 2026 250

Fachzeitschrift
Zu den Favoriten
195

How Well Students Perceive Their Understanding of Logic Programming Course Content?
Lovrenčić, Sandra ; Sekovanić, Vlatka
2023 46th MIPRO ICT and Electronics Convention (MIPRO). :824-828

learning analytics perceived understanding logic programming course
Fachzeitschrift
Zu den Favoriten
196

Integrating Generative Artificial Intelligence in Clinical Dentistry: Enhancing Diagnosis, Treatment Planning, and Procedural Precision Through Advanced Knowledge Representation and Reasoning
Hossam Dawa ; Arthur Rodriguez Gonzalez Cortes ; Carlos Ribeiro ; et al.
Digital, Vol 5, Iss 3, p 44 (2025)

digital dentistry generative artificial in... entropy knowledge representation... clinical decision suppor... logic programming …
Fachzeitschrift
Zu den Favoriten
197

Algorithms for Smart Cities
Cerasela Crişan, Gloria ; Nechita, Elena

carsharing station location modelin... genetic algorithm fix stations and free st... deep learning intelligent monitoring …
E-Book
Zu den Favoriten
198

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
LOPSTR (SYMPOSIUM) (34TH : 2024 : MILAN, ITALY) ; JULIANA BOWLES, Editor

E-Book
Zu den Favoriten
199

INDUCTIVE LOGIC PROGRAMMING
ILP (CONFERENCE) (31ST: 2022: WINDSOR GREAT PARK, UK) ; STEPHEN H. MUGGLETON, Editor

E-Book
Zu den Favoriten
200

A Case-Base Approach to Workforces’ Satisfaction Assessment
Fernandes, Ana ; Vicente, Henrique ; Figueiredo, Margarida ; et al.
10th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS). :191-206

Vienna, Austria Human resources manageme... Logic programming Case-based reasoning Knowledge representation... Decision support systems …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter