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
The Complexity of Abduction for Equality Constraint Languages - MaRDI portal

The Complexity of Abduction for Equality Constraint Languages

From MaRDI portal

Publication:2958548

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2013.615zbMath1356.68223OpenAlexW288912001MaRDI QIDQ2958548

No author found.

Publication date: 2 February 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2013/4222/pdf/42.pdf

zbMATH Keywords

computational complexity abduction algebraic approach infinite structures equality-constraint languages

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

The Complexity of Counting Quantifiers on Equality Languages ⋮ The complexity of counting quantifiers on equality languages

This page was built for publication: The Complexity of Abduction for Equality Constraint Languages

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