scientific article; zbMATH DE number 1890629
From MaRDI portal
zbMath1010.68800MaRDI QIDQ4800172
No author found.
Publication date: 18 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items
Argumentation-Based Semantics for Logic Programs with First-Order Formulae, Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper), ASP and subset minimality: enumeration, cautious reasoning and MUSes, Better Paracoherent Answer Sets with Less Resources, Synonymous theories and knowledge representations in answer set programming, Reasoning about non-immediate triggers in biological networks, Paracoherent answer set computation, Debugging Non-ground ASP Programs: Technique and Graphical Tools, The External Interface for Extending WASP, Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search, A first order nonmonotonic extension of constructive logic
