Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

APAL
1999

favoriteEmaildiscussreport

55views more APAL 1999»

Logic Programs, Well-Orderings, and Forward Chaining

13 years 4 months ago

Logic Programs, Well-Orderings, and Forward Chaining

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Real-time Traffic

APAL 1999 |

claim paper

Related Content

» Forward and Backward Chaining in Linear Logic

» Forward chaining in HALO an implementation strategy for historybased logic pointcuts

» Basic Forward Chaining Construction for Logic Programs

» Implementing and Evaluating a RuleBased Approach to Querying Regular EL Ontologies

» Monadic concurrent linear logic programming

» SAGE A Logical AgentBased Environment Monitoring and Control System

» Seamless integration of rulebased knowledge and objectoriented functionality with linguist...

» Establishing Logical Rules from Empirical Data

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1999
Where	APAL
Authors	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Comments (0)