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
An assumption-based truth maintenance system in active aid for UNIX users - MaRDI portal

An assumption-based truth maintenance system in active aid for UNIX users

From MaRDI portal

Publication:1857121

Jump to:navigation, search

DOI10.1023/A:1006562430348zbMath1035.68616OpenAlexW1646998337MaRDI QIDQ1857121

Publication date: 17 February 2003

Published in: Artificial Intelligence Review (Search for Journal in Brave)

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

zbMATH Keywords

user interfaces advice generation Assumption-based Truth Maintenance System Intelligent Help Systems UNIX commands user modelling user's errors

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of operating systems (68N25)

This page was built for publication: An assumption-based truth maintenance system in active aid for UNIX users

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