From modal logic to deductive databases: introduction to a logic based approach to artificial intelligence
John Wiley & Sons, Inc. eBooksPublished 1 October 1989
André Thayse
Citations11
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Knowledge representation natural and formal languages modal logic intensional logic and Montague's semantics temporal logic and specification of concurrent programs revisable reasoning theory of relational and deductive databases representation of incomplete information in databases.
Abstract
Knowledge representation natural and formal languages modal logic intensional logic and Montague's semantics temporal logic and specification of concurrent programs revisable reasoning theory of relational and deductive databases representation of incomplete information in databases.
Keywords
Computer Science