scientific article; zbMATH DE number 4199654
From MaRDI portal
Publication:3348436
Recommendations
Cited in
(40)- Indefinite abductive explanations
- Graph properties for normal logic programs
- An analysis of loop checking mechanisms for logic programs
- Programming in three-valued logic
- Description logics of minimal knowledge and negation as failure
- Jack Minker --- A profile
- Negation in rule-based database languages: A survey
- To Vladimir Lifschitz on His 65th Birthday
- On the relationship between circumscription and negation as failure
- Stratified least fixpoint logic
- A transformation system for deductive database modules with perfect model semantics
- Datalog extensions for database queries and updates
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs
- General failure of logic programs
- Thirteen Definitions of a Stable Model
- Loop checking in SLD-derivations by well-quasi-ordering of goals
- The expressive power of stratified logic programs
- Bottom-up evaluation and query optimization of well-founded models
- On the expressive power of database queries with intermediate types
- Circumscriptive theories: A logic-based framework for knowledge representation
- A logic for programming with complex objects
- An algorithm to compute circumscription
- Stratification and knowledge base management
- Tight logic programs
- A nondeterministic well-founded semantics
- Defeasible logic versus Logic Programming without Negation as Failure
- On the computational cost of disjunctive logic programming: Propositional case
- A comparison between algebraic query languages for flat and nested databases
- General logical databases and programs: Default logic semantics and stratification
- Why not negation by fixpoint?
- Complexity and undecidability results for logic programming
- Negation as failure using tight derivations for general logic programs
- Stratified resolution
- Parallel complexity of logical query programs
- A three-valued semantics for deductive databases and logic programs
- Formalizing a logic for logic programming
- Twelve Definitions of a Stable Model
- Magic sets for disjunctive Datalog programs
- Negation by default and unstratifiable logic programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3348436)
