scientific article; zbMATH DE number 4199656

Recommendations

scientific article; zbMATH DE number 4199653
scientific article; zbMATH DE number 4147465
Publication:3484349
On the declarative and procedural semantics of logic programs
scientific article; zbMATH DE number 545140
An alternative approach to the semantics of disjunctive logic programs and deductive databases
Declarative Logic Programming: Theory, Systems, and Applications
scientific article; zbMATH DE number 10085
Semantics and expressive power of nondeterministic constructs in deductive databases

Cited in

(only showing first 100 items - show all)

Unfold/fold transformation of stratified programs
Graph properties for normal logic programs
Computing only minimal answers in disjunctive deductive databases
Programming in three-valued logic
The meaning of negative premises in transition system specifications. II
Locally stratified Boolean grammars
Querying disjunctive databases through nonmonotonic logics
scientific article; zbMATH DE number 1735824 (Why is no real title available?)
A logic for reasoning with inconsistency
Generalized disjunctive well-founded semantics for logic programs.
Reasoning with minimal models: efficient algorithms and applications
Lexicographic priorities in default logic
Efficient and flexible access control via Jones-optimal logic program specialisation
Database querying under changing preferences
Modular paracoherent answer sets
Logic programming and reasoning with incomplete information
On the relationship between circumscription and negation as failure
The limits of fixed-order computation
Stratified negation in temporal logic programming and the cycle-sum test
Monotonic aggregation in deductive databases
A transformation system for deductive database modules with perfect model semantics
Characterizations of the stable semantics by partial evaluation
Transition system specifications with negative premises
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
scientific article; zbMATH DE number 4185010 (Why is no real title available?)
Transforming normal logic programs to constraint logic programs
The relationship between stable, supported, default and autoepistemic semantics for general logic programs
Complexity results for answer set programming with bounded predicate arities and implications
Fixpoint semantics for logic programming a survey
Abduction from logic programs: Semantics and complexity
The semantics of incomplete databases as an expression of preferences
The expressive power of stratified logic programs
The Fusemate logic programming system
An abstract, argumentation-theoretic approach to default reasoning
Contributions to the stable model semantics of logic programs with negation
Bottom-up evaluation and query optimization of well-founded models
Inferring negative information from disjunctive databases
Tie-breaking semantics and structural totality
An overview of transaction logic
Semantics of structured normal logic programs
Knowledge compilation of logic programs using approximation fixpoint theory
A theory of nonmonotonic inheritance based on annotated logic
On the autoepistemic reconstruction of logic programming
A logic for programming with complex objects
Logic programming and knowledge representation---The A-Prolog perspective
Embedding circumscriptive theories in general disjunctive programs
Answer Set Programming: A Primer
Partial order programming (revisited)
An algorithm to compute circumscription
Conditional entailment: bridging two approaches to default reasoning.
Semi-equilibrium models for paracoherent answer set programs
Generalized metrics and uniquely determined logic programs.
An alternative approach to the semantics of disjunctive logic programs and deductive databases
scientific article; zbMATH DE number 1696847 (Why is no real title available?)
Rooted branching bisimulation as a congruence
Minimalism, justification and non-monotonicity in deductive databases
The alternating fixpoint of logic programs with negation
Possible models computation and revision -- a practical approach
Logic programs, well-orderings, and forward chaining
The expressiveness of locally stratified programs
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
A context for belief revision: forward chaining-normal nonmonotonic rule systems
Prioritized logic programming and its application to commonsense reasoning
Semantics and complexity of recursive aggregates in answer set programming
A functorial framework for constraint normal logic programming
General logical databases and programs: Default logic semantics and stratification
scientific article; zbMATH DE number 2085287 (Why is no real title available?)
Acyclic logic programs and the completeness of SLDNF-resolution
A comparison of Statecharts step semantics
Three-valued nonmonotonic formalisms and semantics of logic programs
A necessary condition for constructive negation in constraint logic programming
scientific article; zbMATH DE number 4155872 (Why is no real title available?)
On the strong completion of logic programs
Temporal stratification tests for linear and branching-time deductive databases
A three-valued semantics for deductive databases and logic programs
Formalizing a logic for logic programming
On the relations between stable and well-founded semantics of logic programs
Induction = I-axiomatization + first-order consistency.
Aggregation and well-founded semantics\textsuperscript{+}
Constructing interpretations of deductive databases using reduction and dynamic stratification
Modeling the suppression task under weak completion and well-founded semantics
Modular specifications with supernormal defaults
Well-founded and stationary models of logic programs
Relating minimal models and pre-requisite-free normal defaults
Programming with annotated logics
scientific article; zbMATH DE number 545140 (Why is no real title available?)
To Vladimir Lifschitz on His 65th Birthday
Stratified least fixpoint logic
Bottom-up evaluation of datalog with negation
Logic program semantics and circumscription of autoepistemic theories
Disjunctive logic and semantics of disjunctive logic programs
Semantics for positive/negative conditional rewrite systems
On the extension of logic programming with negation through uniform proofs
On the relation between SPARQL1.1 and Answer Set Programming
Some properties of system descriptions of \(\mathcal{AL}_d\)
Testing logic programs for local stratification
scientific article; zbMATH DE number 870410 (Why is no real title available?)
On cyclic covers and perfect models
A simple fixed point characterization of three-valued stable model semantics
Verifying local stratifiability of logic programs and databases

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 Q3348437)