Tabled Logic Programming Based IP Matching Tool Using Forced Simulation

IEE Proceedings - Computers and Digital Techniques

doi 10.1049/ip-cdt:20040502

Full Text

Abstract

Available in

Date

Authors

Publisher

Institution of Engineering and Technology (IET)

Related search

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Argument-Based User Support Systems Using Defeasible Logic Programming

English

Tree Drawing Using Constraint Logic Programming

1997English

LogMap: Logic-Based and Scalable Ontology Matching

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Pedagogically Targeted Logic Design and Simulation Tool

2007English

Functional Test Generation Using Constraint Logic Programming

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

Logic Programming

1995English

Learning by Imitation Using Inductive Logic Programming

English

Parallel Simulation of TCP/IP Using TeD

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy