scientific article

From MaRDI portal
Publication:3348436

zbMath0726.68065MaRDI QIDQ3348436

Allen van Gelder

Publication date: 1988


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



Related Items

Stratified least fixpoint logic, A three-valued semantics for deductive databases and logic programs, To Vladimir Lifschitz on His 65th Birthday, Formalizing a logic for logic programming, Parallel complexity of logical query programs, On the relationship between circumscription and negation as failure, An algorithm to compute circumscription, Hierarchies in transitive closure logic, stratified Datalog and infinitary logic, Stratification and knowledge base management, Jack Minker --- A profile, A nondeterministic well-founded semantics, Complexity and undecidability results for logic programming, On the computational cost of disjunctive logic programming: Propositional case, Stratified resolution, General logical databases and programs: Default logic semantics and stratification, Datalog extensions for database queries and updates, Why not negation by fixpoint?, On the expressive power of database queries with intermediate types, A comparison between algebraic query languages for flat and nested databases, An analysis of loop checking mechanisms for logic programs, Bottom-up evaluation and query optimization of well-founded models, The relationship between stable, supported, default and autoepistemic semantics for general logic programs, A logic for programming with complex objects, Magic sets for disjunctive Datalog programs, Graph properties for normal logic programs, A transformation system for deductive database modules with perfect model semantics, Thirteen Definitions of a Stable Model, Circumscriptive theories: A logic-based framework for knowledge representation, Programming in three-valued logic, Negation in rule-based database languages: A survey, Negation by default and unstratifiable logic programs, Indefinite abductive explanations, Loop checking in SLD-derivations by well-quasi-ordering of goals, Twelve Definitions of a Stable Model, The expressive power of stratified logic programs