The following pages link to (Q3348436):
Displaying 35 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- The expressive power of stratified logic programs (Q803773) (← links)
- Parallel complexity of logical query programs (Q1104095) (← links)
- On the relationship between circumscription and negation as failure (Q1115207) (← links)
- An algorithm to compute circumscription (Q1115208) (← links)
- Stratification and knowledge base management (Q1122994) (← links)
- General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
- Datalog extensions for database queries and updates (Q1176285) (← links)
- Why not negation by fixpoint? (Q1176286) (← links)
- On the expressive power of database queries with intermediate types (Q1176290) (← links)
- A comparison between algebraic query languages for flat and nested databases (Q1177142) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- Graph properties for normal logic programs (Q1208418) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Formalizing a logic for logic programming (Q1354044) (← links)
- Stratified resolution (Q1404977) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Circumscriptive theories: A logic-based framework for knowledge representation (Q1813201) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- A nondeterministic well-founded semantics (Q1924729) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Indefinite abductive explanations (Q5231278) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)