Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 781332 - MaRDI portal

scientific article; zbMATH DE number 781332

From MaRDI portal

Publication:4841134

Jump to:navigation, search

zbMath0826.68120MaRDI QIDQ4841134

Robert C. Moore

Publication date: 1 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representation autoepistemic logic unification interaction nonmonotonic reasoning actions possible world Russellian propositions knowledge processing logic of beliefs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Natural language processing (68T50) Collections of reprinted articles (00B60)

Related Items (3)

A PDL APPROACH FOR QUALITATIVE VELOCITY ⋮ Proving semantic properties as first-order satisfiability ⋮ A logic of situated resource-bounded agents

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4841134&oldid=19179242"