Constructive second-order proofs in logical databases

Authors:
Michel De Rougemont
Affiliations:
European Computer-Industry Research Centre, Munchen, West-Germany
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Year:
1987

Citing 4
Cited 0

Foundations of logic programming

Foundations of logic programming
Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Logic on finite structures and logic programming

Computers and Artificial Intelligence
Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)

Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Co-occurrence constraints play an important role in rule-based systems such as natural language processing. The constraints appear in many forms including agreement restrictions (e.g., number agreement between subjects and predicates), selectional restrictions ...