Search Results - Programming techniques. Logic programming

A Critical Review of Inductive Logic Programming Techniques for Explainable AI.

Authors: Zhang Z Yilmaz L Liu B

Source: IEEE transactions on neural networks and learning systems [IEEE Trans Neural Netw Learn Syst] 2024 Aug; Vol. 35 (8), pp. 10220-10236. Date of Electronic Publication: 2024 Aug 05.

Publication Type: Journal Article

Journal Info: Publisher: Institute of Electrical and Electronics Engineeers Country of Publication: United States NLM ID: 101616214 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2162-2388 (Electronic) Linking ISSN: 2162237X NLM ISO Abbreviation: IEEE Trans Neural Netw Learn Syst Subsets: PubMed not MEDLINE; MEDLINE

A Critical Review of Inductive Logic Programming Techniques for Explainable AI

Authors: Zhang, Zheng Xu, Liangliang Yilmaz, Levent et al.

Index Terms: Computer Science - Machine Learning, text

URL: http://arxiv.org/abs/2112.15319

Analogies between Logic Programming and Linguistics for Developing Students' Understanding of Argumentation Texts

Authors: Ragonis, Noa Shilo, Gila

Source: Journal of Information Technology Education: Research. 2018 17:549-575.

Peer Reviewed: Y

Page Count: 27

Descriptors: Persuasive Discourse, Computer Science, Inferences, Student Attitudes, Linguistics, Logical Thinking, Grade 11, High School Students, Control Groups, Experimental Groups, Intellectual Disciplines, Correlation, Difficulty Level, Programming Languages, Scaffolding (Teaching Technique), Interdisciplinary Approach, Teaching Methods, Thinking Skills, Computer Science Education, Foreign Countries

Geographic Terms: Israel

Access URL: https://www.jite.org/documents/Vol17/JITEv17ResearchP549-575Ragonis4897.pdf

A Logic Programming Testbed for Inductive Thought and Specification.

Authors: Neff, Norman D.

Peer Reviewed: N

Page Count: 5

Descriptors: Classroom Techniques, Computer Science Education, Higher Education, Induction, Mathematics Education, Programming Languages, Thinking Skills

Boolean Matrix Logic Programming

Authors: Ai, Lun Muggleton, Stephen H.

Index Terms: Computer Science - Symbolic Computation, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2408.10369

Simulating Petri nets with Boolean Matrix Logic Programming

Authors: Ai, Lun Muggleton, Stephen H. Liang, Shi-Shun et al.

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation, text

URL: http://arxiv.org/abs/2405.11412

Prolog programming techniques

Authors: BRNA, PAUL BUNDY, ALAN DODD, TONY et al.

Source: Instructional Science, 1991 Jan 01. 20(2/3), 111-133.

Access URL: https://www.jstor.org/stable/23369893

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Authors: Patricia M. Hill David S. Warren

Resource Type: eBook.

Subjects: Computer science, Compilers (Computer programs), Computer programming, Computer science—Mathematics, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, MATHEMATICS / Applied

DNA logic programming: From concept to construction

Authors: Yi Zhang Ning Hu Jiajie Xu et al.

Source: View, Vol 5, Iss 1, Pp n/a-n/a (2024)

Subject Terms: biological storage, circuit, gene edition, logic programming, Biotechnology, TP248.13-248.65, Medical technology, R855-855.5

File Description: electronic resource

Relation: https://doaj.org/toc/2688-3988; https://doaj.org/toc/2688-268X

Access URL: https://doaj.org/article/509ccc935996426cb7d39b91669de9d2

Técnicas de Optimización Basadas en Lógica para Problemas Discretos/Continuos en Ingeniería de Procesos

Additional Titles: Logic Based Programming Techniques for Discrete/Continuous Problems in Process System Engineering

Authors: Grossmann, Ignacio Emilio Bandoni, Alberto Aguirre,Pio Antonio et al.

Index Terms: ingeniería procesos, optimización, programación lógica, programación disyuntiva, process engineering, optimization, logic programming, disjunctive programming, info:ar-repo/semantics/tesis doctoral, Thesis, info:eu-repo/semantics/doctoralThesis

URL: http://bibliotecavirtual.unl.edu.ar:8180/tesis/handle/1/82

Concurrent Logic Language GHC and Its Programming Techniques / 並列論理型言語GHCとそのプログラミング技術 (<特集>「第五世代コンピュータ」)

Authors: Akira OKUMURA Hiroshi FUJITA Kazunori UEDA et al.

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1989, 4(3):258

ANALYSIS OF SPATIAL COMPOSITION PROCESS BY INDUCTIVE LOGIC PROGRAMMING : Extracting peculiar rules in process of spatial composition on space montage technique / 帰納論理プログラミングを用いた空間構成過程の解析 : 居住空間構成法による空間構成過程における固有な規則の抽出

Authors: Noritoshi SUGIURA Shigeyuki OKAZAKI 岡崎 甚幸 et al.

Source: 日本建築学会計画系論文集 / Journal of Architecture and Planning (Transactions of AIJ). 2001, 66(546):141

Implementation of the Knowledge of Engineering Mechanics Using Logic Programming Technique : Development of an Interactive Software System / 論理プログラミング技法を用いた材料力学の知識の計算機への実装 : 対話形システム開発の初期研究

Authors: Shuichi FUKUDA 福田 収一

Source: 日本機械学会論文集 A編 / Transactions of the Japan Society of Mechanical Engineers Series A. 1985, 51(461):226

MLC programming techniques in a memory device

Logic Programming in Multi-Agent Systems(Current Trends in Logic-Based Inference Techniques) / マルチエージェントシステムにおける論理プログラミング(<特集>論理に基づく推論研究の動向)

Authors: Fariba SADRI Ken SATOH サドリ ファリーバ et al.

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2010, 25(3):429

Answer Set Programming(Current Trends in Logic-Based Inference Techniques) / 解集合プログラミング(<特集>論理に基づく推論研究の動向)

Authors: Chiaki SAKAMA Katsumi INOUE 井上 克巳 et al.

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2010, 25(3):368

Proceedings 38th International Conference on Logic Programming

Authors: Lierler, Yuliya Morales, Jose F. Dodaro, Carmine et al.

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2208.02685

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Logic programming tools and techniques for imperative program verification

Authors: O'Neill, Ian Mark

Subject Terms: 005, Software error checking

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380044

Analysis of Ship Accidents due to Marine Engine Failure - Application of Logic Programming Technique (LPT)

Authors: Kazuhiko Hasegawa Zobair Ibn Awal

Source: Marine Engineering. 2015, 50(6):744