scientific article; zbMATH DE number 783780

zbMath0889.03001MaRDI QIDQ4843185

No author found.

Publication date: 10 August 1995

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

zbMATH Keywords

Artificial intelligenceequational logicartificial intelligenceLogicconfluenceprogram transformationsemanticsnon-monotonic reasoninglogic programmingabductionabstractionHandbookconstraint logic programmingdisjunctive logic programsmeta-programminghandbookLogic Programminghigher-order logic programmingnegation-as-failurerules and strategies approach

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items

Reactive computing as model generation, Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules, Unnamed Item, Unnamed Item, Programming in logic without logic programming, Language in action, Dialectic proof procedures for assumption-based, admissible argumentation, Connectionist computations of intuitionistic reasoning, An argument-based approach to reasoning with specificity, Dynamic Epistemic Logic as a Substructural Logic, On the computational complexity of assumption-based argumentation for default reasoning., Unnamed Item, Logic programming and knowledge representation---The A-Prolog perspective