Rule-based languages

DOI10.1023/A:1018907806177MaRDI QIDQ1370633zbMATH OpenOpenAlexFDO

Authors Victor Vianu

Publication date 26 October 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018907806177

zbMATH Keywords

rule-based languagessemantics

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Foundations of Rule-Based Query Answering
• Negation in rule-based database languages: A survey
• scientific article; zbMATH DE number 1522997
• scientific article; zbMATH DE number 2218053
• scientific article; zbMATH DE number 1059302

Cited in

(10)

• Epistemic logic for rule-based agents
• Video model for dynamic objects
• Rule-based operational semantics for an imperative language
• Foundations of Rule-Based Query Answering
• scientific article; zbMATH DE number 4005604 (Why is no real title available?)
• Boolean lattices of nested relations as a foundation for rule-based database languages
• scientific article; zbMATH DE number 1059302 (Why is no real title available?)
• scientific article; zbMATH DE number 1522997 (Why is no real title available?)
• Introduction to the special issue on the international web rule symposia 2012--2014
• Negation in rule-based database languages: A survey

This page was built for publication: Rule-based languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1370633)