ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
2006 IEEE International High Level Design Validation and Test Workshop
◽
10.1109/hldvt.2006.320005
◽
2006
◽
Cited By ~ 6
Author(s):
Hsiou-wen Hsueh
◽
Kerstin Eder
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Functional Coverage
Download Full-text
Related Documents
Cited By
References
ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography
AI Communications
◽
10.3233/aic-1996-9401
◽
1996
◽
Vol 9
(4)
◽
pp. 157-206
◽
Cited By ~ 2
Author(s):
Nada Lavrač
◽
Irene Weber
◽
Darko Zupanič
◽
Dimitar Kazakov
◽
Olga Štěpánková
◽
...
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Programming Systems
Download Full-text
Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
◽
10.1109/coase.2018.8560541
◽
2018
◽
Cited By ~ 2
Author(s):
Yingbing Hua
◽
Bjorn Hein
Keyword(s):
Logic Programming
◽
Concept Learning
◽
Inductive Logic Programming
◽
Formal Semantics
◽
Inductive Logic
Download Full-text
Review of Stephen Muggleton, Ed.: inductive logic programming
Journal of Applied Non-Classical Logics
◽
10.1080/11663081.1996.10510886
◽
1996
◽
Vol 6
(3)
◽
pp. 289-291
Author(s):
Bradley L. Richards
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
Download Full-text
Exploration of picture grammars, grammar learning, and inductive logic programming for image understanding
10.1117/12.484878
◽
2003
◽
Author(s):
P. G. Ducksbury
◽
C. Kennedy
◽
Z. Lock
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Image Understanding
◽
Grammar Learning
Download Full-text
Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming
10.1109/kse53942.2021.9648769
◽
2021
◽
Author(s):
Oliver Ray
◽
Steve Moyle
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Cyber Attacks
Download Full-text
Analysis of Rachmaninoff's piano performances using inductive logic programming (Extended abstract)
Lecture Notes in Computer Science - Machine Learning: ECML-95
◽
10.1007/3-540-59286-5_67
◽
1995
◽
pp. 279-282
◽
Cited By ~ 6
Author(s):
Matthew J. Dovey
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
Download Full-text
An Inductive Logic Programming-Based Approach for Ontology Population from the Web
Lecture Notes in Computer Science - Database and Expert Systems Applications
◽
10.1007/978-3-642-40285-2_28
◽
2013
◽
pp. 319-326
◽
Cited By ~ 2
Author(s):
Rinaldo Lima
◽
Bernard Espinasse
◽
Hilário Oliveira
◽
Rafael Ferreira
◽
Luciano Cabral
◽
...
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Ontology Population
◽
The Web
Download Full-text
Knowledge acquisition in model driven development transformations: An inductive logic programming approach
TENCON 2014 - 2014 IEEE Region 10 Conference
◽
10.1109/tencon.2014.7022470
◽
2014
◽
Cited By ~ 1
Author(s):
Hamdi A. Al-Jamimi
◽
Moataz A. Ahmed
Keyword(s):
Knowledge Acquisition
◽
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Programming Approach
◽
Model Driven Development
◽
Model Driven
Download Full-text
Carcinogenesis Predictions Using Inductive Logic Programming
Intelligent Data Analysis in Medicine and Pharmacology
◽
10.1007/978-1-4615-6059-3_14
◽
1997
◽
pp. 243-260
◽
Cited By ~ 6
Author(s):
Ashwin Srinivasan
◽
Ross D. King
◽
Stephen H. Muggleton
◽
Michael J. E. Sternberg
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
Download Full-text
Inductive Logic Programming
Encyclopedia of the Sciences of Learning
◽
10.1007/978-1-4419-1428-6_1064
◽
2012
◽
pp. 1537-1539
Author(s):
Filip Železný
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close