An automated inference approach to network derivation for AM/FM/GIS systems
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Herbal-T, enabling integration, interoperability, and reusability of Internet components
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
An introduction to inductive logic programming
Relational Data Mining
Web-Enabled Knowledge-Based Analysis of Genetic Data
ISMDA '01 Proceedings of the Second International Symposium on Medical Data Analysis
Using Machine Learning to Understand Operator's Skill
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Abductive Inference of Genetic Networks
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Machine "Learning" at all course levels
Journal of Computing Sciences in Colleges
Machine vision for the inspection of natural products
Multi-relational data mining: an introduction
ACM SIGKDD Explorations Newsletter
Conceptual design of technical systems using functions and physical laws
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
A prolog simulator for deterministic P systems with active membranes
New Generation Computing - Membrane computing
A knowledge-based framework for multimedia adaptation
Applied Intelligence
Learning long-term chess strategies from databases
Machine Learning
Prolog query interface: a set-of-mappings approach with optional segmentation
International Journal of Computers and Applications
Yaccscript: a platform for intersecting high-level languages
Proceedings of the 44th annual Southeast regional conference
A knowledge-based approach to merging information
Knowledge-Based Systems
Give students a clue: a course-project for undergraduate artificial intelligence
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Machine learning applied to quality management-A study in ship repair domain
Computers in Industry
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Intelligent finite element type selection
ICAI'06 Proceedings of the 7th WSEAS International Conference on Automation & Information
Some competition programming problems as the beginning of artificial intelligence
Informatics in education
Generating domain-specific web-based expert systems
Expert Systems with Applications: An International Journal
Discovery of Genetic Networks Through Abduction and Qualitative Simulation
Computational Discovery of Scientific Knowledge
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
An Experiment in Robot Discovery with ILP
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
The Journal of Machine Learning Research
Planning as model checking: the performance of ProB vs NuSMV
Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology
Qualitative design support for engineering and architecture
Advanced Engineering Informatics
Automatic design of optimal logic circuits based on ternary quantum-dot cellular automata
WSEAS Transactions on Circuits and Systems
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
ODELO: an ontology-driven model for the evaluation of learning ontologies
International Journal of Learning Technology
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Computer-aided design of ternary quantum-dot cellular automata circuits
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
Finding robust solutions in requirements models
Automated Software Engineering
PlWiki --- A Generic Semantic Wiki Architecture
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Automatic stimulation of experiments and learning based on prediction failure recognition
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Logic programming for combinatorial problems
Artificial Intelligence Review
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Spider vs. Prolog: computation control
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Agents' reasoning using TIL-Script and Prolog
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Bounded transparency for automated inspection in agriculture
Computers and Electronics in Agriculture
Automated testing for knowledge based systems
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
The Knowledge Engineering Review
Architecture of the HeaRT hybrid rule engine
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Discovery of abstract concepts by a robot
DS'10 Proceedings of the 13th international conference on Discovery science
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Autonomous discovery of abstract concepts by a robot
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
Searching in protein state space
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
The discovery of frequent patterns with logic and constraint programming
MAMECTIS/NOLASC/CONTROL/WAMUS'11 Proceedings of the 13th WSEAS international conference on mathematical methods, computational techniques and intelligent systems, and 10th WSEAS international conference on non-linear analysis, non-linear systems and chaos, and 7th WSEAS international conference on dynamical systems and control, and 11th WSEAS international conference on Wavelet analysis and multirate systems: recent researches in computational techniques, non-linear systems and control
Predicting structured outputs k-nearest neighbours method
DS'11 Proceedings of the 14th international conference on Discovery science
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
ProbPoly: a probabilistic inductive logic programming framework with application in model checking
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Argument-Based machine learning
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
From inductive logic programming to relational data mining
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
MEDADVIS: a medical advisory system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Heuristic search of cut-off points for clinical parameters: defining the limits of obesity
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
GenePath: a system for inference of genetic networks and proposal of genetic experiments
Artificial Intelligence in Medicine
Badger: a regression planner to resolve design model inconsistencies
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Unipycation: a case study in cross-language tracing
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
| Hi-index | 0.00 |