Derivation procedures for extended stable models

Authors:
Luis Moniz Pereira;Joaquim N. Aparicio;Jose J. Alferes
Affiliations:
AI Centre, Uninova and DCS, U. Nova de Lisboa, Portugal;AI Centre, Uninova and DCS, U. Nova de Lisboa, Portugal;AI Centre, Uninova and DCS, U. Nova de Lisboa, Portugal
Venue:
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Year:
1991

Citing 4
Cited 1

Every logic program has a natural stratification and an iterated least fixed point model

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extended stable semantics for normal and disjunctive programs

Logic programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)

Stationary Default Extensions

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the application of explanation-based learning, a machine learning technique, to the SRI Core Language Engine, a large scale general purpose natural language analysis system. The idea is to bypass normal morphological, syntactic and ...