Publication:4800172
From MaRDI portal
zbMath1010.68800MaRDI QIDQ4800172
No author found.
Publication date: 18 May 2003
68U99: Computing methodologies and applications
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
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), The External Interface for Extending WASP, Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search, Better Paracoherent Answer Sets with Less Resources, Debugging Non-ground ASP Programs: Technique and Graphical Tools, ASP and subset minimality: enumeration, cautious reasoning and MUSes, Synonymous theories and knowledge representations in answer set programming, A first order nonmonotonic extension of constructive logic, Paracoherent answer set computation, Reasoning about non-immediate triggers in biological networks